Work

Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation

Year: 2014

Type: book-chapter

Abstract: 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 approach where the processes of explanation takes the form of a dialogue between the User and the Reasoner. We exploit the equivalence between argumentation and ICR-semantics to prove that the Reasoner can always provide an answer for user's questions.

Source: Frontiers in artificial intelligence and applications

DOI: 10.3233/978-1-61499-436-7-101

Authors: Arioua Abdallah, Tamani Nouredine, Croitoru Madalina, Buche Patrice

Institution: Ingénierie des Agropolymères et Technologies Emergentes

Language: English

Topic: Semantic Web and Ontologies

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2397616783

FWCI: 5.36

Cites: 15

Cited by: 12

Related to: 10