DAGGER: Datalog+/- Argumentation Graph GEneRator

We introduce DAGGER: a generator for logic based argumentation frameworks instantiated from inconsistent knowledge bases expressed using Datalog+-. The tool allows to import a knowledge base in DLGP format and the generation and visualisation of the corresponding argumentation graph. Furthermore, the argumentation framework can also be exported in the Aspartix format.

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

[2]  Leila Amgoud,et al.  Postulates for logic-based argumentation systems , 2014, Int. J. Approx. Reason..

[3]  Jean-François Baget,et al.  On rules with existential variables: Walking the decidability line , 2011, Artif. Intell..

[4]  Michaël Thomazo,et al.  Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms , 2013 .

[5]  Henry Prakken,et al.  The ASPIC+ framework for structured argumentation: a tutorial , 2014, Argument Comput..

[6]  Madalina Croitoru,et al.  Eco-Efficient Packaging Material Selection for Fresh Produce: Industrial Session , 2014, ICCS.

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

[8]  Madalina Croitoru,et al.  A Structural Benchmark for Logical Argumentation Frameworks , 2017, IDA.

[9]  Pietro Baroni,et al.  An introduction to argumentation semantics , 2011, The Knowledge Engineering Review.

[10]  Abdallah Arioua,et al.  A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks , 2016, ECAI.

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

[12]  Madalina Croitoru,et al.  A Food Packaging Use Case for Argumentation , 2014, MTSR.

[13]  Madalina Croitoru,et al.  An Argumentation Workflow for Reasoning in Ontology Based Data Access , 2016, COMMA.

[14]  Matthias Thimm.  The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation , 2016, KI - Künstliche Intelligenz.

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

[16]  Farid Nouioua,et al.  An argumentation system for defeasible reasoning , 2017, Int. J. Approx. Reason..

[17]  Abdelraouf Hecham,et al.  An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering , 2017, Description Logics.

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

[19]  Abdallah Arioua,et al.  DALEK: A Tool for Dialectical Explanations in Inconsistent Knowledge Bases , 2016, COMMA.

[20]  Jean-Marie Lagniez,et al.  CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver , 2015, 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI).

[21]  S. A. Gaggl.  A Comprehensive Analysis of the cf2 Argumentation Semantics: 0.1cm From Characterization to Implementation , 2013 .

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

[23]  Abdelraouf Hecham,et al.  Substantive Irrationality in Cognitive Systems , 2016, ECAI.