Franz Baader Sebastian Brandt Carsten Lutz Pushing the EL Envelope. 364-369 2005 conf/ijcai/2005 IJCAI http://www.ijcai.org/papers/0372.pdf db/conf/ijcai/ijcai2005.html#BaaderBL05