British Telecommunications plc.

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 completeness 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 use