论文标题
关于害羞和守卫数据+/-之间的关系
On the Relationship between Shy and Warded Datalog+/-
论文作者
论文摘要
Datalog^E is the extension of Datalog with existential quantification.尽管它的高表达能力是由简单的语法和对完整递归的支持支撑的基础，但它特别适合于现代化的知识图上的现代应用，但已知对这种语言的查询答案（QA）通常是不可确定的。因此，出现了不同的片段，将句法局限性引入了数据词，这在其表达能力和质量检查的计算复杂性之间取得了平衡，以实现可决定性。 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.
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.
