%0 Journal Article %1 paper:schlobach:2007 %A Schlobach, Stefan %A Huang, Zhisheng %A Cornet, Ronald %A van Harmelen, Frank %D 2007 %J Journal of Automated Reasoning %K MCS analysis conflicts debugging description diagnosis minimal %N 3 %P 317--349 %T Debugging Incoherent Terminologies %U http://dx.doi.org/10.1007/s10817-007-9076-z %V 39 %X Abstract  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 coretasks 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 specializedtableau-based calculus. Both algorithms have been prototypically implemented. We study the effectiveness of our algorithmsin two ways: we present a realistic case study where we diagnose a terminology used in a practical application, and we performcontrolled benchmark experiments to get a better understanding of the computational properties of our algorithms in particularand the debugging problem in general.

@article{paper:schlobach:2007, abstract = {Abstract  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 coretasks 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 specializedtableau-based calculus. Both algorithms have been prototypically implemented. We study the effectiveness of our algorithmsin two ways: we present a realistic case study where we diagnose a terminology used in a practical application, and we performcontrolled benchmark experiments to get a better understanding of the computational properties of our algorithms in particularand the debugging problem in general.}, added-at = {2009-09-14T09:26:01.000+0200}, author = {Schlobach, Stefan and Huang, Zhisheng and Cornet, Ronald and van Harmelen, Frank}, biburl = {https://www.bibsonomy.org/bibtex/2889c2f6b9ab0c838dbbfc5fac4f07429/mschuber}, description = {SpringerLink - Journal Article}, interhash = {4e564312be392e46ee56c3f843931ddb}, intrahash = {889c2f6b9ab0c838dbbfc5fac4f07429}, journal = {Journal of Automated Reasoning}, keywords = {MCS analysis conflicts debugging description diagnosis minimal}, month = {#oct#}, number = 3, pages = {317--349}, timestamp = {2009-09-14T09:26:01.000+0200}, title = {Debugging Incoherent Terminologies}, url = {http://dx.doi.org/10.1007/s10817-007-9076-z}, volume = 39, year = 2007 }