Ontology reasoning in the SHOQ(D) description logic (2001)

by I Horrocks, U Sattler
Venue:In Proc. of the 17th Int. Joint Conf. on AI (IJCAI