Title: Expressive rule-based stream reasoning
Language: English
Authors: Beck, Harald 
Qualification level: Doctoral
Keywords: Stream Reasoning; Answer Set Programming; Stream Processing
Advisor: Eiter, Thomas  
Assisting Advisor: Woltran, Stefan
Bartocci, Ezio 
Issue Date: 2018
Number of Pages: 267
Qualification level: Doctoral
Modern stream processing tools offer various solutions for evaluating continuously streaming data. They typically come with query languages or programming interfaces that extend those for static data. However, model-based semantics are rarely given, which complicates the comparison and formal analysis of different approaches. The lack of theoretical underpinning makes them also less suitable for problem solving in Artificial Intelligence. While logical reasoning is at the core of Knowledge Representation (KR) paradigms like Answer Set Programming (ASP), streams have been considered only recently. So far, rule-based approaches in KR do not provide explicit controls for streams such as window mechanisms, which play a central role in stream processing. To fill this gap, we develop LARS, a Logic-based Framework for Analytic Reasoning over Streams. LARS formulas extend propositional logic with generic window operators to select recent data, and with modalities to control the temporal dimension of reasoning. On top of this, we define LARS programs which can be seen as an extension of ASP for streams. We study this formalism and relate it to selected methods from different lines of research. Towards optimizations of LARS programs, we introduce and characterize notions of equivalence that are in line with previous research for ASP. Furthermore, we tackle the trade-off between data throughput and expressiveness by developing incremental reasoning techniques for a practical fragment of LARS. Based on this, we present the Ticker engine, a prototypical stream reasoning system, along with an empirical evaluation.
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-119190
Library ID: AC15219138
Organisation: E192 - Institut für Logic and Computation 
Publication Type: Thesis
Appears in Collections:Thesis

Files in this item:

Show full item record

Page view(s)

checked on Feb 21, 2021


checked on Feb 21, 2021

Google ScholarTM


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.