Logo image
Back
Logical reconstruction of RDF and ontology languages
Conference proceeding   Peer reviewed

Logical reconstruction of RDF and ontology languages

Jos De Bruijn, Enrico Franconi and Sergio Tessaris
Principles and Practice of Semantic Web Reasoning: Third International Workshop, PPSWR 2005; Dagstuhl Castle, Germany, September 2005; Proceedings, Vol.3703, pp.65-71
Lecture Notes in Computer Science, 3703
3rd International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2005 (Dagstuhl Castle, 11/09/2005 - 16/09/2005)
2005
DOI: https://doi.org/10.1007/11552222_7
Handle:
https://hdl.handle.net/10863/40858

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.
url
https://link.springer.com/chapter/10.1007/11552222_7View

Details

Metrics

1 Record Views