Ullrich Hustadt Boris Motik Ulrike Sattler Data Complexity of Reasoning in Very Expressive Description Logics. 466-471 2005 conf/ijcai/2005 IJCAI http://www.ijcai.org/papers/0326.pdf db/conf/ijcai/ijcai2005.html#HustadtMS05