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.
翻译：本文调查了两种逻辑语言的相对表达性,用于对流推理,即LARS方案 -- -- 以逻辑为基础的对流理学分析框架称为LARS的语言 -- -- 和LDSR -- -- 最近扩展的I-DLV系统对流理学称为I-DLV-sr的语言。虽然这两种语言在数据学上有所建树,但在语法和语义上确实存在差异。为了调和它们对于流理推理的表达能力,我们定义了一个比较框架,使我们能够显示,在没有任何限制的情况下,两种语言是无法比较的,并找出可以通过另一种语言表达的每一种语言的碎片。
相关内容
微信扫码咨询专知VIP会员