02/02/2021

Preferred Explanations for Ontology-Mediated Queries under Existential Rules

İsmail İlkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro, Andrius Vaicenavičius

Keywords:

Abstract Paper Similar Papers

Abstract: Recently, explanations for query answers under existential rules have been investigated, where an explanation is an inclusion-minimal subset of a given database that, together with the ontology, entails the query. In this paper, we take a step further and study explanations under different minimality criteria. In particular, we first study cardinality-minimal explanations and hence focus on deriving explanations of minimum size. We then study a more general preference order induced by a weight distribution. We assume that every database fact is annotated with a (penalization) weight, and we are interested in explanations with minimum overall weight. For both preference orders, we study a variety of explanation problems, such as recognizing a preferred explanation, all preferred explanations, a relevant or necessary fact, and the existence of a preferred explanation not containing forbidden sets of facts. We provide a detailed complexity analysis for all the aforementioned problems, thereby providing a more complete picture for explaining query answers under existential rules.

The video of this talk cannot be embedded. You can watch it here:
https://slideslive.com/38948653
(Link will open in new window)
 0
 0
 0
 0
  Share    
This is an embedded video. Talk and the respective paper are published at AAAI 2021 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd Characters remaining: 140

Similar Papers

 0
 0
 0
 0
 15:05 
 0
 0
 0
 0
 19:03 
 0
 0
 0
 0
 15:02 
 0
 0
 0
 0
 20:16 
 0
 0
 0
 0
 11:46 
 0
 0
 0
 0
 20:05 
 0
 0
 0
 0
 13:34 
 0
 0
 0
 0
 17:09 
 0
 0
 0
 0
 13:50 
 0
 0
 0
 0
 15:49 
 0
 0
 0
 0
 20:50 
 0
 0
 0
 0
 15:09 
 0
 0
 0
 0
 9:46 
 0
 0
 0
 0
 16:42 
 0
 0
 0
 0
 9:51 
 0
 0
 0
 0
 15:00 
 0
 0
 0
 0
 4:43 
 0
 0
 0
 0
 15:06 
 0
 0
 0
 0
 16:06 
 0
 0
 0
 0
 16:22 
 0
 0
 0
 0
 19:42 
 0
 0
 0
 0
 19:08 
 0
 0
 0
 0
 15:05 
 0
 0
 0
 0
 0:59 
 0
 0
 0
 0
 14:11 
 0
 0
 0
 0
 14:18 
 0
 0
 0
 0
 13:19 
 0
 0
 0
 0
 3:27 
 0
 0
 0
 0
 15:01 
 0
 0
 0
 0
 14:13 
 0
 0
 0
 0
 17:23 
 0
 0
 0
 0
 26:26 
 0
 0
 0
 0
 11:52 
 0
 0
 0
 0
 12:51 
 0
 0
 0
 0
 9:47 
 0
 0
 0
 0
 18:30 
 0
 0
 0
 0
 3:12 
 0
 0
 0
 0
 13:52 
 0
 0
 0
 0
 11:16 
 0
 0
 0
 0
 18:57