High-Level Why-Not Explanations Using Ontologies

Balder ten Cate, Cristina Civili, Evgeny Sherkhonov, Wang-Chiew Tan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We propose a novel foundational framework for why-not explanations, that is, explanations for why a tuple is missing from a query result. Our why-not explanations leverage concepts from an ontology to provide high-level and meaningful reasons for why a tuple is missing from the result of a query. A key algorithmic problem in our framework is that of computing a most-general explanation for a why-not question, relative to an ontology, which can either be provided by the user, or it may be automatically derived from the data and/or schema. We study the complexity of this problem and associated problems, and present concrete algorithms for computing why-not explanations. In the case where an external ontology is provided, we first show that the problem of deciding the existence of an explanation to a why-not question is NP-complete in general. However, the problem is solvable in polynomial time for queries of bounded arity, provided that the ontology is specified in a suitable language, such as a member of the DL-Lite family of description logics, which allows for efficient concept subsumption checking. Furthermore, we show that a most-general explanation can be computed in polynomial time in this case. In addition, we propose a method for deriving a suitable (virtual) ontology from a database and/or a schema, and we present an algorithm for computing a most-general explanation to a why-not question, relative to such ontologies. This algorithm runs in polynomial-time in the case when concepts are defined in a selection-free language, or if the underlying schema is fixed. Finally, we also study the problem of computing short most-general explanations, and we briefly discuss alternative definitions of what it means to be an explanation, and to be most general.
Original languageEnglish
Title of host publicationPODS '15 Proceedings of the 34th ACM Symposium on Principles of Database Systems
Place of PublicationNew York, NY, USA
PublisherACM
Pages31-43
Number of pages13
ISBN (Print)978-1-4503-2757-2
DOIs
Publication statusPublished - 2015

Fingerprint

Dive into the research topics of 'High-Level Why-Not Explanations Using Ontologies'. Together they form a unique fingerprint.

Cite this