caa a22 4500 463182871 CHVBK 20180406164844.0 cr unu---uuuuu 170326e20071001xx s 000 0 eng 10.1007/s10817-007-9076-z doi (NATIONALLICENCE)springer-10.1007/s10817-007-9076-z Debugging Incoherent Terminologies [Elektronische Daten] [Stefan Schlobach, Zhisheng Huang, Ronald Cornet, Frank van Harmelen] 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. Springer Science+Business Media B.V., 2007 Debugging nationallicence Diagnosis nationallicence Description logics nationallicence Schlobach Stefan Vrije Universiteit Amsterdam, Amsterdam, The Netherlands aut Huang Zhisheng Vrije Universiteit Amsterdam, Amsterdam, The Netherlands aut Cornet Ronald AMC, Universiteit van Amsterdam, Amsterdam, The Netherlands aut van Harmelen Frank Vrije Universiteit Amsterdam, Amsterdam, The Netherlands aut Journal of Automated Reasoning Springer Netherlands 39/3(2007-10-01), 317-349 0168-7433 39:3<317 2007 39 10817 https://doi.org/10.1007/s10817-007-9076-z text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10817-007-9076-z text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Schlobach Stefan Vrije Universiteit Amsterdam, Amsterdam, The Netherlands aut NATIONALLICENCE 700 1- Huang Zhisheng Vrije Universiteit Amsterdam, Amsterdam, The Netherlands aut NATIONALLICENCE 700 1- Cornet Ronald AMC, Universiteit van Amsterdam, Amsterdam, The Netherlands aut NATIONALLICENCE 700 1- van Harmelen Frank Vrije Universiteit Amsterdam, Amsterdam, The Netherlands aut NATIONALLICENCE 773 0- Journal of Automated Reasoning Springer Netherlands 39/3(2007-10-01), 317-349 0168-7433 39:3<317 2007 39 10817 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer