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

@inproceedings{pub5222,
    author = {

Krieger, Hans-Ulrich
},
    title = {A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL},
    booktitle = {Proceedings of the AAAI 2011 Spring Symposium "Logical Formalizations of Commonsense Reasoning". AAAI Spring Symposium, March 21-23, Stanford, CA, United States},
    year = {2011},
    month = {3},
    volume = {SS-11},
    number = {06},
    organization = {AAAI},
    publisher = {AAAI Press}
}