This paper explores embedding the various kinds of RDF entailment in F-Logic. It shows that the embedding 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.

Keywords: RDF Schema, Entailment Regimes, Datalog, Description Logics, F-Logic
Author: Heymans, Stijn
Time required: P30M
Educational use: instruction
Educational audience: teacher-educationSpecialist
Interactivity type: expositive

  • Competencies