Explanations for ontology-mediated query answers

<p>Ontology-mediated query answering is a paradigm that seeks to exploit the semantic knowledge expressed in terms of ontologies to improve query answers over incomplete data sources. In this thesis, we consider explanations for ontology-mediated query answers under the classical semantics. W...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur: Vaicenavicius, A
Awduron Eraill: Lukasiewicz, T
Fformat: Traethawd Ymchwil
Iaith:English
Cyhoeddwyd: 2020
Pynciau:
Disgrifiad
Crynodeb:<p>Ontology-mediated query answering is a paradigm that seeks to exploit the semantic knowledge expressed in terms of ontologies to improve query answers over incomplete data sources. In this thesis, we consider explanations for ontology-mediated query answers under the classical semantics. We provide a comprehensive complexity analysis of a wide range of computational problems, associated with explaining ontology-mediated query answers. We study explanations both for positive and negative ontology-mediated query answers under different minimality criteria, both for existential rules and description logics. This allows us to indicate similarities and point out differences in the complexity of explaining ontology-mediated query answers for these different settings.</p>