Ontology Reasoning in the SHOQ(D) Description Logic (2001)

by Ian Horrocks, Ulrike Sattler
Venue:In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001