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 were 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 ongoing work towards such a framework and show how a core fragment of the prominent Continuous Query Language can be captured. |
Year | Venue | Keywords |
---|---|---|
2014 | OrdRing@ISWC | Query language,Data stream mining,Logical reasoning,Semantics,Stream processing,Programming language,Computer science,Theoretical computer science,Core fragment,Expressivity,Stream reasoning |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 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 |