Ontology Reasoning in the SHOQ(D) Description Logic
Ian Horrocks and Ulrike Sattler
Annote
AKA: Horrocks01b
Book Title
Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001)
Pages
199–204
Publisher
Morgan Kaufmann‚ Los Altos
Year
2001