A short survey on inconsistency handling in ontology-mediated query answering

M Bienvenu - KI-Künstliche Intelligenz, 2020 - Springer
This paper provides a concise overview of the literature on inconsistency handling for
ontology-mediated query answering, a topic which has grown into an active area of research …

Querying and repairing inconsistent prioritized knowledge bases: Complexity analysis and links with abstract argumentation

M Bienvenu, C Bourgaux - arxiv preprint arxiv:2003.05746, 2020 - arxiv.org
In this paper, we explore the issue of inconsistency handling over prioritized knowledge
bases (KBs), which consist of an ontology, a set of facts, and a priority relation between …

Decision support for agri-food chains: A reverse engineering argumentation-based approach

R Thomopoulos, M Croitoru, N Tamani - Ecological Informatics, 2015 - Elsevier
Evaluating food quality is a complex process since it relies on numerous criteria historically
grouped into four main types: nutritional, sensorial, practical and hygienic qualities. They …

Toward a more efficient generation of structured argumentation graphs

B Yun, S Vesic, M Croitoru - Computational Models of Argument, 2018 - ebooks.iospress.nl
To address the needs of the EU NoAW project, in this paper we solve the problem of
efficiently generating the argumentation graphs from knowledge bases expressed using …

Query answering explanation in inconsistent datalog knowledge bases

A Arioua, N Tamani, M Croitoru - … on Data Management in Cloud, Grid and …, 2015 - Springer
The paper addresses the problem of explaining Boolean Conjunctive Query (BCQ)
entailment in the presence of inconsistency within the Ontology-Based Data Access (OBDA) …

Explanatory dialogues with argumentative faculties over inconsistent knowledge bases

A Arioua, P Buche, M Croitoru - Expert Systems with Applications, 2017 - Elsevier
We introduce a formal model of explanatory dialogue called EDS. We extend this model by
including argumentation capacities to facilitate knowledge acquisition in inconsistent …

[PDF][PDF] Computing stable conclusions under the weakest-link principle in the ASPIC+ argumentation formalism

T Lehtonen, JP Wallner… - … on Principles of …, 2022 - researchportal.helsinki.fi
Rephrasing argumentation semantics in terms of subsets of defeasible elements allows for
gaining new insights for reasoning about acceptance in established fragments of the central …

[HTML][HTML] Logic-based argumentation with existential rules

A Arioua, M Croitoru, S Vesic - International Journal of Approximate …, 2017 - Elsevier
In this paper we are interested in the use of argumentation for handling inconsistency in
inconsistent knowledge bases expressed with existential rules. We propose an instantiation …

Inconsistency-Tolerant Reasoning in Datalog Ontologies via an Argumentative Semantics

MV Martinez, CAD Deagustini, MA Falappa… - … Conference on Artificial …, 2014 - Springer
Abstract The Semantic Web provides an effective infrastructure that allows data to be easily
shared and reused across applications. At its core is the description of ontological …

A structural benchmark for logical argumentation frameworks

B Yun, S Vesic, M Croitoru, P Bisquert… - Advances in Intelligent …, 2017 - Springer
This paper proposes a practically-oriented benchmark suite for computational
argumentation. We instantiate abstract argumentation frameworks with existential rules, a …