Reasoning with Inconsistent Ontologies: Framework and Prototype
Zhisheng Huang, Frank van Harmelen, P. Groot, Cees Visser · 2005
EU-IST Integrated Project (IP) IST-2003-506826 SEKT Deliverable D3.4.1(WP3.4) In this document we propose a general framework for reasoning with inconsistent ontologies. We present formal definitions of soundness, meaningfulness, local completeness, and maximal com- pleteness of an inconsistency reasoner. We propose and investigate a pre-processing algorithm and discuss the strategies of inconsistency reasoning based on pre-defined selection functions dealing with concept relevance. In this document, we also present a prototype of a reasoner for Processing Inconsistent ONtologies (PION), which is implemented in XDIG, an extended DIG Description Logic Interface for Prolog. We also discuss how the syntactic relevance can be used in the implementation of the prototype. Keyword list: ontology management, inconsistent ontologies, reasoning