NAKED: N-Ary Graphs from Knowledge Bases Expressed in Datalog±

In this demonstration paper, we introduce NAKED: a new generator for n-ary logic-based argumentation frameworks instantiated from inconsistent knowledge bases expressed using \datalog. The tool allows to import a knowledge base in DLGP format, generate, visualise and export the corresponding argumentation hypergraph. We show its application on a use-case from the NoAW project.

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

[2]  Simon Parsons,et al.  A Generalization of Dung's Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments , 2006, ArgMAS.

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

[4]  Nicolas Maudet,et al.  A Comparative Study of Ranking-Based Semantics for Abstract Argumentation , 2016, AAAI.

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

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

[7]  Abdallah Arioua,et al.  Logic-based argumentation with existential rules , 2017, Int. J. Approx. Reason..

[8]  Leila Amgoud,et al.  Argumentation-based Ranking Logics , 2015, AAMAS.

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

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

[11]  Madalina Croitoru,et al.  Toward a More Efficient Generation of Structured Argumentation Graphs , 2018, COMMA.

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

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

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

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

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

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

[18]  Simon Parsons,et al.  Computing Preferred Extensions for Argumentation Systems with Sets of Attacking Arguments , 2006, COMMA.

[19]  Madalina Croitoru,et al.  DAGGER: Datalog+/- Argumentation Graph GEneRator , 2018, AAMAS.

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

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

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

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

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

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

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

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

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

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