This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies
Contrastive Reasoning with Inconsistent Ontologies
Lyon France
August 22-August 27
ISBN: 978-0-7695-4513-4
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.
Index Terms:
contrastive reasoning, inconsistent ontology, contrastive answer, clarification formula, contrastive formula
Citation:
Jun Fang, Zhisheng Huang, Frank van Harmelen, "Contrastive Reasoning with Inconsistent Ontologies," wi-iat, vol. 1, pp.191-194, 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies, 2011
Usage of this product signifies your acceptance of the Terms of Use.