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