NAKED is a generator for logic-based argumentation hypergraphs built on inconsistent knowledge bases expressed using Datalog +/-.

The tool takes as input a knowledge base in DLGP format and allows to generate/visualise the corresponding argumentation graph. We offer an interactive method for observing specific arguments and the possibility to export the graph in the DOT format.

NAKED builds the arguments and attacks in a novel way: Arguments are either facts or constructed upon other arguments (à la ASPIC+) and sets of consistent arguments can attack a single other argument. We also provide the maximal consistent sets (or repairs) of the knowledge base, well known to be equivalent to the preferred and stable semantics in this setting.

The GUI communicates with the GRAAL library which possesses the toolkit for handling existential rules knowledge bases. Then, the tools computes the repairs, using an efficient algorithm, for the argument generation. Then, the argumentation graph is displayed graphically using the GrahStream library or textually using the DOT format, or both.

The GUI below shows NAKED drawing the argumentation graph corresponding to a simple example.