Towards a logic-based framework for analyzing stream reasoning
Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink · 2014
Abstract. The rise of smart applications has drawn interest to logical reason-ing over data streams. Recently, different query languages and stream process-ing/reasoning engines were proposed in different communities. However, due to a lack of theoretical foundations, the expressivity and semantics of these diverse approaches were given only informally. Towards clear specifications and means for analytic study, a formal framework is needed to define their semantics in pre-cise terms. To this end, we present ongoing work towards such a framework and show how a core fragment of the prominent Continuous Query Language can be captured. 1