Reasoning Support for Expressive Ontology Languages Using a Theorem Prover (2006)

by I Horrocks, A Voronokov
Venue:in Proceedings of FoIKS’2006