1. Schlobach S, Cornet R. Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence. 2003, 355–362
2. Kalyanpur A, Parsia B, Horridge M, Sirin E. Finding all justifications of OWL DL entailments. In: Proceedings of the 6th International the Semantic Web and 2nd Asian Conference on Asian Semantic Web Conference. 2007, 267–280
3. Schlobach S, Huang Z S, Cornet R, Harmelen F V. Debugging incoherent terminologies. Journal of Automated Reasoning, 2007, 39(3): 317–349.
4. Baader F, Penaloza R. Automata-based axiom pinpointing. Journal of Automated Reasoning, 2010, 45(2): 91–129
5. Ma Y, Penaloza R. Towards parallel repair: an ontology decomposition-based approach. In: Proceedings of the 27th International Workshop on Description Logics. 2014, 633–645