%0 Conference Paper %1 conf/ijcai/HorrocksS01 %A Horrocks, Ian %A Sattler, Ulrike %B IJCAI %D 2001 %E Nebel, Bernhard %I Morgan Kaufmann %K %P 199-204 %T Ontology Reasoning in the SHOQ(D) Description Logic. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2001.html#HorrocksS01 %@ 1-55860-777-3

@inproceedings{conf/ijcai/HorrocksS01, added-at = {2023-12-12T20:21:21.000+0100}, author = {Horrocks, Ian and Sattler, Ulrike}, biburl = {https://www.bibsonomy.org/bibtex/212b981af2f92a65ed567fd49e8f815ae/admin}, booktitle = {IJCAI}, crossref = {conf/ijcai/2001}, editor = {Nebel, Bernhard}, ee = {http://ijcai.org/proceedings/2001-2}, interhash = {2e1185c7993720f401179e5990a22359}, intrahash = {12b981af2f92a65ed567fd49e8f815ae}, isbn = {1-55860-777-3}, keywords = {}, pages = {199-204}, publisher = {Morgan Kaufmann}, timestamp = {2023-12-12T20:21:21.000+0100}, title = {Ontology Reasoning in the SHOQ(D) Description Logic.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2001.html#HorrocksS01}, year = 2001 }