Ian Horrocks Ulrike Sattler Stephan Tobies Practical Reasoning for Very Expressive Description Logics. 2000 8 Logic Journal of the IGPL 3 http://www3.oup.co.uk/igpl/Volume_08/Issue_03/#horrocks1 db/journals/igpl/igpl8.html#HorrocksST00