@inproceedings{horrocks99practical,
title = {Practical Reasoning for Expressive Description Logics},
author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
booktitle = {Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning {({LPAR}'99)}},
editor = {Harald Ganzinger and David McAllester and Andrei Voronkov},
number = {1705},
pages = {161--180},
publisher = {Springer-Verlag},
url = {citeseer.csail.mit.edu/article/horrocks99practical.html},
year = {1999},
description = {Practical Reasoning for EDL},
keywords = {reasoning }
}
::