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

Open in new window