# Chasing Streams with Existential Rules

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

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 5 of its 33 references that are in the map.
- First posted on arXiv 4 May 2022.

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

- [The Vadalog System: Datalog-based Reasoning for Knowledge Graphs](https://mlsanity.com/paper/1807.08709/) (2018)
- [Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies](https://mlsanity.com/paper/1406.4110/) (2014)
- [Expressive Stream Reasoning with Laser](https://mlsanity.com/paper/1707.08876/) (2017)
- [Materializing Knowledge Bases via Trigger Graphs](https://mlsanity.com/paper/2102.02753/) (2021)
- [The Window Validity Problem in Rule-Based Stream Reasoning](https://mlsanity.com/paper/1808.02291/) (2018)

## Abstract (arXiv)

We study reasoning with existential rules to perform query answering over streams of data. On static databases, this problem has been widely studied, but its extension to rapidly changing data has not yet been considered. To bridge this gap, we extend LARS, a well-known framework for rule-based stream reasoning, to support existential rules. For that, we show how to translate LARS with existentials into a semantics-preserving set of existential rules. As query answering with such rules is undecidable in general, we describe how to leverage the temporal nature of streams and present suitable notions of acyclicity that ensure decidability.