Argumentation-Based Defeasible Reasoning For Existential Rules
Abstract
Logic based argumentation allows for defeasible reasoning over monotonic logics. In this paper, we introduce DEFT, a tool implementing argumentative defeasible reasoning over existential rules. We explain how DEFT overcomes derivation loss and discuss DEFT's empirical behavior.