@article{Horrocks2000,
title = {Practical Reasoning for Very Expressive Description Logics},
author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
journal = {Journal of the IGPL},
note = {\\ \url{http://www3.oup.co.uk/igpl/Volume_08/Issue_03/} \\ \url{ps/horrocks1.ps.gz}},
number = {3},
pages = {239--263},
volume = {8},
year = {2000},
owner = {Mauro}, timestamp = {2006.08.31},
keywords = {imported }
}
::