Journal of Automated Reasoning

, Volume 39, Issue 3, pp 317–349 | Cite as

Debugging Incoherent Terminologies

  • Stefan Schlobach
  • Zhisheng Huang
  • Ronald Cornet
  • Frank van Harmelen
Open Access


In this paper we study the diagnosis and repair of incoherent terminologies. We define a number of new nonstandard reasoning services to explain incoherence through pinpointing, and we present algorithms for all of these services. For one of the core tasks of debugging, the calculation of minimal unsatisfiability preserving subterminologies, we developed two different algorithms, one implementing a bottom-up approach using support of an external description logic reasoner, the other implementing a specialized tableau-based calculus. Both algorithms have been prototypically implemented. We study the effectiveness of our algorithms in two ways: we present a realistic case study where we diagnose a terminology used in a practical application, and we perform controlled benchmark experiments to get a better understanding of the computational properties of our algorithms in particular and the debugging problem in general.


Debugging Diagnosis Description logics 


  1. 1.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge, MA (2003)MATHGoogle Scholar
  2. 2.
    Baader, F., Hollunder, B.: Embedding defaults into terminological representation systems. J. Autom. Reason. 14, 149–180 (1995)CrossRefGoogle Scholar
  3. 3.
    Console, L., Dressler, O.: Model-based diagnosis in the real world: lessons learned and challenges remaining. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI’99, pp. 1393–1400 (1999)Google Scholar
  4. 4.
    de la Banda, M.G., Stuckey, P.J., Wazny, J.: Finding all minimal unsatisfiable subsets. In: Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, ACM-SGPLAN’03, pp. 32–43 (2003)Google Scholar
  5. 5.
    Friedrich, G., Shchekotykhin, K.M.: A general diagnosis method for ontologies. In: Proceedings of the 4th International Semantic Web Conference, ISWC’05. LNCS, vol. 3729, pp. 232–246 (2005)Google Scholar
  6. 6.
    Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Reiters theory of diagnosis. Artif. Intell. 41(1), 79–88 (1989)MATHCrossRefGoogle Scholar
  7. 7.
    Hansson, S.: A Textbook of Belief Dynamics. Kluwer, Dordrecht (1999)MATHGoogle Scholar
  8. 8.
    Hansson, S.O., Wassermann, R.: Local change. Stud. Log. 70(1), 49–76 (2002)MATHCrossRefGoogle Scholar
  9. 9.
    Horrocks, I., Patel-Schneider, P.F.: DL systems comparison. In: Proceedings of the 1998 Description Logic Workshop (DL’98), pp. 55–57 (1998)Google Scholar
  10. 10.
    Huang, Z., van Harmelen, F.: Reasoning with inconsistent ontologies: evaluation. Project Report D3.4.2, SEKT (2006)Google Scholar
  11. 11.
    Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proceedings of the International Joint Conference on Artificial Intelligence – IJCAI’05 (2005)Google Scholar
  12. 12.
    Kalyanpur, A.: Debugging and repair of OWL ontologies. Ph.D. thesis, University of Maryland (2006)Google Scholar
  13. 13.
    Kalyanpur, A., Parsia, B., Cuenca-Grau, B., Sirin, E.: Beyond axioms: fine-grained justifications for arbitrary entailments in OWL-DL. In: Description Logic Workshop (DL’06) (2006)Google Scholar
  14. 14.
    Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable concepts in OWL ontologies. J. Web Sem. 3(4) (2005)Google Scholar
  15. 15.
    Massacci, F., Donini, F.M.: Design and results of TANCS-2000 non-classical (Modal) systems comparison. In: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Tableau’00, pp. 52–56 (2000)Google Scholar
  16. 16.
    Meyer, T., Lee, K., Booth, R.: Knowledge integration for description logics. In: Proceedings of the Twentieth National Conference on Artificial Intelligence, AAAI’05, pp. 645–650 (2005)Google Scholar
  17. 17.
    Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic ALC. In: Proceedings of the 21st National Conference on Artificial Intelligence, AAAI’06 (2006)Google Scholar
  18. 18.
    Nebel, B.: Terminological reasoning is inherently intractable. Artif. Intell. 43, 235–249 (1990)MATHCrossRefGoogle Scholar
  19. 19.
    Quine, W.: The problem of simplifying truth functions. Am. Math. Mon. 59, 521–531 (1952)MATHCrossRefGoogle Scholar
  20. 20.
    Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57–95 (1987)MATHCrossRefGoogle Scholar
  21. 21.
    Schlobach, S.: Debugging and semantic clarification by pinpointing. In: Proceedings of the 2nd European Semantic Web Conference – ESWC’05. LNCS, vol. 3532, pp. 226–240 (2005)Google Scholar
  22. 22.
    Schlobach, S.: Diagnosing terminologies. In: Proceedings of the Twentieth National Conference on Artificial Intelligence, AAAI’05, pp. 670–675 (2005)Google Scholar
  23. 23.
    Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI’03 (2003)Google Scholar
  24. 24.
    Schlobach, S., Cornet, R., Huang, Z.: Inconsistent ontology diagnosis. Project Report D3.6.2, SEKT (2006)Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2007

Authors and Affiliations

  • Stefan Schlobach
    • 1
  • Zhisheng Huang
    • 1
  • Ronald Cornet
    • 2
  • Frank van Harmelen
    • 1
  1. 1.Vrije Universiteit AmsterdamAmsterdamThe Netherlands
  2. 2.AMC, Universiteit van AmsterdamAmsterdamThe Netherlands

Personalised recommendations