From Classical to Consistent Query Answering under Existential Rules
Aus International Center for Computational Logic
From Classical to Consistent Query Answering under Existential Rules
Vortrag von Andreas Pieris
- Veranstaltungsort: APB 3105
- Beginn: 15. Juni 2015 um 14:50
- Ende: 15. Juni 2015 um 15:50
- Forschungsgruppe: Computational Logic
- Event series: KBS Seminar
- iCal
Querying inconsistent ontologies is an intriguing new problem that gave rise to a flourishing research activity in the description logic (DL) community. The computational complexity of consistent query answering under the main DLs is rather well understood; however, little is known about existential rules. The goal of this talk is to perform an in-depth analysis of the complexity of consistent query answering under the main decidable classes of existential rules enriched with negative constraints. Our investigation focuses on the standard inconsistency-tolerant semantics, namely, the AR semantics. We establish generic complexity results, which demonstrate the tight connection between classical and consistent query answering. These results allow us to obtain in a uniform way a relatively complete picture of the complexity of our problem.
