PION: a Reasoner/System for Processing Inconsistent ONtologies
The classical entailment in logics is explosive: any formula is a logical consequence of a contradiction.
Therefore, conclusions drawn from an inconsistent ontology by classical inference may be completely meaningless.
An inconsistency reasoner is one which is able to return meaningful answers to queries, given an inconsistent
PION is a reasoner/system which can return meaningful answers to queries on inconsistent ontologies. PION is powered by XDIG, an extended DIG Decription Logic Interface for Prolog, in particular, for SWI-Prolog. PION supports TELL requests both in DIG and in OWL, and ASK requests in DIG.
PION requires an external DL reasoner which supports the DIG DL interface, like Racer.
Contact Zhisheng Huang if you have any comment or suggestion.