论文信息 - Logical Reconstruction of Normative RDF

Logical Reconstruction of Normative RDF

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.

Jos de Bruijn | Sergio Tessaris | Enrico Franconi

[1] Michael Kifer,et al. HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[2] Boris Motik,et al. Reasoning for Description Logics aroundSHIQ in a Resolution Framework , 2004 .

[3] Jos de Bruijn,et al. Logical Reconstruction of RDF and Ontology Languages , 2005, PPSWR.

[4] Alberto O. Mendelzon,et al. Foundations of semantic web databases , 2004, PODS.

[5] Ian Horrocks,et al. RDFS(FA) and RDF MT: Two Semantics for RDFS , 2003, SEMWEB.