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
Citations:135 - 34 self

Document Versions

Ontology Reasoning in the SHOQ(D) Description Logic –Ian Horrocks, Ulrike Sattler — 2001 — In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001
Ontology Reasoning in the SHOQ(D) Description Logic –Ian Horrocks, Ulrike Sattler — 2001 — In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001