Foundations of semantic web databases

ABSTRACT

The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework (RDF). RDF resembles a subset of binary first-order logic including the ability to refer to anonymous objects. Its extended version, RDFS, supports reification, typing and inheritance. These features introduce new challenges into the formal study of sets of RDF/RDFS statements and languages for querying them. Although several such query languages have been proposed, there has been little work on foundational aspects. We investigate these, including computational aspects of testing entailment and redundancy. We propose a query language with well-defined semantics and study the complexity of query processing, query containment, and simplification of answers.

REFERENCES

• 1: A. V. Aho, M. R. Garey, J. D. Ullman, The transitive reduction of a directed graph, SIAM J. Comput. 1 (1972) 131--137.
• 2: Serge Abiteboul , Richard Hull , Victor Vianu, Foundations of Databases: The Logical Level, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 3: Franz Baader , Tobias Nipkow, Term rewriting and all that, Cambridge University Press, New York, NY, 1998
• 4: J. Broeskstra, A. Kampman, SeRQL: A Second Generation RDF Query Language, SWAD-Europe Workshop on Semantic Web Storage and Retrieval, 13--14 November 2003, Vrije Universiteit, Amsterdam, Netherlands.
• 5: A. J. Bonner, Hypothetical datalog: complexity and expressibility, Lecture notes in computer science on ICDT '88, p.144-160, October 1988, Bruges, Belgium
• 6: Yaron Kanza , Werner Nutt , Yehoshua Sagiv, Queries with incomplete answers over semistructured data, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.227-236, May 31-June 03, 1999, Philadelphia, Pennsylvania, United States [doi>10.1145/303976.303999]
• 7: Ronald Fagin , Phokion G. Kolaitis , Lucian Popa, Data exchange: getting to the core, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.90-101, June 09-11, 2003, San Diego, California [doi>10.1145/773153.773163]
• 8: D. M. Gabbay, U. Reyle, N-Prolog: an Extension of Prolog with Hypothetical Implications. I, Journal of Logic Programming (JLP), 1(4):319--355, 1984.
• 9: A. Gomez-Perez, M. C. Suarez-Figueroa, Results of Taxonomic Evaluation of RDF(S) and DAML+OIL Ontologies using RDF(S) and DAML+OIL Validation Tools and Ontology Platforms Import Services, II ISWC Workshop on Evaluation of Ontology-based Tools, EON2003, CEUR Workshop Proc. Vol 87.
• 10: R, V. Guha, rdfDB Query Language, in http://www.guha.com/rdfdb/query.html
• 11: C. Gutierrez, Normal forms for connectedness in categories, Annals of Pure and Applied Logic 108 (2001) 237--247.
• 12: Pavol Hell , Jaroslav Nešetřil, The core of a graph, Discrete Mathematics, v.109 n.1-3, p.117-126, Nov. 12, 1992 [doi>10.1016/0012-365X(92)90282-K]
• 13: Gregory Karvounarakis , Sofia Alexaki , Vassilis Christophides , Dimitris Plexousakis , Michel Scholl, RQL: a declarative query language for RDF, Proceedings of the 11th international conference on World Wide Web, May 07-11, 2002, Honolulu, Hawaii, USA [doi>10.1145/511446.511524]
• 14: A. Magkanaraki et al. Ontology Storage and Querying, Technical Report No. 308, April 2002, Foundation for Research and Technology Hellas, Institute of Computer Science, Information System Laboratory.
• 15: Libby Miller , Andy Seaborne , Alberto Reggiori, Three Implementations of SquishQL, a Simple RDF Query Language, Proceedings of the First International Semantic Web Conference on The Semantic Web, p.423-435, June 09-12, 2002
• 16: RDF Query Exchange Language (QEL), Edit. M. Nilsson, W. Siberski, http://edutella.jxta.org/spec/qel.html
• 17: OWL, Web Ontology Language Reference, W3C Candidate Recommendation 18 August 2003, Editors: M. Dean, G. Schreiber.
• 18: E. Prud'hommeaux, B. Grosof, RDF Query and Rules: A Framework and Survey, http://www.w3.org/2001/11/13-RDF-Query-Rules/
• 19: Michael Sintek , Stefan Decker, TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web, Proceedings of the First International Semantic Web Conference on The Semantic Web, p.364-378, June 09-12, 2002
• 20: Guizhen Yang , Michael Kifer, On the Semantics of Anonymous Identity and Reification, On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002, p.1047-1066, October 30-November 01, 2002
• 21: DAML Query Language (DQL), April 2003, Abstract Specification. DAML Joint Committee, R. Fikes, P. Hayes, I. Horrocks, Ed.
• 22: Resource description framework (RDF) model and syntax specification, Edit. O. Lassila, R. Swick, Working draft, W3C, 1998.
• 23: RDF Semantics, W3C Working Draft, 1 October 2003 Edit. Patrick Hayes
• 24: RDF Vocabulary Description Language 1.0: RDF Schema, W3C Working Draft 23 January 2003, Edit. Dan Brickley, R. V. Guha.
• 25: RDF Concepts and Abstract Syntax, Edit. G. Klyne, J. J. Carroll. W3C Working Draft 10 October 2003.
• 26: RDF Primer, Edit. F. Manola, E. Miller, W3C Working Draft 10 October 2003.