DFKI-LT - A Temporal Extension of the Hayes/ter Horst Entailment Rules and a Detailed Comparison with W3C's N-ary Relations
A Temporal Extension of the Hayes/ter Horst Entailment Rules and a Detailed Comparison with W3C's N-ary Relations
1 volume 11-02,
DFKI Research Reports,
Research Report, DFKI GmbH, Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany, 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 the Hayes and ter Horst entailment rules for RDFS and OWL. The extension requires only some lightweight forms of reasoning and is is realized by adding two further temporal arguments, thus replacing a triple by a quintuple. The approach has been implemented in the forward chaining engine HFC. Our decision was motivated by experiences we have gained in former projects that have dealt with the representation of changing information over time in description logic ontologies. In order to verify the superiority of the approach, we compare the quintuple scheme with a semantic-preserving encoding scheme for N-ary relations in RDF triples, as proposed by the Semantic Web Best Practices Group of the W3C. The comparison is carried out on a theoretical as well as a practical level, both in the space and the time domain when computing the deductive closure w.r.t. the triple- and quintuple-based temporal entailment rules.
Files: BibTeX, QuintupleVsN-ary.pdf