An Argumentative Approach to Reasoning with Inconsistent Ontologies

Standard approaches to reasoning with Description Logics (DL) ontologies require them to be consistent. However, as ontologies are complex entities and sometimes built upon other imported ontologies, inconsistencies can arise. In this paper, we present a framework for reasoning with inconsistent DL ontologies. Our proposal involves expressing DL ontologies as Defeasible Logic Programs (DeLP). Given a query posed w.r.t. an inconsistent ontology, a dialectical analysis will be performed on a DeLP program obtained from such ontology where all arguments in favor and against the final answer of the query will be taken into account. We also present an application to ontology integration based on the global-as-view approach.

[1]  Jérôme Euzenat,et al.  Reaching Agreement over Ontology Alignments , 2006, International Semantic Web Conference.

[2]  Thomas R. Gruber,et al.  A Translation Approach to Portable Ontologies , 1993 .

[3]  Michel Klein,et al.  Combining and relating ontologies: an analysis of problems and solutions , 2001, OIS@IJCAI.

[4]  Ana Gabriela Maguitman,et al.  Logical models of argument , 2000, CSUR.

[5]  Diego Calvanese,et al.  A Framework for Ontology Integration , 2001, The Emerging Semantic Web.

[6]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[7]  Grigoris Antoniou,et al.  DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web , 2007, IEEE Transactions on Knowledge and Data Engineering.

[8]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[9]  Prasenjit Mitra,et al.  An algebraic framework for the interoperation of ontologies , 2004 .

[10]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[11]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[12]  Pablo R. Fillottrani,et al.  On Complexity of DeLP through Game Semantics On the Complexity of DeLP through Game Semantics ∗ , 2006 .

[13]  Frank van Harmelen,et al.  Reasoning with Inconsistent Ontologies , 2005, IJCAI.

[14]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[15]  Anthony Hunter,et al.  Harnessing Ontologies for Argument-Based Decision-Making in Breast Cancer , 2007, 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007).

[16]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[17]  Raphael Volz,et al.  Web ontology reasoning with logic databases , 2004 .

[18]  Guillermo Ricardo Simari,et al.  Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

[19]  Henry Prakken,et al.  Logics for Defeasible Argumentation , 2001 .

[20]  Michael Reinfrank,et al.  Non-Monotonic Reasoning , 1989, Lecture Notes in Computer Science.

[21]  Martin Caminada,et al.  On the Issue of Contraposition of Defeasible Rules , 2008, COMMA.

[22]  Stijn Heymans,et al.  A Defeasible Ontology Language , 2002, OTM.