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

@article{journals/corr/cs-LO-0005014, added-at = {2023-12-14T16:38:26.000+0100}, author = {Horrocks, Ian and Sattler, Ulrike and Tobies, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/2f78f29f5893d701923a165e45d78708e/admin}, ee = {https://arxiv.org/abs/cs/0005014}, interhash = {fafcca24c357caffcec85549e7fed071}, intrahash = {f78f29f5893d701923a165e45d78708e}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-14T16:38:26.000+0100}, title = {Practical Reasoning for Expressive Description Logics}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0005.html#cs-LO-0005014}, volume = {cs.LO/0005014}, year = 2000 }