Interactive ontology debugging: Two query strategies for efficient fault localization

Journal of Web Semantics

Volumn 12-13, Issue , 2012, Pages 88-103

  Shchekotykhin, Kostyantyn ^a   Friedrich, Gerhard ^a   Fleiss, Philipp ^a   Rodler, Patrick ^a  

^a UNIVERSITY OF KLAGENFURT   (Austria)

Author keywords

Description logic; Model based diagnosis; Ontology debugging; Query selection

Indexed keywords

A-PRIORI PROBABILITIES; BROAD APPLICATION; DESCRIPTION LOGIC; DIAGNOSIS METHODS; ENTROPY-BASED; ENTROPY-BASED METHODS; FAULT LOCALIZATION; FAULT PROBABILITIES; KNOWLEDGE BASIS; MODEL BASED DIAGNOSIS; ONTOLOGY DEBUGGING; QUERY SELECTION; QUERY STRATEGIES;

DATA DESCRIPTION; ENTROPY; ERRORS; PROBABILITY DISTRIBUTIONS;

PROGRAM DIAGNOSTICS;

EID: 84858332406     PISSN: 15708268     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.websem.2011.12.006     Document Type: Article

References (28)

1. K. Shchekotykhin, G. Friedrich, Query strategy for sequential ontology debugging, in: P.F. Patel-Schneider, P. Yue, P. Hitzler, P. Mika, Z. Lei, J. Pan, I. Horrocks, B. Glimm (Eds.), The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, Shanghai, China, 2010, pp. 696-712.
2. B.C. Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-Schneider, and U. Sattler OWL 2: the next step for OWL Web Semantics: Sci. Serv. Agents World Wide Web 6 4 2008 309 322
3. J. Ceraso, and A. Provitera Sources of error in syllogistic reasoning Cognitive Psychol. 2 4 1971 400 410
4. P.N. Johnson-Laird Deductive reasoning Annu. Rev. Psychol. 50 1999 109 135
5. A. Rector, N. Drummond, M. Horridge, J. Rogers, H. Knublauch, R. Stevens, H. Wang, and C. Wroe OWL pizzas: practical experience of teaching OWL-DL: common errors & common patterns E. Motta, N.R. Shadbolt, A. Stutt, N. Gibbins, Engineering Knowledge in the Age of the SemanticWeb 14th International Conference, EKAW 2004 2004 Springer Whittenbury Hall, UK 63 81 (Pubitemid 41050227)
6. C. Roussey, O. Corcho, and L.M. Vilches-Blázquez A catalogue of OWL ontology antipatterns International Conference On Knowledge Capture 2009 ACM Redondo Beach, California, USA 205 206
7. S. Schlobach, Z. Huang, R. Cornet, and F. Harmelen Debugging incoherent terminologies J. Autom. Reason. 39 3 2007 317 349 (Pubitemid 47340920)
8. A. Kalyanpur, B. Parsia, M. Horridge, and E. Sirin Finding all justifications of OWL DL entailments K. Aberer, K.-S. Choi, N.F. Noy, D. Allemang, K.-I. Lee, L.J.B. Nixon, J. Golbeck, P. Mika, D. Maynard, R. Mizoguchi, G. Schreiber, P. Cudré-Mauroux, The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007 Lecture Notes in Computer Science vol. 4825 2007 Springer-Verlag Berlin, Heidelberg 267 280
9. G. Friedrich, and K. Shchekotykhin A general diagnosis method for ontologies Y. Gil, E. Motta, R. Benjamins, M. Musen, The Semantic Web - ISWC 2005, 4th International Semantic Web Conference 2005 Springer 232 246
10. M. Horridge, B. Parsia, U. Sattler, Laconic and precise justifications in OWL, in: Proceedings of the 7th International Semantic Web Conference, ISWC 2008, vol. 5318, 2008, pp. 323-338.
11. A. Kalyanpur, B. Parsia, E. Sirin, and B. Cuenca-Grau Repairing unsatisfiable concepts in OWL ontologies Y. Sure, J. Domingue, The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006 Lecture Notes in Computer Science vol. 4011 2006 Springer Berlin, Heidelberg 170 184 (Pubitemid 44071158)
12. E. Sirin, B. Parsia, B.C. Grau, A. Kalyanpur, and Y. Katz Pellet: a practical OWL-DL reasoner Web Semantics: Sci. Serv. Agents World Wide Web 5 2 2007 51 53 (Pubitemid 46856283)
13. V. Haarslev, and R. Müller RACER system description R. Goré, A. Leitsch, T. Nipkow, 1st International Joint Conference on Automated Reasoning Lecture Notes in Computer Science vol. 2083 2001 Springer Berlin, Heidelberg 701 705
14. B. Motik, R. Shearer, and I. Horrocks Hypertableau reasoning for description logics J. Artif. Intell. Res. 36 1 2009 165 228
15. A. Borgida On the relative expressiveness of description logics and predicate logics Artif. Intell. 82 1-2 1996 353 367 (Pubitemid 126374160)
16. F. Baader Appendix: description logic terminology P.F. Baader, Franz Calvanese Diego McGuinness L. Deborah, Nardi Daniele Patel-Schneider Description Logic Handbook 2003 Cambridge University Press 485 495
17. R. Reiter A theory of diagnosis from first principles Artif. Intell. 32 1 1987 57 95
18. J. de Kleer, and B.C. Williams Diagnosing multiple faults Artif. Intell. 32 1 1987 97 130
19. U. Junker QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems D.L. McGuinness, G. Ferguson, Proceedings of the Nineteenth National Conference on Artificial Intelligence Sixteenth Conference on Innovative Applications of Artificial Intelligence vol. 3 2004 AAAI Press/The MIT Press 167 172
20. R.E. Korf A complete anytime algorithm for number partitioning Artif. Intell. 106 2 1998 181 203 (Pubitemid 128431577)
21. N. Karmarkar, R.M. Karp, G.S. Lueker, and A.M. Odlyzko Probabilistic analysis of optimum partitioning J. Appl. Prob. 23 3 1986 626 645
22. J.R. Quinlan Induction of decision trees Mach. Learn. 1 1 1986 81 106
23. E.Y. Shapiro Algorithmic Program Debugging 1983 MIT Press
24. S. Muggleton, and W.L. Buntine Machine invention of first-order predicates by inverting resolution J. Laird, Proceedings of the 5th International Conference on Machine Learning ({ICML'88}) 1988 Morgan Kaufmann 339 352
25. S. Muggleton Inverse entailment and progol, new generation computing Induct. Logic Program. 13 3-4 1995 245 286
26. L. Console, G. Friedrich, D.T. Dupre, Model-based diagnosis meets error diagnosis in logic programs, in: IJCAI, 1993, pp. 1494-1501.
27. A. Felfernig, G. Friedrich, D. Jannach, and M. Stumptner Consistency-based diagnosis of configuration knowledge bases Artif. Intell. 152 2004 213 234
28. G. Friedrich, M. Stumptner, and F. Wotawa Model-based diagnosis of hardware designs Artif. Intell. 111 1-2 1999 3 39