%0 Journal Article %1 journals/igpl/HorrocksST00 %A Horrocks, Ian %A Sattler, Ulrike %A Tobies, Stephan %D 2000 %J Logic Journal of the IGPL %K %N 3 %P 239-263 %T Practical Reasoning for Very Expressive Description Logics. %U http://dblp.uni-trier.de/db/journals/igpl/igpl8.html#HorrocksST00 %V 8

@article{journals/igpl/HorrocksST00, added-at = {2023-12-12T22:52:36.000+0100}, author = {Horrocks, Ian and Sattler, Ulrike and Tobies, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/26c33e7bf75f0fc3d5107bcbebacea420/admin}, ee = {http://dx.doi.org/10.1093/jigpal/8.3.239}, interhash = {4f26bbd43a0dc9591e9906d026584a0d}, intrahash = {6c33e7bf75f0fc3d5107bcbebacea420}, journal = {Logic Journal of the IGPL}, keywords = {}, number = 3, pages = {239-263}, timestamp = {2023-12-12T22:52:36.000+0100}, title = {Practical Reasoning for Very Expressive Description Logics.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl8.html#HorrocksST00}, volume = 8, year = 2000 }