A method of contrastive reasoning with inconsistent ontologies

2Citations
Citations of this article
13Readers
Mendeley users who have this article in their library.
Get full text

Abstract

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. © 2012 Springer-Verlag.

Cite

CITATION STYLE

APA

Fang, J., Huang, Z., & Van Harmelen, F. (2012). A method of contrastive reasoning with inconsistent ontologies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7185 LNCS, pp. 1–16). https://doi.org/10.1007/978-3-642-29923-0_1

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free