Abstract
The state of the art in programming Semantic Web applications is using complex application programming interfaces of Semantic Web frameworks. Extensive tests are necessary for the detection of errors, although many types of errors could be detected already at compile time. In this chapter, we propose an embedding of Semantic Web languages into the java programming language, such that Semantic Web data and queries are easily integrated into the program code, type safety is guaranteed, and already at compile time, syntax errors of Semantic Web data and queries are reported and unsatisfiable queries are detected.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
ANSI, Information technology – Database languages – SQL – Part 0:SQL/OLB standard. ANSI X3.135 (1998)
Beckett, D. (ed): RDF/XML syntax specification (Revised), W3C Recommendation, 10th February 2004
Brabrand, C., Møller, A., Schwartzbach, M.I.: The <bigwig> project. ACM ToIT 2, 79–114 (2002)
Buneman, P., Ohori, A.: Polymorphism and type inference in database programming. ACM ToDS 21(1), 30–76 (1996)
Bussche, J., Waller, E.: Type inference in the polymorphic relational algebra. PODS, Philadelphia, USA (1999)
Christensen, A.S., Møller, A., Schwartzbach, M.I.: Extending Java for high-level web service construction. ACM ToPLaS, 25(6) (2003)
Cook, S.A.: The complexity of theorem-proving procedures. ACM STOC, Shaker Heights, Ohio, United States (1971)
Erdmann, M. (ed): GNADE User’s Guide: GNADE, The GNat Ada Database Environment; Version 1.5.3. (2002)
Gilmore, W., Black, C., Clegg, D., Dayal, S., Fourt, E., Goodman, S., Richey, J., Smith, G., Swift P.: Open Client Embedded SQL/COBOL Programmer’s Guide. SYBASE Embedded SQL Release 10.0. (1994)
Groppe, S., Groppe, J., Linnemann, V., Kukulenz, D., Hoeller, N., Reinke, C.: Embedding SPARQL into XQuery/XSLT. In: 23rd ACM symposium on applied computing (ACM SAC 2008), Fortaleza, Ceara, Brasilien (2008)
Groppe, J., Groppe, S., Kolbaum, J.: Optimization of SPARQL by Using coreSPARQL, In: Proceedings of the 11th International Conference on Enterprise Information Systems (ICEIS 2009). Milano, Italy (2009d). 2009
Groppe, S, Neumann, J, Linnemann, V.: 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, 24th ACM Symposium on Applied Computing (ACM SAC 2009), Waikiki Beach, Honolulu, Hawaii, USA (2009)
Gutierrez, C., Hurtado, C., Mendelzon, A.: Foundations of Semantic Web Databases. PODS 2004, Paris, France (2004)
Hosoya, H., Frisch, A., Castagna, G.: Parametric polymorphism for XML. In: POPL, Long Beach, USA (2005)
IBM. IBM Informix ESQL/C Programmer’s Manual. Version 9.53, IBM, (2003)
Ingres Corporation. Ingres® 2006 Embedded SQL Companion Guide. (2006)
Kempa, M., Linnemann, V.: Type Checking in XOBE, BTW 2003, Leipzig, Germany (2003)
Nagy, L., Stansifer, R.: Polymorphic type inference for the relational algebra in the functional database programming language neon. In: 44th annual Southeast regional conference, Melbourne, USA (2006)
Peterson, D., Gao, S., Malhotra, A., Sperberg-McQueen, C.M., Thompson, H.S., (eds): W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes. W3C Candidate Recommendation. http://www.w3.org/TR/2009/CR-xmlschema11-2-20090430/, 30 April 2009. Latest version available as http://www.w3.org/TR/xmlschema11-2/
Prud’hommeaux, E., Seaborne, A.: SPARQL Query Language for RDF, W3C Recommendation, (2008)
Schmidt, J.W.: Some high level language constructs for data of type relation. ACM ToDS 2(3), 247–261 (1977)
Schuhart, H., Linnemann, V.: Valid updates for persistent XML objects, BTW 2005, Karlsruhe, Germany (2005)
Seaborne, A., Manjunath, G.: SPARQL/Update, A language for updating RDF graphs. http://jena.hpl.hp.com/~afs/SPARQL-Update.html (2008)
Serfiotis, G., Koffina, I., Christophides, V., Tannen, V.: Containment and minimization of RDF/S query patterns. In: ISWC, Galway, Ireland (2005)
Shields, M., Meijer, E.: Type-indexed rows. In: PoPL, London, Great Britain (2001)
Sybase. SQLJ Part 1: Java Stored Procedures. Working Draft. (1998)
Wallace, M., Runciman, C.: Haskell, and XML: Generic combinators or type-based translation? In: ICFP’99 (1999)
Wilkinson, K., Sayers, C., Kuno, H., Reynolds, D.: Efficient RDF Storage and Retrieval in Jena2. In: Workshop on Semantic Web and Databases. Berlin, Germany (2003)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Groppe, S. (2011). Embedded Languages. In: Data Management and Query Processing in Semantic Web Databases. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19357-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-19357-6_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19356-9
Online ISBN: 978-3-642-19357-6
eBook Packages: Computer ScienceComputer Science (R0)