论文标题
用于流推理的基于数据的语言（扩展版）之间的正式比较
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
论文作者
论文摘要
本文调查了两种基于逻辑的语言用于流的推理的相对表现力，即Lars程序 - 基于逻辑的基于逻辑的框架，用于分析推理的语言，用于lars和LDSR的流，即i-DLV系统的语言，用于流的流动延伸，用于流动的流动推理，称为I-DLV SRACH。尽管这两种语言在Datalog上构建，但它们在语法和语义上确实有所不同。为了调和其表达能力的流推理能力，我们定义了一个比较框架，该框架使我们能够表明，只有任何限制，两种语言是无与伦比的，并且可以识别可以通过另一种语言表达的每种语言的片段。
The paper investigates the relative expressiveness of two logic-based languages for reasoning over streams, namely LARS Programs -- the language of the Logic-based framework for Analytic Reasoning over Streams called LARS -- and LDSR -- the language of the recent extension of the I-DLV system for stream reasoning called I-DLV-sr. Although these two languages build over Datalog, they do differ both in syntax and semantics. To reconcile their expressive capabilities for stream reasoning, we define a comparison framework that allows us to show that, without any restrictions, the two languages are incomparable and to identify fragments of each language that can be expressed via the other one.
