%0 Journal Article %1 journals/corr/cs-LO-0005013 %A Horrocks, Ian %A Sattler, Ulrike %A Tobies, Stephan %D 2000 %J CoRR %K dblp %T Practical Reasoning for Very Expressive Description Logics %U http://dblp.uni-trier.de/db/journals/corr/corr0005.html#cs-LO-0005013 %V cs.LO/0005013

@article{journals/corr/cs-LO-0005013, added-at = {2022-04-12T00:00:00.000+0200}, author = {Horrocks, Ian and Sattler, Ulrike and Tobies, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/28e860b3524228004cb6466002591431d/dblp}, ee = {https://arxiv.org/abs/cs/0005013}, interhash = {4f26bbd43a0dc9591e9906d026584a0d}, intrahash = {8e860b3524228004cb6466002591431d}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:45:51.000+0200}, title = {Practical Reasoning for Very Expressive Description Logics}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0005.html#cs-LO-0005013}, volume = {cs.LO/0005013}, year = 2000 }