REASONING WITH INCONSISTENT ONTOLOGIES THROUGH ARGUMENTATION

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 article, we present δ-ontologies, 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 an 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]  Bijan Parsia,et al.  Laconic and Precise Justifications in OWL , 2008, SEMWEB.

[2]  Hector Geffner,et al.  A Framework for Reasoning with Defaults , 1990 .

[3]  Guillermo Ricardo Simari,et al.  A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge , 2004, UAI.

[4]  Ramón F. Brena,et al.  Modelling Power and Trust for Knowledge Distribution: An Argumentative Approach , 2005, MICAI.

[5]  Sarvapali D. Ramchurn,et al.  Argumentation-based negotiation , 2003, The Knowledge Engineering Review.

[6]  Alan L. Rector,et al.  Debugging OWL-DL Ontologies: A Heuristic Approach , 2005, SEMWEB.

[7]  Pablo Noriega,et al.  Agent-Mediated Interaction. From Auctions to Negotiation and Argumentation , 2002, Foundations and Applications of Multi-Agent Systems.

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

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

[10]  Ana Gabriela Maguitman,et al.  ArgueNet: an argument-based recommender system for solving Web search queries , 2004, 2004 2nd International IEEE Conference on 'Intelligent Systems'. Proceedings (IEEE Cat. No.04EX791).

[11]  David Stuart Robertson,et al.  Argument-based applications to knowledge engineering , 2000, The Knowledge Engineering Review.

[12]  Antonis C. Kakas,et al.  Computing Argumentation in Logic Programming , 1999, J. Log. Comput..

[13]  Guillermo Ricardo Simari,et al.  Argument-Based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties , 2005, ECSQARU.

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

[15]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[16]  Antonis C. Kakas,et al.  Logic Programming without Negation as Failure , 1995, ILPS.

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

[18]  Bart Verheij.  Virtual Arguments: On the Design of Argument Assistants for Lawyers and Other Arguers , 2005 .

[19]  Guillermo Ricardo Simari,et al.  An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment , 2007, LPNMR.

[20]  J. Pollock.  Cognitive Carpentry: A Blueprint for How to Build a Person , 1995 .

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

[22]  Ramón F. Brena,et al.  Argumentation-Supported Information Distribution in a Multiagent System for Knowledge Management , 2005, ArgMAS.

[23]  Michael J. Maher,et al.  Defeasible Logic versus Logic Programming without Negation as Failure , 2000, J. Log. Program..

[24]  Raymond Reiter,et al.  On Interacting Defaults , 1981, IJCAI.

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

[26]  Guillermo Ricardo Simari,et al.  An approach to handling inconsistent ontology definitions based on the translation of description logics into defeasible logic programming , 2006 .

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

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

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

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

[31]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[32]  Paolo Mancarella,et al.  The Acceptability Semantics for Logic Programs , 1994, ICLP.

[33]  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.

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

[35]  Huajun Chen,et al.  The Semantic Web , 2011, Lecture Notes in Computer Science.

[36]  Henry Prakken,et al.  The Role of Logic in Computational Models of Legal Argument: A Critical Survey , 2002, Computational Logic: Logic Programming and Beyond.

[37]  Bijan Parsia,et al.  Pellet: An OWL DL Reasoner , 2004, Description Logics.

[38]  Michael J. Maher,et al.  Normal Forms for Defeasible Logic , 1998, IJCSLP.

[39]  Sebastian Rudolph,et al.  On the Complexity of Horn Description Logics , 2006, OWLED.

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

[41]  Guillermo Ricardo Simari,et al.  Computing Generalized Specificity , 2003, J. Appl. Non Class. Logics.

[42]  Guillermo Ricardo Simari,et al.  An Argumentative Approach to Reasoning with Inconsistent Ontologies , 2008 .

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

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

[45]  Ian Horrocks.  The FaCT System , 1998, TABLEAUX.

[46]  Jeff Z. Pan,et al.  A Fine-Grained Approach to Resolving Unsatisfiable Ontologies , 2008, J. Data Semant..

[47]  Giorgio Terracina,et al.  Enhancing a DLP System for Advanced Database Applications , 2008, RR.

[48]  Jeff Z. Pan,et al.  Finding Maximally Satisfiable Terminologies for the Description Logic ALC , 2006, AAAI.

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

[50]  Nicola Leone,et al.  Disjunctive logic programming with types and objects: The DLV+ system , 2007, J. Appl. Log..

[51]  Ana Gabriela Maguitman,et al.  An Argumentative Approach to Assessing Natural Language Usage based on the Web Corpus , 2004, ECAI.

[52]  Ian Horrocks,et al.  Combining logic programs with description logics , 2003, The Web Conference.

[53]  E. Sosa.  Knowledge and justification , 1994 .

[54]  Ramón F. Brena,et al.  Knowledge Distribution in Large Organizations Using Defeasible Logic Programming , 2005, Canadian Conference on AI.

[55]  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).

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

[57]  Guillermo Ricardo Simari,et al.  Argument-based critics and recommenders: A qualitative perspective on user support systems , 2006, Data Knowl. Eng..

[58]  Guillermo Ricardo Simari,et al.  Defeasible Reasoning in Web-Based Forms through Argumentation , 2008, Int. J. Inf. Technol. Decis. Mak..

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

[60]  Trevor J. M. Bench-Capon,et al.  Argumentation in artificial intelligence , 2007, Artif. Intell..

[61]  Hsinchun Chen,et al.  Frame-based argumentation for group decision task generation and identification , 2005, Decis. Support Syst..

[62]  Nicholas R. Jennings,et al.  Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..

[63]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

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

[65]  Carlos Iván Chesñevar,et al.  A Hybrid Approach To Pattern Classification Using Neural Networks and Defeasible Argumentation , 2004, FLAIRS.

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

[67]  Donald Nute,et al.  Defeasible Reasoning: A Philosophical Analysis in Prolog , 1988 .

[68]  E. Sandewall,et al.  Nonmonotonic inference rules for multiple inheritance with exceptions , 1986, Proceedings of the IEEE.