Chasing Streams with Existential Rules

From International Center for Computational Logic

Toggle side column

Chasing Streams with Existential Rules

Jacopo UrbaniJacopo Urbani,  Markus KrötzschMarkus Krötzsch,  Thomas EiterThomas Eiter
Jacopo Urbani, Markus Krötzsch, Thomas Eiter
Chasing Streams with Existential Rules
Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence, to appear
  • KurzfassungAbstract
    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.
  • Projekt:Project: CPECScaDS.AI
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
@inproceedings{UKE2022,
  author    = {Jacopo Urbani and Markus Kr{\"{o}}tzsch and Thomas Eiter},
  title     = {Chasing Streams with Existential Rules},
  booktitle = {Proceedings of the 31st International Joint Conference on
               Artificial Intelligence and the 25th European Conference on
               Artificial Intelligence},
  year      = {2022}
}