Advertisement

Logical Reconstruction of RDF and Ontology Languages

  • Jos de Bruijn
  • Enrico Franconi
  • Sergio Tessaris
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3703)

Abstract

In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to the standard W3C definitions of RDF and OWL-DL/Lite. The main aim is to have a unified model theoretic semantics for both worlds. As a consequence we get various complexity results and a model theoretic semantics for basic SPARQL.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Antoniou and van Harmelen, 2004]
    Antoniou, G., van Harmelen, F.: A Semantic Web Primer. MIT Press, Cambridge (2004)Google Scholar
  2. [Chen et al., 1993]
    Chen, W., Kifer, M., Warren, D.: HILOG: a foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)zbMATHCrossRefMathSciNetGoogle Scholar
  3. [Gutierrez et al., 2004]
    Gutierrez, C., Hurtado, C., Mendelzon, A.: Foundations of semantic web databases. In: Proceedings of the 2004 ACM SIGART SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2004) (2004)Google Scholar
  4. [Hayes, 2004]
    Hayes, P.: RDF semantics. Technical report, W3C, W3C recommendation (February 2004), URL http://www.w3.org/TR/rdf-mt/
  5. [Pan and Horrocks, 2003]
    Pan, J., Horrocks, I.: RDFS(FA) and RDF MT: Two semantics for RDFS. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 30–46. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  6. [Patel-Schneider et al., 2004]
    Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL web ontology language semantics and abstract syntax. Technical report, W3C, W3C recommendation (February 2004) URL http://www.w3.org/TR/owl-semantics/
  7. [Prud’hommeaux and Seaborne, 2005]
    Prud’hommeaux, E., Seaborne, A.: SPARQL query language for RDF. Technical report, W3C, W3C working draft (April 2005), URL http://www.w3.org/TR/rdf-sparql-query/

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Jos de Bruijn
    • 1
  • Enrico Franconi
    • 2
  • Sergio Tessaris
    • 2
  1. 1.Digital Enterprise Research InstituteUniversity of InnsbruckAustria
  2. 2.Faculty of Computer ScienceFree University of Bozen-BolzanoItaly

Personalised recommendations