Ontology Reasoning in the SHOQ(D) Description Logic

Cite this paper

@inproceedings{Horrocks2001OntologyRI, title={Ontology Reasoning in the SHOQ(D) Description Logic}, author={Ian Horrocks and Ulrike Sattler}, booktitle={IJCAI}, year={2001} }