<div class="csl-bib-body">
<div class="csl-entry">Urbani, J., Krötzsch, M., & Eiter, T. (2022). Chasing Streams with Existential Rules. In <i>Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning — Applications and Systems</i> (pp. 415–419). IJCAI Organization. https://doi.org/10.24963/kr.2022/43</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/142521
-
dc.description.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
dc.description.sponsorship
Robert Bosch GmbH
-
dc.language.iso
en
-
dc.subject
answer set programming
en
dc.subject
streaming data
en
dc.subject
knowledge representation
en
dc.title
Chasing Streams with Existential Rules
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.relation.isbn
978-1-956792-01-0
-
dc.description.startpage
415
-
dc.description.endpage
419
-
dc.relation.grantno
114402 - TU Wien - Bosch
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning — Applications and Systems
-
tuw.peerreviewed
true
-
tuw.relation.publisher
IJCAI Organization
-
tuw.project.title
Advanced context-based reasoning over heterogeneous data sources
