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

Hans-Ulrich Krieger A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL. 2011 AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2390 conf/aaaiss/2011-6 db/conf/aaaiss/aaaiss2011-6.html#Krieger11