论 Shy 与 Warded Datalog+/- 之间的关系
计算机科学中的逻辑
2022-08-11 v3 人工智能
数据库
摘要
Datalog^E 是带有存在量词的 Datalog 的扩展。尽管其高表达力由简单语法和对完全递归的支持所支撑，使其特别适用于知识图上的现代应用，但众所周知，在此类语言上的查询应答（QA）在一般情况下是不可判定的。为此，出现了不同的片段，对 Datalog^E 引入语法限制，以在其表达力与 QA 的计算复杂度之间取得平衡，从而实现可判定性。在本短文中，我们关注两个有前景的可处理候选片段，即 Shy 和 Warded Datalog+/-。应社区明确兴趣，我们阐明了这些片段之间的关系。此外，我们对分别实现 Shy 和 Warded 的系统 DLV^E 和 Vadalog 进行了实验分析。
引用
@article{arxiv.2202.06285,
title = {On the Relationship between Shy and Warded Datalog+/-},
author = {Teodoro Baldazzi and Luigi Bellomarini and Marco Favorito and Emanuel Sallinger},
journal= {arXiv preprint arXiv:2202.06285},
year = {2022}
}
备注
Accepted to KR 2022