Inconsistent Ontology Diagnosis: Evaluation
Stefan Schlobach, Zhisheng Huang, Ronald Cornet · 2006
EU-IST Integrated Project (IP) IST-2003-506826 SEKT Deliverable D3.6.2(WP3.6) In this document, we evaluated the framework for inconsistent ontology diagnosis and repair as introduced in Sekt Deliverable D3.6.1, where we defined a number of new non-standard reasoning services to explain inconsistences. The evaluation is done in two ways, first, we study the effectiveness of our proposal in a quali- tative way with some practical examples. Secondly, in a quantitative and statisticalanalysis, we try to get a better understanding of the computational properties of the debugging problem and our algorithms for solving it.