Ontology Reasoning in the SHOQ(D) Description Logic

Has publishing details pp. 199-204, 2001

Has title Ontology Reasoning in the SHOQ(D) Description Logic

Has url http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2001.html#HorrocksS01

Has where published IJCAI

Has year 2001

Has author Ian Horrocks +, Ulrike Sattler +

Has identifier Ontology Reasoning in the SHOQ(D) Description Logic +

Categories Proceeding Paper +