SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types

Full text

Pdf (846 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2009 ACM symposium on Applied Computing table of contents

Honolulu, Hawaii

SESSION: The semantic web and applications track table of contents

Pages 1239-1246

Year of Publication: 2009

ISBN:978-1-60558-166-8

Authors

Sven Groppe	University of Lübeck, Lübeck, Germany
Jana Neumann	University of Lübeck, Lübeck, Germany
Volker Linnemann	University of Lübeck, Lübeck, Germany

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 12, Downloads (12 Months): 60, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1529282.1529561 What is a DOI?

ABSTRACT

The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications becomes a key issue. The state-of-the-art in programming Semantic Web applications is using complex application programming interfaces of Semantic Web frameworks, where extensive tests are necessary for the detection of errors, although many types of errors could be detected already at compile time. In this paper, we propose an embedding of Semantic Web languages into the java programming language, such that Semantic Web data and queries can be transparently used, type safety is guaranteed, and already at compile time, syntax errors of Semantic Web data and queries are reported, unsatisfiable queries are detected and the types of query results are determined. A demonstration of our system is available online.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	ANSI, Information technology -- Database languages -- SQL -- Part 0:SQL/OLB standard. ANSI X3.135, 1998.
	2	D. Beckett (editor). RDF/XML Syntax Specification (Revised). W3C Recommendation, 2004.
	3	Claus Brabrand , Anders Møller , Michael I. Schwartzbach, The <bigwig> project, ACM Transactions on Internet Technology (TOIT), v.2 n.2, p.79-114, May 2002 [doi>10.1145/514183.514184]
	4	Peter Buneman , Atsushi Ohori, Polymorphism and type inference in database programming, ACM Transactions on Database Systems (TODS), v.21 n.1, p.30-76, March 1996 [doi>10.1145/227604.227609]
	5	Aske Simon Christensen , Anders Møller , Michael I. Schwartzbach, Extending Java for high-level Web service construction, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.6, p.814-875, November 2003 [doi>10.1145/945885.945890]
	6	Stephen A. Cook, The complexity of theorem-proving procedures, Proceedings of the third annual ACM symposium on Theory of computing, p.151-158, May 03-05, 1971, Shaker Heights, Ohio, United States [doi>10.1145/800157.805047]
	7	M. Erdmann (editor), GNADE User's Guide: GNADE, The GNat Ada Database Environment; Version 1.5.3., 2002.
	8	W. Gilmore, C. Black, D. Clegg, S. Dayal, E. Fourt, S. Goodman, J. Richey, G. Smith und P. Swift, Open Client Embedded SQL/COBOL Programmer's Guide. SYBASE Embedded SQL Release 10.0, 1994.
	9	Sven Groppe , Jinghua Groppe , Dirk Kukulenz , Volker Linnemann, A SPARQL Engine for Streaming RDF Data, Proceedings of the 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, p.167-174, December 16-18, 2007 [doi>10.1109/SITIS.2007.22]
	10	Sven Groppe , Jinghua Groppe , Volker Linnemann , Dirk Kukulenz , Nils Hoeller , Christoph Reinke, Embedding SPARQL into XQuery/XSLT, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil [doi>10.1145/1363686.1364228]
	11	S. Groppe and J. Neumann. Demonstration of SWOBE. http://www.ifis.uni-luebeck.de/~groppe/swobe_demo/, 2008.
	12	Y. Guo, Z. Pan, J. Heflin. LUBM: A Benchmark for OWL Knowledge Base Systems. Web Semantics, 3(2), 2005.
	13	Claudio Gutierrez , Carlos Hurtado , Alberto O. Mendelzon, Foundations of semantic web databases, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 14-16, 2004, Paris, France [doi>10.1145/1055558.1055573]
	14	Haruo Hosoya , Alain Frisch , Giuseppe Castagna, Parametric polymorphism for XML, Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.50-62, January 12-14, 2005, Long Beach, California, USA
	15	IBM. IBM Informix ESQL/C Programmer's Manual. Version 9.53, IBM, 2003.
	16	Ingres Corporation. Ingres® 2006 Embedded SQL Companion Guide. 2006.
	17	M. Kempa, and V. Linnemann. Type Checking in XOBE, BTW 2003, Leipzig, Germany, 2003.
	18	Lajos Nagy , Ryan Stansifer, Polymorphic type inference for the relational algebra in the functional database programming language neon, Proceedings of the 44th annual Southeast regional conference, March 10-12, 2006, Melbourne, Florida [doi>10.1145/1185448.1185596]
	19	J. Pérez, M. Arenas, and C. Gutierrez. Semantics and Complexity of SPARQL. ISWC, Athens, USA, 2006.
	20	Axel Polleres, From SPARQL to rules (and back), Proceedings of the 16th international conference on World Wide Web, May 08-12, 2007, Banff, Alberta, Canada [doi>10.1145/1242572.1242679]
	21	E. Prud'hommeaux and A. Seaborne. SPARQL Query Language for RDF. W3C Recommendation, 2008.
	22	Joachim W. Schmidt, Some high level language constructs for data of type relation, ACM Transactions on Database Systems (TODS), v.2 n.3, p.247-261, Sept. 1977 [doi>10.1145/320557.320568]
	23	H. Schuhart, and V. Linnemann. Valid Updates for Persistent XML Objects, BTW 2005, Karlsruhe, Germany, 2005.
	24	A. Seaborne and G. Manjunath. SPARQL/Update, A language for updating RDF graphs. http://jena.hpl.hp.com/~afs/SPARQL-Update.html, 2008.
	25	Mark Shields , Erik Meijer, Type-indexed rows, Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.261-275, January 2001, London, United Kingdom
	26	G. Serfiotis, I. Koffina, V. Christophides and V. Tannen. Containment and Minimization of RDF/S Query Patterns. In ISWC, Galway, Ireland, 2005.
	27	Sybase. SQLJ Part 1: Java Stored Procedures. Working Draft, 1998.
	28	Sybase. SQLJ Part 2: Java Data Types. Working Draft, 1998.
	29	Jan van den Bussche , Emmanuel Waller, Type inference in the polymorphic relational algebra, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.80-90, May 31-June 03, 1999, Philadelphia, Pennsylvania, United States [doi>10.1145/303976.303984]
	30	Malcolm Wallace , Colin Runciman, Haskell and XML: generic combinators or type-based translation?, Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, p.148-159, September 27-29, 1999, Paris, France
	31	K. Wilkinson, C. Sayers, H. Kuno and D. Reynolds. Efficient RDF Storage and Retrieval in Jena2. Workshop on Semantic Web and Databases, Berlin, Germany, 2003.
	32	World Wide Web Consortium, XML Schema Part 2: Datatypes, W3C Recommendation, 2001.