A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL

Hans-Ulrich Krieger

In: Proceedings of the AAAI 2011 Spring Symposium "Logical Formalizations of Commonsense Reasoning". AAAI Spring Symposium, March 21-23, Stanford, CA, USA, Vol. SS-11, No. 06, AAAI Press, Menlo Park, CA, 3/2011.


Temporal encoding schemes using RDF and OWL are often plagued by a massive proliferation of useless "container" objects. Reasoning and querying with such representations is extremely complex, expensive, and error-prone. We present a temporal extension of Hayes-/ter Horst-style entailment rules for RDFS and OWL. The extension is realized by annotating RDF triples with further temporal arguments (represented as quintuples) and requires only some lightweight forms of reasoning. The approach has been implemented in the forward chaining engine HFC and is in principle also applicable to other RDF reasoners, such as OWLIM and Jena, assuming that the temporal annotation of relation instances is realized, e.g., through reification. Our decision was motivated by experiences we gained in former projects that have dealt with the representation of changing information over time in description logic ontologies.


Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence