Inconsistent Ontology Diagnosis and Repair
Stefan Schlobach, Zhisheng Huang · 2007
EU-IST Integrated Project (IP) IST-2003-506826 SEKT Deliverable D3.6.3(WP3.6) In this document, we overview the framework for inconsistent ontology diagnosis and repair, which is based on a number of new non-standard reasoning services to explain inconsistency through pinpointing. In this document, we also present a prototype of DION2, an extended system of DION (Debugger of Inconsistent ONtologies). DION is developed based a bottom-up approach to calculate pinpoints by the support of an external DL reasoner. In this document, we also discuss the implementation issues of DION2, and report preliminary experiments of DION2 with SEKT ontology learning data and SEKT legal ontologies for the inconsistent ontology debugging and repair. Keyword list: ontology management, inconsistency diagnosis, ontology reasoning