Debugging incoherent terminologies. Schlobach, S., Huang, Z., Cornet, R., & Van Harmelen, F. Journal of Automated Reasoning, 39(3):317–349, Springer Netherlands, 10, 2007.
doi  abstract   bibtex   
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.
@article{13f19f42684b4319a665bedb844b5cda,
  title     = "Debugging incoherent terminologies",
  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 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.",
  keywords  = "Debugging, Description logics, Diagnosis",
  author    = "Stefan Schlobach and Zhisheng Huang and Ronald Cornet and {Van Harmelen}, Frank",
  year      = "2007",
  month     = "10",
  doi       = "10.1007/s10817-007-9076-z",
  volume    = "39",
  pages     = "317--349",
  journal   = "Journal of Automated Reasoning",
  issn      = "0168-7433",
  publisher = "Springer Netherlands",
  number    = "3",
}

Downloads: 0