1. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. IJCAI 3, 355–362 (2003)
2. Kalyanpur, A.: Debugging and Repair of OWL Ontologies. University of Maryland, College Park (2006)
3. Lecture Notes in Computer Science;A Kalyanpur,2007
4. Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P., Kovtunova, A.: Finding small proofs for description logic entailments: theory and practice (Extended Technical Report) (2020) arXiv preprint arXiv:2004.08311
5. Alrabbaa, C., Hieke, W., Turhan, A.Y.: Counter model transformation for explaining non-subsumption in EL. FCR@ KI pp. 9–22 (2021)