1. Baader, F., Brandt, S., Lutz, C.: Pushing the
$\mathcal{EL}$
Envelope. In: IJCAI, pp. 364–369 (2005)
2. Lecture Notes in Artificial Intelligence;F. Baader,2007
3. Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic
$\mathcal{EL}^{+}$
. In: KR-MED (2008)
4. Cheng, X., Qi, G.: An algorithm for axiom pinpointing in
$\mathcal{EL}^{+}$
and its incremental variant. In: CIKM, pp. 2433–2436 (2011)
5. Lecture Notes in Computer Science;A. Kalyanpur,2007