Abdallah Arioua

  • Citations Per Year
Learn More
Many work have proposed architectures and models to incorporate explanation within agent’s design for various reasons (i.e. human-agent teamwork improvement, training in virtual environment [11], belief revision [6], etc.), with this novel architectures a problematic is emerged: how to communicate these explanations in a goal-directed and rule-governed(More)
The paper addresses the problem of explaining Boolean Conjunctive Query (BCQ) entailment in the presence of inconsistency within the OntologyBased Data Access (OBDA) setting, where inconsistency is handled by the intersection of closed repairs semantics (ICR) and the ontology is represented by Datalog+/rules. We address this problem in the case of both BCQ(More)
Conceptual Graphs are a powerful visual knowledge representation language. In this paper we are interested in the use of Conceptual Graphs in the setting of Ontology Based Data Access, and, more specifically, in reasoning in the presence of inconsistency. We present different explanation heuristics of query answering under inconsistency and show how they(More)
We address the problem of explaining Boolean Conjunctive Query (BCQ) failure in the presence of inconsistency within the Ontology-Based Data Access (OBDA) setting, where inconsistency is handled by the intersection of closed repairs semantics (ICR) and the ontology is represented by Datalog+/rules. Our proposal relies on an interactive and argumentative(More)
Given a logic-based argumentation framework built over a knowledge base in a logical language and a query in that language. The query is universally accepted if it is entailed from all extensions. As shown in [2, 14], universal acceptance is different from skeptical acceptance as a query may be entailed from different arguments distributed over all(More)
This 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(More)
We propose an argumentation based explanation for query failure explanation under ICR-semantics in an Ontology-Based Data Access (OBDA) setting. We use a rule-based language and we base our work on the equivalence between ICRbased query answering in inconsistent knowledge bases and sceptical acceptance of arguments. We propose a multilevel explanation that(More)
Due to the impressive growing of the LOD graph in the last years, assuring the quality of its content is becoming a very important issue. Thus, it is crucial to design techniques for supporting experts in validating facts and links in complex data sources. Here, we focus on identity links (sameAs) and apply argumentation semantics to (i) detect(More)
We consider the application setting where a domain-specific knowledge base about Durum Wheat has been constructed by knowledge engineers who are not experts in the domain. This knowledge base is prone to inconsistencies and incompleteness. The goal of this work is to show how the state of the art knowledge representation formalism called Datalog± can be(More)