Computing minimum cost diagnoses to repair populated DL-based ontologies
Proceedings of the 17th international conference on World Wide Web
Using Semantic Distances for Reasoning with Inconsistent Ontologies
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Inconsistencies, negations and changes in ontologies
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Explaining Inconsistencies in OWL Ontologies
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Preferred subtheories: an extended logical framework for default reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Reasoning with inconsistent ontologies
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Finding all justifications of OWL DL entailments
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Decomposition-based optimization for debugging of inconsistent OWL DL ontologies
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Contrastive Reasoning with Inconsistent Ontologies
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
A framework for handling inconsistency in changing ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
| Hi-index | 0.00 |
Contrastive reasoning is the reasoning with contrasts which are expressed as contrary conjunctions like the word "but" in natural language. Contrastive answers are more informative for reasoning with inconsistent ontologies, as compared with the usual simple Boolean answer, i.e., either "yes" or "no". In this paper, we propose a method of computing contrastive answers from 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.