Abdallah Arioua, best student paper in the Thirty-fourth SGAI International Conference on Artificial Intelligence

Abdallah Arioua, thésard dans l'axe 5 de IATE, a obtenu le best student paper de la conférence Thirty-fourth SGAI International Conference on Artificial Intelligence poru son article Query Failure Explanation in Inconsistent Knowledge Bases: A Dialogical Approach

The paper addresses 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 approach where the processes of explanation takes the form of a dialogue between the User and the Reasoner. At each level of the dialogue, the User can ask different type of questions and the Reasoner should answer correspondingly. We also exploit the equivalence between argumentation and ICR-semantics to proof that the Reasoner can always provide an answer for user’s questions.

Publiée : 15/07/2014