Debugging incoherent terminologies

Journal of Automated Reasoning

Volumn 39, Issue 3, 2007, Pages 317-349

  Schlobach, Stefan ^a   Huang, Zhisheng ^a   Cornet, Ronald ^b   Van Harmelen, Frank ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

Debugging; Description logics; Diagnosis

Indexed keywords

ALGORITHMS; COMPUTATIONAL EFFICIENCY; COMPUTER AIDED DESIGN;

DESCRIPTION LOGICS; UNSATISFIABILITY;

PROGRAM DEBUGGING;

EID: 34548321613     PISSN: 01687433     EISSN: 15730670     Source Type: Journal    
DOI: 10.1007/s10817-007-9076-z     Document Type: Article

References (24)

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)
2. Baader, F., Hollunder, B.: Embedding defaults into terminological representation systems. J. Autom. Reason. 14, 149-180 (1995)
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)
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)
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)
6. Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Reiters theory of diagnosis. Artif. In tell. 41(1), 79-88 (1989)
7. Hansson, S.: A Textbook of Belief Dynamics. Kluwer, Dordrecht (1999)
8. Hansson, S.O., Wassermann, R.: Local change. Stud. Log. 70(1), 49-76 (2002)
9. Horrocks, I., Patel-Schneider, P.F.: DL systems comparison. In: Proceedings of the 1998 Description Logic Workshop (DL'98), pp. 55-57 (1998)
10. Huang, Z., van Harmelen, F.: Reasoning with inconsistent ontologies: evaluation. Project Report D3.4.2, SEKT (2006)
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)
12. Kalyanpur, A.: Debugging and repair of OWL ontologies. Ph.D. thesis, University of Maryland (2006)
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)
14. Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable concepts in OWL ontologies. J. Web Sem. 3(4) (2005)
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)
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)
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)
18. Nebel, B.: Terminological reasoning is inherently intractable. Artif. Intell. 43, 235-249 (1990)
19. Quine, W.: The problem of simplifying truth functions. Am. Math. Mon. 59, 521-531 (1952)
20. Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57-95 (1987)
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)
22. Schlobach, S.: Diagnosing terminologies. In: Proceedings of the Twentieth National Conference on Artificial Intelligence, AAAI'05, pp. 670-675 (2005)
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)
24. Schlobach, S., Cornet, R., Huang, Z.: Inconsistent ontology diagnosis. Project Report D3.6.2, SEKT (2006)