<div class="csl-bib-body">
<div class="csl-entry">Stefanoni, G. (2011). <i>Explaining query answers in lightweight ontologies : the DL-Lite case</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/161189</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/161189
-
dc.description.abstract
In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for DLs, where research focused on the explanation of both TBox reasoning and, more recently, query answering. Besides explaining the presence of a tuple in a query answer (explanation of positive answer), it is important to explain also why a given tuple is missing (explanation of negative answer).<br />We first address the problem of explaining positive query answers by providing an algorithmic solution to the procedure already outlined in the literature. Additionally, we employ the new algorithm to solve the explanation problem for inconsistency in DL-Lite ontologies.<br />In solving the problem of explaining negative answers to (U)CQ over ontologies, we adopt abductive reasoning, that is, we look for additions to the ABox that force a given tuple to be in the result. As reasoning tasks, we consider existence and recognition of an explanation, and relevance and necessity of a certain assertion for an explanation. We characterize the computational complexity of these problems for subset minimal and cardinality minimal solutions.
en
dc.language
English
-
dc.language.iso
en
-
dc.subject
Wissenbasierte Systeme
de
dc.subject
Description Logics
de
dc.subject
Explanation
en
dc.subject
Description Logics
en
dc.subject
Query Answering
en
dc.subject
Ontologies
en
dc.title
Explaining query answers in lightweight ontologies : the DL-Lite case