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.
Zusammenfassung
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.
@inproceedings{pub5222,
author = {
Krieger, Hans-Ulrich
},
title = {A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL},
booktitle = {Proceedings of the AAAI 2011 Spring Symposium "Logical Formalizations of Commonsense Reasoning". AAAI Spring Symposium, March 21-23, Stanford, CA, United States},
year = {2011},
month = {3},
volume = {SS-11},
number = {06},
organization = {AAAI},
publisher = {AAAI Press}
}
Deutsches Forschungszentrum für Künstliche Intelligenz German Research Center for Artificial Intelligence