.png){kind=icon}
返回
Explanations for query answers under existential rules
.png){kind=icon}
OA
AI
DOI：10.1016/j.artint.2025.104294.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Ontology-based data access is an extensively studied paradigm aiming at improving query answers with the use of an ontology. An ontology is a specification of a domain of interest, which, in this context, is described via a logical theory. As a form of logical entailment, ontology- mediated query answering is fully interpretable, which makes it possible to derive explanations for ontological query answers. This is a quite important aspect, as the fact that many recent AI systems mostly operating as black boxes has led to some serious concerns. In the literature, various works on explanations in the context of description logics (DLs) have appeared, mostly focusing on explaining concept subsumption and concept unsatisfiability in the ontologies. Some works on explaining query entailment in DLs have appeared as well, however, mainly dealing with inconsistency-tolerant semantics and, actually, non-entailment of the queries. Surprisingly, explaining ontological query entailment has received little attention for ontology languages based on existential rules. In fact, although DLs are popular formalisms to model ontologies, it is generally agreed that rule-based ontologies are well-suited for data-intensive applications, as they allow us to conveniently deal with higher-arity relations, which naturally occur in standard relational databases. The goal of this work is to close this gap, and study the problem of explaining query entailment in the context of existential rules ontologies in terms of minimal subsets of database facts. We provide a thorough complexity analysis for several decision problems associated with minimal explanations for various classes of existential rules, and for different complexity measures.
Keyword:
Artificial intelligence
Computational complexity
Ontologies
Existential rules
Datalog plus /-
Query answering
Ontology mediated query answering
Explanations
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
引用论文
.png){kind=icon}
分享收藏分享收藏Understanding the complexity of axiom pinpointing in lightweight description logics理解轻量级描述逻辑中公理定位的复杂性OAAI
OAAI分享收藏Machine LearningTechniquesfor Detection of Website Phishing: A Review for Promises and Challenges
PREAI
分享收藏
查看更多内容