Abstract
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.
This work was partially supported by the European Commission under the projects Knowledge Web (IST-2004-507482) and SUPER (FP6-026850).
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Analyti, A., Antoniou, G., Damásio, C.V., Wagner, G.: Stable model theory for extended RDF ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 21–36. Springer, Heidelberg (2005)
Berners-Lee, T., Connolly, D., Kagal, L., Scharfand, Y., Hendler, J.: N3Logic: A logic for the web. Journal of Theory and Practice of Logic Programming (TPLP), Special Issue on Logic Programming and the Web (2007)
Brickley, D., Guha, R.V.: RDF vocabulary description language 1.0: RDF schema. Recommendation 10 February 2004, W3C (2004)
Bruijn, J., de Franconi, E., Tessaris, S.: Logical reconstruction of normative RDF. In: OWLED 2005. Proceedings of the Workshop OWL: Experiences and Directions (2005)
Bruijn, J., de Heymans, S.: RDF and logic: Reasoning and extension. In: Proceedings of the 6th International Workshop on Web Semantics (WebS 2007), in conjunction with the 18th International Conference on Database and Expert Systems Applications (DEXA 2007) (2007)
Bruijn, J., de Heymans, S.: On the relationship between description logic-based and f-logic-based ontologies. In: Fundamenta Informaticae (accepted for publication, 2008)
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: KR 2006. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning, pp. 260–270 (2006)
Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Computing Surveys 33(3), 374–425 (2001)
Fitting, M.: First Order Logic and Automated Theorem Proving, 2nd edn. Springer, Heidelberg (1996)
Gutierrez, C., Hurtado, C., Mendelzon, A.O.: Foundations of semantic web databases. In: PODS 2004. Proceedings of the 23rd ACM Symposium on Principles of Database Systems, pp. 95–106. ACM Press, New York (2004)
Hayes, P.: RDF semantics. Recommendation 10 February 2004, W3C (2004)
Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: van: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1(1), 7–26 (2003)
ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF schema and a semantic extension involving the OWL vocabulary. Journal of Web Semantics 3(2–3), 79–115 (2005)
ter Horst, H.J.: ter: Combining RDF and part of OWL with rules: Semantics, decidability, complexity. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, Springer, Heidelberg (2005)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the ACM 42(4), 741–843 (1995)
Klyne, G., Carroll, J.J.: Resource description framework (RDF): Concepts and abstract syntax. Recommendation 10 February 2004, W3C (2004)
Muñoz, S., Pérez, J., Gutierrez, C.: Minimal deductive systems for RDF. In: ESWC 2007. Proceedings of the 4th European Semantic Web Conference (2007)
Pan, J.Z., Horrocks, I.: RDFS(FA): Connecting RDF(S) and OWL DL.  19(2), 192–206 (2007)
Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL web ontology language semantics and abstract syntax. Recommendation 10 February 2004, W3C (2004)
Pérez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of SPARQL. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 30–43. Springer, Heidelberg (2006)
Polleres, A.: From SPARQL to rules (and back). In: WWW 2007. Proceedings of the 16th International World Wide Web Conference, pp. 787–796 (2007)
Prud’hommeaux, E., Seaborne, A.: SPARQL query language for RDF. Working Draft March 26, 2007, W3C (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Bruijn, J., Heymans, S. (2007). Logical Foundations of (e)RDF(S): Complexity and Reasoning. In: Aberer, K., et al. The Semantic Web. ISWC ASWC 2007 2007. Lecture Notes in Computer Science, vol 4825. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76298-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-76298-0_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76297-3
Online ISBN: 978-3-540-76298-0
eBook Packages: Computer ScienceComputer Science (R0)