Inconsistency Handling in Ontology-Mediated Query Answering

Vortrag von Camille Bourgaux

Veranstaltungsort: APB 3027
Beginn: 12. Mai 2016 um 13:30
Ende: 12. Mai 2016 um 14:30
Forschungsgruppe: Automatentheorie
iCal

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.