loading...
RDF and Logic: Reasoning and Extension
Regensburg, Germany September 03-September 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DEXA.2007.818th International Conference on Data ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Jos de Bruijn, Free University of Bozen-Bolzano, Italy
Stijn Heymans, University of Innsbruck, Austria
In this paper we explore embeddings of the various kinds of RDF entailment in F-Logic. We show that the embeddings of simple, RDF, and RDFS entailment, as well as a large fragment of extensional RDFS entailment, fall in the Datalog fragment of F-Logic, allowing the use of optimization techniques from the area of deductive databases for reasoning with RDF. Using earlier results on the relationship between F-Logic and Description Logics (DLs), we define an embedding of a large fragment of extensional RDFS in a tractable description logic, namely DL-Lite, allowing efficient reasoning over the ontology vocabulary. We show how, using these embeddings, RDFS can be extended with rules and/or general axioms.
Citation:
Jos de Bruijn, Stijn Heymans, "RDF and Logic: Reasoning and Extension," dexa, pp.460-464, 18th International Conference on Database and Expert Systems Applications (DEXA 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.