论害羞与被禁数据+/-的关系
On the Relationship between Shy and Warded Datalog+/-
摘要：
Datasheet ^E是Datasheet的存在量化的扩展。虽然它的高表达能力，由一个简单的语法和支持完全递归，使它特别适合于现代应用程序的知识图谱，查询回答（QA）在这样的语言是众所周知的，一般是不可判定的。出于这个原因，出现了不同的片段，为Datasheet ^E引入了语法限制，在其表达能力和QA的计算复杂性之间取得平衡，以实现可判定性。在这篇简短的论文中，我们专注于两个有前途的易于处理的候选人，即Shy和Warded Datasheet +/-。为了回应社区的明确兴趣，我们揭示了这些片段之间的关系。此外，我们进行了一个实验分析的系统实现Shy和Warded，分别为DLV^E和Vaddom。
英文摘要：
Datalog^E is the extension of Datalog with existential quantification. While its high expressive power, underpinned by a simple syntax and the support for full recursion, renders it particularly suitable for modern applications on knowledge graphs, query answering (QA) over such language is known to be undecidable in general. For this reason, different fragments have emerged, introducing syntactic limitations to Datalog^E that strike a balance between its expressive power and the computational complexity of QA, to achieve decidability. In this short paper, we focus on two promising tractable candidates, namely Shy and Warded Datalog+/-. Reacting to an explicit interest from the community, we shed light on the relationship between these fragments. Moreover, we carry out an experimental analysis of the systems implementing Shy and Warded, respectively DLV^E and Vadalog.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
