Home » Publication » 20803

Dettaglio pubblicazione

2018, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Pages 571-581

The Window Validity Problem in Rule-Based Stream Reasoning (04b Atto di convegno in volume)

RONCA ALESSANDRO, Kaminski Mark, Cuenca Grau Bernardo, Horrocks Ian

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.
ISBN: 978-1-57735-803-9
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma