A temporal extension of the Hayes and ter Horst entailment rules for RDFS and OWL (0)

by H Krieger
Venue:In Proc. of AAAI 2011 Spring Symposium “Logical Formalizations of Commonsense Reasoning