I. Horrocks and U. Sattler and S. Tobies. Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL, (8)3:239--263, 2000. [BibSonomy: imported]