EnviroStream: A Stream Reasoning Benchmark for Climate and Ambient Monitoring

Stream Reasoning (SR) focuses on developing advanced approaches for applying inference to dynamic data streams; it has become increasingly relevant in various application scenarios such as IoT, Smart Cities, Emergency Management, and Healthcare, despite being a relatively new field of research. The current lack of standardized formalisms and benchmarks has been hindering the comparison between different SR approaches. <br> We propose a new benchmark, called <em>EnviroStream</em>, for evaluating SR systems on weather and environmental data from two European cities. The benchmark includes queries and datasets of different sizes. We adopt <em>I-DLV-sr</em>, a recently released SR system based on Answer Set Programming, as a baseline experiment. We illustrate how the queries can be modeled via <em>I-DLV-sr</em> input language and report evaluation times. We also assess continuous online reasoning via a web application. ############################################################################################ Data can and queries can be also downloaded via the GitHub repository: https://github.com/DeMaCS-UNICAL/EnviroStream Real-time data can be visualized via the following link: https://experiments.demacs.unical.it/