Towards Ideal Semantics for Analyzing Stream Reasoning
Abstract
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.
Cite
@article{arxiv.1505.05365,
title = {Towards Ideal Semantics for Analyzing Stream Reasoning},
author = {Harald Beck and Minh Dao-Tran and Thomas Eiter and Michael Fink},
journal= {arXiv preprint arXiv:1505.05365},
year = {2015}
}
Comments
International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014). Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 17-22, technical report, ISSN 1430-3701, Leipzig University, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-150562 2014,1