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. |
Year | Venue | Field |
---|---|---|
2015 | CoRR | Logical reasoning,Data stream mining,Operational semantics,Query language,Computational semantics,Computer science,Theoretical computer science,Deductive reasoning,Stream processing,Semantics |
DocType | Volume | Citations |
Journal | abs/1505.05365 | 1 |
PageRank | References | Authors |
0.35 | 12 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Harald Beck | 1 | 49 | 5.61 |
Minh Dao-Tran | 2 | 395 | 20.39 |
Thomas Eiter | 3 | 7238 | 532.10 |
Michael Fink | 4 | 1145 | 62.43 |