Sciweavers

PPSWR
2005
Springer

Logical Reconstruction of RDF and Ontology Languages

14 years 4 months ago
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.
Jos de Bruijn, Enrico Franconi, Sergio Tessaris
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where PPSWR
Authors Jos de Bruijn, Enrico Franconi, Sergio Tessaris
Comments (0)