Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

17

PPSWR
2005
Springer

favoriteEmaildiscussreport

207views Automated Reasoning» more PPSWR 2005»

Logical Reconstruction of RDF and Ontology Languages

13 years 9 months ago

Logical Reconstruction of RDF and Ontology Languages

Download www.inf.unibz.it

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 deﬁnitions of RDF and OWL-DL/Lite. The main aim is to have a uniﬁed 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

Real-time Traffic

Internet Technology | Logical Reconstruction | Model Theoretic Semantics | PPSWR 2005 | RDF Family |

claim paper

Related Content

» A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web

» Processing OWL2 Ontologies using Thea An Application of Logic Programming

» Extended RDF as a Semantic Foundation of Rule Markup Languages

» DAMLOIL A Reasonable Web Ontology Language

» Semantic Web Languages Towards an Institutional Perspective

» DAMLOIL a Description Logic for the Semantic Web

» Graphical Interfaces for Racer Querying DAMLOIL and RDF Documents

» RDFSFA A DLised Sublanguage of RDFS

» Dynamic Querying of MassStorage RDF Data with RuleBased Entailment Regimes

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	PPSWR
Authors	Jos de Bruijn, Enrico Franconi, Sergio Tessaris

Comments (0)