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

by I Horrocks, U Sattler
Venue:Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI01