On Conceptual Graphs and Explanation of Query Answering under Inconsistency

Conceptual Graphs are a powerful visual knowledge representation language. In this paper we are interested in the use of Conceptual Graphs in the setting of Ontology Based Data Access, and, more specifically, in reasoning in the presence of inconsistency. We present different explanation heuristics of query answering under inconsistency and show how they can be implemented under the Conceptual Graphs editor COGUI.

[1]  Sebastian Rudolph,et al.  Walking the Complexity Lines for Generalized Guarded Existential Rules , 2011, IJCAI.

[2]  Bijan Parsia,et al.  Explaining Inconsistencies in OWL Ontologies , 2009, SUM.

[3]  C. Hempel,et al.  Studies in the Logic of Explanation , 1948, Philosophy of Science.

[4]  Michael Beetz,et al.  KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings , 2007, KI.

[5]  Witold Litwin,et al.  Applications of Databases , 1994, Lecture Notes in Computer Science.

[6]  Ian Horrocks,et al.  The Semantic Web – ISWC 2010: 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I , 2010, SEMWEB.

[7]  Jeff Z. Pan,et al.  An Argument-Based Approach to Using Multiple Ontologies , 2009, SUM.

[8]  Guillermo Ricardo Simari,et al.  Dialectical Explanations in Defeasible Argumentation , 2007, ECSQARU.

[9]  Maurizio Lenzerini,et al.  Inconsistency-Tolerant Semantics for Description Logics , 2010, RR.

[10]  Dan Suciu,et al.  WHY SO? or WHY NO? Functional Causality for Explaining Query Answers , 2009, MUD.

[11]  Ian Horrocks,et al.  Explaining ALC Subsumption , 2000, Description Logics.

[12]  Franz Baader,et al.  Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+ , 2008, KR-MED.

[13]  Bijan Parsia,et al.  Justification Oriented Proofs in OWL , 2010, SEMWEB.

[14]  Lora Aroyo,et al.  The Semantic Web: Research and Applications , 2009, Lecture Notes in Computer Science.

[15]  Christian Straßer,et al.  Abstract argumentation and explanation applied to scientific debates , 2011, Synthese.

[16]  Xi Deng,et al.  A Framework for Explaining Reasoning in Description Logics , 2005, ExaCt.

[17]  Stefan Schlobach,et al.  Debugging and Semantic Clarification by Pinpointing , 2005, ESWC.

[18]  Deborah L. McGuinness,et al.  Explaining Subsumption in Description Logics , 1995, IJCAI.

[19]  Andrea Calì,et al.  A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.

[20]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[21]  Marie-Laure Mugnier,et al.  Graph-based Knowledge Representation - Computational Foundations of Conceptual Graphs , 2008, Advanced Information and Knowledge Processing.

[22]  Cristina Sirangelo,et al.  Reasoning About Pattern-Based XML Queries , 2013, RR.

[23]  Madalina Croitoru,et al.  What Can Argumentation Do for Inconsistent Ontology Query Answering? , 2013, SUM.

[24]  Nicolás D. Rotstein,et al.  An Abstract Presentation of Dialectical Explanations in Defeasible Argumentation , 2007 .

[25]  Rafael Peñaloza,et al.  Pinpointing in the Description Logic EL , 2007, Description Logics.

[26]  Meghyn Bienvenu,et al.  On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies , 2012, AAAI.

[27]  Thomas Lukasiewicz,et al.  Inconsistency Handling in Datalog+/- Ontologies , 2012, ECAI.

[28]  Parke Godfrey,et al.  Minimization in Cooperative Response to Failing Database Queries , 1994, Int. J. Cooperative Inf. Syst..

[29]  Parke Godfrey,et al.  An Architecture for a Cooperative Database System , 1994, ADB.

[30]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

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

[32]  Dan Suciu,et al.  Causality in Databases , 2010, IEEE Data Eng. Bull..

[33]  Divesh Srivastava,et al.  Explaining Program Execution in Deductive Systems , 1993, DOOD.

[34]  Sanjay Modgil,et al.  Proof Theories and Algorithms for Abstract Argumentation Frameworks , 2009, Argumentation in Artificial Intelligence.

[35]  Michael Kifer,et al.  Deductive and Object-Oriented Databases , 1991 .

[36]  M. Chein,et al.  Graph-based Knowledge Representation and Reasoning , 2010, ICEIS.

[37]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.