Jos de Bruijn and Stijn Heymans. RDF and logic: Reasoning and extension. In Proceedings of the 6th International Workshop on Web Semantics (WebS 2007), in conjunction with the 18th International Conference on Database and Expert Systems Applications (DEXA 2007), Regensburg, Germany, September 3-7 2007. IEEE Computer Society Press.

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.

[ bib | .pdf ] Back