Hans-Ulrich Krieger. A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL. In Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011. AAAI, 2011. [doi]
Abstract is missing.