DMCA

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

by Hans-ulrich Krieger
Venue:In AAAI 2011 Spring Symposium “Logical Formalizations of Commonsense Reasoning
Citations:5 - 1 self