%0 Conference Paper %1 horrocks99practical %A Horrocks, Ian %A Sattler, Ulrike %A Tobies, Stephan %B Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99) %D 1999 %E Ganzinger, Harald %E McAllester, David %E Voronkov, Andrei %I Springer-Verlag %K reasoning %N 1705 %P 161--180 %T Practical Reasoning for Expressive Description Logics %U citeseer.csail.mit.edu/article/horrocks99practical.html

@inproceedings{horrocks99practical, added-at = {2006-04-23T17:07:47.000+0200}, author = {Horrocks, Ian and Sattler, Ulrike and Tobies, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/22704525947f4a06f1cf720b46f8d9032/deynard}, booktitle = {Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning {({LPAR}'99)}}, description = {Practical Reasoning for EDL}, editor = {Ganzinger, Harald and McAllester, David and Voronkov, Andrei}, interhash = {9143bfd6ffef488eace48d3dbd26262a}, intrahash = {2704525947f4a06f1cf720b46f8d9032}, keywords = {reasoning}, number = 1705, pages = {161--180}, publisher = {Springer-Verlag}, timestamp = {2006-04-23T17:07:47.000+0200}, title = {Practical Reasoning for Expressive Description Logics}, url = {citeseer.csail.mit.edu/article/horrocks99practical.html}, year = 1999 }