Urbani, J., Krötzsch, M., & Eiter, T. (2022). Chasing Streams with Existential Rules. In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning — Applications and Systems (pp. 415–419). IJCAI Organization. https://doi.org/10.24963/kr.2022/43
E192-03 - Forschungsbereich Knowledge Based Systems
-
Published in:
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning — Applications and Systems
-
ISBN:
978-1-956792-01-0
-
Date (published):
2022
-
Event name:
19th International Conference on Principles of Knowledge Representation and Reasoning
en
Event date:
31-Jul-2022 - 5-Aug-2022
-
Event place:
Haifa, Israel
-
Number of Pages:
5
-
Publisher:
IJCAI Organization
-
Peer reviewed:
Yes
-
Keywords:
answer set programming; streaming data; knowledge representation
en
Abstract:
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 an- swering with such rules is undecidable in general, we de- scribe how to leverage the temporal nature of streams and present suitable notions of acyclicity that ensure decidability.
en
Project title:
Advanced context-based reasoning over heterogeneous data sources: 114402 - TU Wien - Bosch (Robert Bosch GmbH)
