Logical Reconstruction of RDF and Ontology Languages

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.

• Type: Conference
• Year: 2005
• Where: PPSWR
• Authors: Jos de Bruijn, Enrico Franconi, Sergio Tessaris
• Keywords: Internet Technology, Logical Reconstruction, Model Theoretic Semantics, PPSWR 2005, RDF Family