Reasoning with Inconsistent Ontologies

In this paper we present a framework of reasoning with inconsistent ontologies, in which pre-defined selection functions are used to deal with concept relevance. We examine how the notion of "concept relevance" can be used for reasoning with inconsistent ontologies. We have implemented a prototype called PION (Processing Inconsistent ONtologies), which is based on a syntactic relevance-based selection function. In this paper, we also report the experiments with PION.

[1]  Frank van Harmelen,et al.  Reasoning with Inconsistent Ontologies: Framework and Prototype , 2005 .

[2]  Salem Benferhat,et al.  Handling Locally Stratified Inconsistent Knowledge Bases , 2002, Stud Logica.

[3]  Pascal Hitzler,et al.  Algorithms for Paraconsistent Reasoning with OWL , 2007, ESWC.

[4]  Graeme Hirst,et al.  Semantic distance in WordNet: An experimental, application-oriented evaluation of five measures , 2004 .

[5]  Hector J. Levesque,et al.  A Knowledge-Level Account of Abduction , 1989, IJCAI.

[6]  Pierre Marquis,et al.  Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions , 2001, Stud Logica.

[7]  Francesco M. Donini,et al.  Complexity of Reasoning , 2003, Description Logic Handbook.

[8]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[9]  Zhisheng Huang,et al.  An Extended DIG Description Logic Interface for Prolog , 2004 .

[10]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[11]  Guilin Qi,et al.  Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic , 2007, ECSQARU.

[12]  Raphael Volz,et al.  Cooking the Semantic Web with the OWL API , 2003, SEMWEB.

[13]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[14]  Jeff Z. Pan,et al.  Inconsistencies, Negations and Changes in Ontologies , 2006, AAAI.

[15]  Pierre Marquis,et al.  Resource-Bounded Paraconsistent Inference , 2003, Annals of Mathematics and Artificial Intelligence.

[16]  Marco Schaerf,et al.  Tractable Reasoning via Approximation , 1995, Artif. Intell..