1. Franz Baader , Sebastian Brandt , and Carsten Lutz . 2005 . Pushing the EL Envelope. In IJCAI-05 , Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence , Edinburgh, Scotland, UK, July 30 - August 5, 2005, Leslie Pack Kaelbling and Alessandro Saffiotti (Eds.). Professional Book Center, 364--369. http://ijcai.org/Proceedings/05/Papers/0372.pdf Franz Baader, Sebastian Brandt, and Carsten Lutz. 2005. Pushing the EL Envelope. In IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005, Leslie Pack Kaelbling and Alessandro Saffiotti (Eds.). Professional Book Center, 364--369. http://ijcai.org/Proceedings/05/Papers/0372.pdf
2. An Introduction to Description Logic
3. Computing Optimal Repairs of Quantified ABoxes w.r.t. Static $$\mathcal {EL}$$ TBoxes
4. Optimal ABox Repair w.r.t. Static $$\mathcal {EL}$$ TBoxes: From Quantified ABoxes Back to ABoxes
5. Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Version)