Towards Ideal Semantics for Analyzing Stream Reasoning
This work tackles the problem of unclear expressivity and semantics in stream reasoning for researchers and developers, but it is incremental as it presents only a first step.
The paper addresses the lack of theoretical foundations for stream reasoning systems by proposing a formal framework to define their semantics precisely, aiming to enable exact descriptions and comparisons.
The rise of smart applications has drawn interest to logical reasoning over data streams. Recently, different query languages and stream processing/reasoning engines were proposed in different communities. However, due to a lack of theoretical foundations, the expressivity and semantics of these diverse approaches are given only informally. Towards clear specifications and means for analytic study, a formal framework is needed to define their semantics in precise terms. To this end, we present a first step towards an ideal semantics that allows for exact descriptions and comparisons of stream reasoning systems.