[Back]

H. Beck, M. Dao-Tran, T. Eiter, M. Fink:
"LARS: A Logic-based Framework for Analyzing Reasoning over Streams";
Talk: AAAI Conference, Austin, Texas, USA; 2015-01-25 - 2015-01-30; in: "Proceedings of the 29th AAAI Conference, January 25-30, 2015, Austin, Texas, USA.", (2015), 1431 - 1438.

The recent rise of smart applications has drawn interest to logical
reasoning over data streams. Different query languages and stream
processing/reasoning engines were proposed. However, due to a lack of
theoretical foundations, the expressivity and semantics of these
diverse approaches were only informally discussed. Towards clear
specifications and means for analytic study, a formal framework is
needed to characterize their semantics in precise terms.

We present LARS, a Logic-based framework for Analyzing Reasoning over
Streams, i.e., a rule-based formalism with a novel window operator
providing a flexible mechanism to represent views on streaming data.
We establish complexity results for central reasoning tasks and show
how the prominent Continuous Query Language (CQL) can be captured.
Moreover, the relation between LARS and ETALIS, a system for complex
event processing is discussed. We thus demonstrate the capability of
LARS to serve as the desired formal foundation for expressing and
analyzing different semantic approaches to stream processing/reasoning
and engines.

Knowledge Representation & Reasoning; Answer Set Programming; Stream Reasoning; Nonmonotonic Reasoning

http://publik.tuwien.ac.at/files/PubDat_245322.pdf