I-DLV-sr: A Stream Reasoning System based on I-DLV

IF 1.4 2区数学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING

Theory and Practice of Logic Programming Pub Date : 2021-08-05 DOI:10.1017/S147106842100034X

Francesco Calimeri, M. Manna, Elena Mastria, Maria Concetta Morelli, S. Perri, J. Zangari

引用次数: 5

Abstract

Abstract We introduce a novel logic-based system for reasoning over data streams, which relies on a framework enabling a tight, fine-tuned interaction between Apache Flink and the $${{\mathcal I}^2}$$ -DLV system. The architecture allows to take advantage from both the powerful distributed stream processing capabilities of Flink and the incremental reasoning capabilities of $${{\mathcal I}^2}$$ -DLV, based on overgrounding techniques. Besides the system architecture, we illustrate the supported input language and its modeling capabilities, and discuss the results of an experimental activity aimed at assessing the viability of the approach.

查看原文本刊更多论文

I-DLV-sr:一个基于I-DLV的流推理系统

我们介绍了一种新的基于逻辑的数据流推理系统，它依赖于一个框架，使Apache Flink和$${{\mathcal I}^2}$$ -DLV系统之间的紧密、微调交互成为可能。该架构允许利用Flink强大的分布式流处理能力和$${{\mathcal I}^2}$$ -DLV基于接地技术的增量推理能力。除了系统架构之外，我们还说明了支持的输入语言及其建模能力，并讨论了旨在评估该方法可行性的实验活动的结果。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Theory and Practice of Logic Programming 工程技术-计算机：理论方法

CiteScore

4.50

自引率

21.40%

发文量

审稿时长

>12 weeks

期刊介绍： Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. Among the topics covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational data mining, natural language processing, knowledge representation, non-monotonic reasoning, semantic web reasoning, databases, implementations and architectures and constraint logic programming.