Logo image
Logical reconstruction of normative RDF
Conference proceeding   Open access  Peer reviewed

Logical reconstruction of normative RDF

Jos De Bruijn, Enrico Franconi and Sergio Tessaris
1st Workshop on OWL: Experiences and Directions, OWLED 2005, Vol.188, pp.1-9
CEUR Workshop Proceedings, 188
1st Int. Workshop on OWL: Experiences and Directions (OWLED 2005) (Galway, 11/11/2005 - 12/11/2005)
2005
Handle:
https://hdl.handle.net/10863/35911

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 normative W3C definitions of RDF/RDFS 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.
pdf
sub24134.48 kBDownloadView
Open Access
url
https://ceur-ws.org/Vol-188/View
url
https://ceur-ws.org/Vol-188/sub24.pdfView

Details

Metrics

4 File views/ downloads
9 Record Views