Paper Info
Title
LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract).
Abstract
Stream reasoning considers continuously deriving conclusions on streaming data. While traditional stream processing approaches focus on throughput and are often based on operational grounds, reasoning approaches aim at high expressiveness based on declarative semantics; yet according theoretical underpinning in the streaming area has been lacking. To fill this gap, we provide LARS, a Logic-based Framework for Analytic Reasoning over Streams. It provides generic window operators to limit reasoning to recent snapshots of data, and modalities to control the temporal information of data. Building on resulting formulas, a rule-based language is presented which can be seen as extension of Answer Set Programming (ASP) for streams. We study semantic properties and the computational complexity of LARS, its relation to other formalisms and mention various work that builds on it.
Year
DOI
Venue
2018
10.1007/978-3-319-73117-9_6
Lecture Notes in Computer Science
Keywords
Field
DocType
Answer Set Programming,Stream reasoning,Dynamic data
Discrete mathematics,Computer science,Theoretical computer science,Analytic reasoning,STREAMS
Conference
Volume
ISSN
Citations 
10706
0302-9743
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Harald Beck1495.61
Minh Dao-Tran239520.39
Thomas Eiter37238532.10