Logical Foundations of (e)RDF(S): Complexity and Reasoning

An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms such as logic programming and description logics. In this paper we address this issue by considering embeddings of RDF and RDFS in logic. Using these embeddings, combined with existing results about various fragments of logic, we establish several novel complexity results. The embeddings we consider show how techniques from deductive databases and description logics can be used for reasoning with RDF(S). Finally, we consider querying RDF graphs and establish the data complexity of conjunctive querying for the various RDF entailment regimes.

[1]  Axel Polleres,et al.  From SPARQL to rules (and back) , 2007, WWW '07.

[2]  Jos de Bruijn,et al.  Logical Reconstruction of Normative RDF , 2005, OWLED.

[3]  Zuoquan Lin,et al.  A Flexible Applicable RBAC Model and Its Administration , 2007 .

[4]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[5]  Herman J. ter Horst,et al.  Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary , 2005, J. Web Semant..

[6]  Lalana Kagal,et al.  N3logic: A logic for the web , 2004 .

[7]  Jorge Pérez,et al.  Minimal Deductive Systems for RDF , 2007, ESWC.

[8]  M. Fitting.  First-order logic and automated theorem proving (2nd ed.) , 1996 .

[9]  Gerd Wagner,et al.  Stable Model Theory for Extended RDF Ontologies , 2005, SEMWEB.

[10]  Marcelo Arenas,et al.  Semantics and Complexity of SPARQL , 2006, International Semantic Web Conference.

[11]  Diego Calvanese,et al.  Data Complexity of Query Answering in Description Logics , 2006, Description Logics.

[12]  Melvin Fitting,et al.  First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.

[13]  Jeremy J. Carroll,et al.  Resource description framework (rdf) concepts and abstract syntax , 2003 .

[14]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[15]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 1997, Proceedings of Computational Complexity. Twelfth Annual IEEE Conference.

[16]  Ian Horrocks,et al.  RDFS(FA): Connecting RDF(S) and OWL DL , 2007, IEEE Transactions on Knowledge and Data Engineering.

[17]  Jos de Bruijn,et al.  On the Relationship between Description Logic-based and F-Logic-based Ontologies , 2008, Fundam. Informaticae.

[18]  Jos de Bruijn,et al.  RDF and Logic: Reasoning and Extension , 2007, 18th International Workshop on Database and Expert Systems Applications (DEXA 2007).

[19]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[20]  Herman J. ter Horst,et al.  Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity , 2005, SEMWEB.

[21]  Dean Allemang,et al.  The Semantic Web - ISWC 2006, 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings , 2006, SEMWEB.

[22]  Alberto O. Mendelzon,et al.  Foundations of semantic web databases , 2004, PODS.

[23]  Enrico Motta,et al.  The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings , 2005, SEMWEB.