论文标题
与存在规则一起追逐流
Chasing Streams with Existential Rules
论文作者
论文摘要
我们使用存在规则来研究推理，以对数据流执行查询答案。在静态数据库中，该问题已被广泛研究，但是尚未考虑其扩展到快速变化的数据。为了弥合这一差距，我们扩展了LARS，这是一个基于规则的流推理的众所周知的框架，以支持存在规则。为此，我们展示了如何将LARS与存在性的LAR转化为一组存在的存在规则。由于通常不确定的是，我们描述了如何利用流的时间性质，并提出了可确保可决定性的适当概念。
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.
