Jos de Bruijn, Enrico Franconi, and Sergio Tessaris. Logical reconstruction of RDF and ontology languages. In Proceedings of the 3rd Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR2005), number 3703 in Lecture Notes in Computer Science, Dagstuhl, Germany, September 2005. Springer.

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.

[ bib | .pdf ] Back