%0 Journal Article %1 Horrocks99m %A Horrocks, I. %A Sattler, U. %A Tobies, S. %D 2000 %J Logic Journal of the IGPL %K imported %N 3 %P 239--263 %T Practical Reasoning for Very Expressive Description Logics %V 8

@article{Horrocks99m, added-at = {2008-04-02T15:35:07.000+0200}, author = {Horrocks, I. and Sattler, U. and Tobies, S.}, biburl = {https://www.bibsonomy.org/bibtex/2b22975479218a08555f9288c27bd1cae/vrandezo}, interhash = {4f26bbd43a0dc9591e9906d026584a0d}, intrahash = {b22975479218a08555f9288c27bd1cae}, journal = {Logic Journal of the IGPL}, keywords = {imported}, number = 3, pages = {239--263}, timestamp = {2008-04-02T15:35:26.000+0200}, title = {{Practical Reasoning for Very Expressive Description Logics}}, volume = 8, year = 2000 }