1. Arif MF, Mencía C, Ignatiev A, Manthey N, Peñaloza R, Marques-Silva J (2016) BEACON: an efficient sat-based tool for debugging EL+ ontologies. In: Proc. of SAT 2016, LNCS, vol 9710. Springer, pp 521–530
2. Baader F, Suntisrivaraporn B (2008) Debugging SNOMED CT using axiom pinpointing in the description logic $${\cal{EL}}^{+}$$. In: Proc. of KR-MED’08, CEUR-WS, vol 410
3. Baader F, Brandt S, Lutz C (2005) Pushing the $${\cal{EL}}$$ envelope. In: Proc. IJCAI-05. Morgan-Kaufmann
4. Baader F, Schulz S, Spackmann K, Suntisrivaraporn B (2009) How should parthood relations be expressed in SNOMED CT? In: Proc. of OBML 2009
5. Baader F, Knechtel M, Peñaloza R (2012) Context-dependent views to axioms and consequences of semantic web ontologies. J Web Semant 12–13:22–40