The Window Validity Problem in Rule-Based Stream Reasoning

08/07/2018
by   Alessandro Ronca, et al.
0

Rule-based temporal query languages provide the expressive power and flexibility required to capture in a natural way complex analysis tasks over streaming data. Stream processing applications, however, typically require near real-time response using limited resources. In particular, it becomes essential that the underpinning query language has favourable computational properties and that stream processing algorithms are able to keep only a small number of previously received facts in memory at any point in time without sacrificing correctness. In this paper, we propose a recursive fragment of temporal Datalog with tractable data complexity and study the properties of a generic stream reasoning algorithm for this fragment. We focus on the window validity problem as a way to minimise the number of time points for which the stream reasoning algorithm needs to keep data in memory at any point in time.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/10/2017

Stream Reasoning in Temporal Datalog

In recent years, there has been an increasing interest in extending trad...
research
08/14/2018

Stream Reasoning on Expressive Logics

Data streams occur widely in various real world applications. The resear...
research
08/15/2022

Seminaive Materialisation in DatalogMTL

DatalogMTL is an extension of Datalog with metric temporal operators tha...
research
06/15/2021

Faster than LASER – Towards Stream Reasoning with Deep Neural Networks

With the constant increase of available data in various domains, such as...
research
05/17/2020

Fixed Point Semantics for Stream Reasoning

Reasoning over streams of input data is an essential part of human intel...
research
07/04/2017

Document Spanners for Extracting Incomplete Information: Expressiveness and Complexity

Rule-based information extraction has lately received a fair amount of a...
research
10/15/2019

Optimizing Semi-Stream CACHEJOIN for Near-Real-Time Data Warehousing

Streaming data join is a critical process in the field of near-real-time...

Please sign up or login with your details

Forgot password? Click here to reset