Ian Horrocks Ulrike Sattler Stephan Tobies Practical Reasoning for Expressive Description Logics. 161-180 1999 conf/lpar/1999 LPAR db/conf/lpar/lpar99.html#HorrocksST99 http://dx.doi.org/10.1007/3-540-48242-3_11