1. M. Horridge, S. Bail, B. Parsia, U. Sattler, The cognitive complexity of OWL justifications, in: Proceedings of the 24th International Workshop on Description Logics (DL-11), 2011.
2. M. Horridge, S. Bail, B. Parsia, U. Sattler, The cognitive complexity of OWL justifications, in: Proceedings of the 10th International Semantic Web Conference (ISWC-11), 2011.
3. I. Horrocks, O. Kutz, U. Sattler, The even more irresistible SROIQ, in: Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning (KR-06), 2006.
4. S. Schlobach, R. Cornet, Non-standard reasoning services for the debugging of description logic terminologies, in: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03), 2003, pp. 355–362.
5. Debugging unsatisfiable classes in owl ontologies;Kalyanpur;Journal of Web Semantics,2005