2015/05/20 by Harald Beck, Beck, Harald, Minh Dao-Tran +5
Computer Science · #Advanced Database Systems and Queries #Artificial Intelligence (cs.AI) #Data Management and Algorithms #FOS: Computer and information sciences #Semantic Web and Ontologies #cs.AI
paper · pdf · doi:10.48550/arxiv.1505.05365
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
arxiv created 2015/05/20 · openalex publication_date 2015/05/20 · arxiv updated 2015/05/21 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.