Jul 18, 2022 · We use Dung's abstract argumentation framework to address the problem of explaining inconsistency-tolerant query answering in Datalog± KB where facts are ...
Argumentation-based approaches are also commonly used for representation and reasoning with inconsistent. KBs. Works such as [13,25] and [42] make use of formal ...
This paper uses Dung's abstract argumentation framework to address the problem of explaining inconsistency-tolerant query answering in Datalog ± KB where ...
Jan 1, 2022 · We use Dung's abstract argumentation framework to address the problem of explaining inconsistency-tolerant query answering in Datalog ± KB where facts are ...
The strength of such argumentation-based approach is the explainability; users can more easily understand why different points of views are conflicting and why ...
Prioritized Datalog± is a well-studied formalism for modelling ontological knowl- edge and data, and has a success story in many applications in the ...
The strength of such argumentation-based approach is the explainability; users can more easily understand why different points of views are conflicting and why ...
This is formalized in the following definitions: Page 5. L. Ho et al. / An argumentative approach for handling inconsistency in prioritized Datalog± ontologies.
This paper accompanies an invited talk on inconsistency handling in OMQA and presents a concise summary of the research that has been conducted in the area. 1 ...
An argumentative approach for handling inconsistency in prioritized Datalog±ontologies. L Ho, S Arch-Int, E Acar, S Schlobach, N Arch-Int. AI Communications 35 ...