Dialectical Characterization of Consistent Query Explanation with Existential Rules

International audienceThis paper provides a dialectical characterization of IAR and Brave semantics via argumentation dialogue. We propose a minimal argumentation dialogue system and investigate the relation between its outcome and these semantics. We show that Brave semantics corresponds to a dialogue where the opponent of the Brave-entailed query wins in any dialogue. We show also that IAR semantics corresponds to a dialogue where the proponent of the IAR-entailed query wins any dialogue. We further investigate how the profile (i.e. behavior) of the participants impacts the outcome of the dialogue and the entailment of queries