A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL
AAAI 2011 Spring Symposium ``Logical Formalizations of Commonsense Reasoning'', 2011
Temporal encoding schemes using RDF and OWL are often plagued by a massive proliferation of useless âcontainerâ ob- jects. Reasoning and querying with such representations is extremely complex, expensive, and error-prone. We present a temporal extension of the Hayes and ter Horst entailment rules for RDFS/OWL. The extension is realized by extend- ing RDF triples with further temporal arguments and requires only some lightweight forms of reasoning. The approach has been implemented in the forward chaining engine HFC.