%0 Conference Paper %1 conf/ecai/HorrocksS02 %A Horrocks, Ian %A Sattler, Ulrike %B ECAI %D 2002 %E van Harmelen, Frank %I IOS Press %K %P 277-281 %T Optimised Reasoning for SHIQ. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2002.html#HorrocksS02

@inproceedings{conf/ecai/HorrocksS02, added-at = {2023-12-13T10:33:38.000+0100}, author = {Horrocks, Ian and Sattler, Ulrike}, biburl = {https://www.bibsonomy.org/bibtex/2c3c2dadb07588503582d45a927a7807a/admin}, booktitle = {ECAI}, crossref = {conf/ecai/2002}, date = {2003-11-25}, editor = {van Harmelen, Frank}, interhash = {d8948430bf09835c3fd2b4afcfca1d17}, intrahash = {c3c2dadb07588503582d45a927a7807a}, keywords = {}, pages = {277-281}, publisher = {IOS Press}, timestamp = {2023-12-13T10:33:38.000+0100}, title = {Optimised Reasoning for SHIQ.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2002.html#HorrocksS02}, year = 2002 }