Inconsistency Handling in Ontology-Mediated Query Answering

From International Center for Computational Logic

Inconsistency Handling in Ontology-Mediated Query Answering

Talk by Camille Bourgaux
The problem of querying description logic knowledge bases using conjunctive queries has been a major focus of recent description logic research. An important issue that arises in this context is how to handle the case in which the data is inconsistent with the ontology. Inconsistency-tolerant semantics can be used to obtain meaningful answers. The semantics AR, IAR, and brave are three well-known semantics, that rely on the notion of a repair, that is an inclusion-maximal subset of the data consistent with the ontology. I will present work on dealing with inconsistent DL-Lite knowledge bases, using these semantics. Beyond efficient query answering, we address the problems of explaining the query results, and of query-driven repairing of the data. We also consider variants of these semantics based on preferred repairs.