%0 Conference Paper %1 Horrocks2001 %A Horrocks, Ian %A Sattler, Ulrike %B Proc.\ of the 17th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2001) %D 2001 %E Nebel, B. %I Morgan Kaufmann %K imported %P 199--204 %T Ontology Reasoning in the $SHOQ$($D$) Description Logic

@inproceedings{Horrocks2001, added-at = {2007-11-23T14:13:20.000+0100}, author = {Horrocks, Ian and Sattler, Ulrike}, biburl = {https://www.bibsonomy.org/bibtex/22e2e117e82c5d9bd6a543ea669189f24/ramaz}, booktitle = {Proc.\ of the 17th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2001)}, editor = {Nebel, B.}, interhash = {7f5084cf535f7d5e2fcf4707dfc5507b}, intrahash = {2e2e117e82c5d9bd6a543ea669189f24}, keywords = {imported}, note = {\\ \url{http://www.cs.man.ac.uk/~horrocks/Publications/} \\ \url{download/2001/ijcai01.pdf}}, owner = {Mauro}, pages = {199--204}, publisher = {Morgan Kaufmann}, timestamp = {2007-11-23T14:13:33.000+0100}, title = {Ontology Reasoning in the $\mathcal{SHOQ}$($\mathbf{D}$) Description Logic}, year = 2001 }