# On the Relationship between Shy and Warded Datalog+/-

arXiv: https://arxiv.org/abs/2202.06285 · HTML: https://mlsanity.com/paper/2202.06285/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 2 of its 25 references that are in the map.
- First posted on arXiv 13 Feb 2022.

## Builds on (most cited first, 2 of 2)

- [The Vadalog System: Datalog-based Reasoning for Knowledge Graphs](https://mlsanity.com/paper/1807.08709/) (2018)
- [The Space-Efficient Core of Vadalog](https://mlsanity.com/paper/1809.05951/) (2018)

## Built on by (most cited first, 1 of 1)

- [Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures (technical report)](https://mlsanity.com/paper/2311.12236/) (2023)

## Abstract (arXiv)

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.