Reasoning about explanations for negative query answers in \textit{DL-Lite}
From MaRDI portal
Publication:2865013
DOI10.1613/JAIR.3870zbMATH Open1361.68222arXiv1402.0575OpenAlexW3098952310MaRDI QIDQ2865013FDOQ2865013
Authors: Diego Calvanese, Magdalena Ortiz, Mantas Šimkus, Giorgio Stefanoni 
Publication date: 28 November 2013
Published in: The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)
Abstract: In order to meet usability requirements, most logic-based applications provide explanation facilities for reasoning services. This holds also for Description Logics, where research has focused on the explanation of both TBox reasoning and, more recently, query answering. Besides explaining the presence of a tuple in a query answer, it is important to explain also why a given tuple is missing. We address the latter problem for instance and conjunctive query answering over DL-Lite ontologies by adopting 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 given assertion for an explanation. We characterize the computational complexity of these problems for arbitrary, subset minimal, and cardinality minimal explanations.
Full work available at URL: https://arxiv.org/abs/1402.0575
Recommendations
- Computing and explaining query answers over inconsistent DL-Lite knowledge bases
- scientific article; zbMATH DE number 7368419
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- The DL-Lite Family and Relations
- ABox abduction in the description logic \(\mathcal{ALC}\)
Cited In (6)
- Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL
- Title not available (Why is that?)
- Ontology-Mediated Query Answering with Data-Tractable Description Logics
- Computing and explaining query answers over inconsistent DL-Lite knowledge bases
- Data repair of inconsistent nonmonotonic description logic programs
- Query answering over inconsistent knowledge bases: a probabilistic approach
This page was built for publication: Reasoning about explanations for negative query answers in \textit{DL-Lite}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2865013)
