In this paper we present a framework for answering queries over inconsistent ontologies by using contrastive reasoning, the reasoning of contrasts which are expressed as contrary conjunctions like the word "but" in natural language. We argue that contrastive answers are more informative for reasoning with inconsistent ontologies, as compared with the usual simple boolean answer, i.e., either "yes" or "no".We propose a general framework for contrastive reasoning with inconsistent ontologies. The proposed approach has been implemented in the system CRION (Contrastive Reasoning with Inconsistent Ontologies) as a reasoning plug-in in the LarKC (Large Knowledge Collider) platform. We report several experiments in which we apply the CRION system to some realistic ontologies. This evaluation shows that contrastive reasoning is a useful extension to the existing approaches of reasoning with inconsistent ontologies.
[1]
A. L. McGill,et al.
Contrastive and counterfactual reasoning in causal judgment.
,
1993
.
[2]
Franz Baader,et al.
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+
,
2008,
KR-MED.
[3]
Frank van Harmelen,et al.
Reasoning with Inconsistent Ontologies
,
2005,
IJCAI.
[4]
John-Jules Ch. Meyer,et al.
A modal contrastive logic: The logic of ‘but’
,
1996,
Annals of Mathematics and Artificial Intelligence.
[5]
Gerhard Brewka,et al.
Preferred Subtheories: An Extended Logical Framework for Default Reasoning
,
1989,
IJCAI.
[6]
Nissim Francez,et al.
Contrastive Logic
,
1995,
Log. J. IGPL.