%0 Conference Paper %1 Horrocks:2001a %A Horrocks, Ian %A Satler, U. %B Proceedings of IJCAI 2001 %D 2001 %K 2001 IJCAI SHOQ description logic ontology reasoning %P 199--204 %T Ontology reasoning in the SHOQ(D) description logic

@inproceedings{Horrocks:2001a, added-at = {2009-04-02T11:07:42.000+0200}, author = {Horrocks, Ian and Satler, U.}, biburl = {https://www.bibsonomy.org/bibtex/2bf874523120ffe09d49cfbd5bc3bcf1b/jeenbroekstra}, booktitle = {Proceedings of IJCAI 2001}, interhash = {e333f2bd91d30854fbb316548c62487e}, intrahash = {bf874523120ffe09d49cfbd5bc3bcf1b}, keywords = {2001 IJCAI SHOQ description logic ontology reasoning}, pages = {199--204}, timestamp = {2009-04-02T14:48:55.000+0200}, title = {{Ontology reasoning in the SHOQ(D) description logic}}, year = 2001 }