{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T02:23:32Z","timestamp":1760149412397,"version":"build-2065373602"},"reference-count":22,"publisher":"MDPI AG","issue":"3","license":[{"start":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T00:00:00Z","timestamp":1690761600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100003407","name":"PNRR project FAIR\u2014Future AI Research","doi-asserted-by":"publisher","award":["PE00000013","CUP:H24I17000080001","CUP J89J21009750007"],"award-info":[{"award-number":["PE00000013","CUP:H24I17000080001","CUP J89J21009750007"]}],"id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NextGenerationEU","award":["PE00000013","CUP:H24I17000080001","CUP J89J21009750007"],"award-info":[{"award-number":["PE00000013","CUP:H24I17000080001","CUP J89J21009750007"]}]},{"DOI":"10.13039\/501100003407","name":"Italian Ministero dell\u2019Universit\u00e0, dell\u2019Istruzione e della Ricerca (MIUR)","doi-asserted-by":"publisher","award":["PE00000013","CUP:H24I17000080001","CUP J89J21009750007"],"award-info":[{"award-number":["PE00000013","CUP:H24I17000080001","CUP J89J21009750007"]}],"id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100009877","name":"POR FESR-FSE Calabria 2014\u20132020","doi-asserted-by":"publisher","award":["PE00000013","CUP:H24I17000080001","CUP J89J21009750007"],"award-info":[{"award-number":["PE00000013","CUP:H24I17000080001","CUP J89J21009750007"]}],"id":[{"id":"10.13039\/501100009877","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BDCC"],"abstract":"<jats:p>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. We proposed a new benchmark, called EnviroStream, for evaluating SR systems on weather and environmental data. The benchmark includes queries and datasets of different sizes. We adopted I-DLV-sr, a recently released SR system based on Answer Set Programming, as a baseline for query modelling and experimentation. We also showcased continuous online reasoning via a web application.<\/jats:p>","DOI":"10.3390\/bdcc7030135","type":"journal-article","created":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T09:22:38Z","timestamp":1690795358000},"page":"135","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring"],"prefix":"10.3390","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0681-776X","authenticated-orcid":false,"given":"Elena","family":"Mastria","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, 87036 Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6632-3492","authenticated-orcid":false,"given":"Francesco","family":"Pacenza","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, 87036 Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6418-7711","authenticated-orcid":false,"given":"Jessica","family":"Zangari","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, 87036 Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0834","authenticated-orcid":false,"given":"Francesco","family":"Calimeri","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, 87036 Rende, Italy"},{"name":"DLVSystem Ltd., Via della Resistenza 19\/C, 87036 Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8036-5709","authenticated-orcid":false,"given":"Simona","family":"Perri","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, 87036 Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3090-7223","authenticated-orcid":false,"given":"Giorgio","family":"Terracina","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Calabria, 87036 Rende, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2023,7,31]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/DS-170006","article-title":"Stream reasoning: A survey and outlook","volume":"1","author":"Valle","year":"2017","journal-title":"Data Sci."},{"key":"ref_2","unstructured":"Mileo, A., Dao-Tran, M., Eiter, T., and Fink, M. (2018). Encyclopedia of Database Systems, Springer. [2nd ed.]."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1142\/S1793351X10000936","article-title":"C-SPARQL: A Continuous Query Language for RDF Data Streams","volume":"4","author":"Barbieri","year":"2010","journal-title":"Int. J. Semantic Comput."},{"key":"ref_4","first-page":"370","article-title":"A Native and Adaptive Approach for Unified Processing of Linked Streams and Linked Data","volume":"Volume 7031","author":"Phuoc","year":"2011","journal-title":"International Semantic Web Conference"},{"key":"ref_5","unstructured":"Hoeksema, J., and Kotoulas, S. (2011). Ordring Workshop at ISWC, Available online: http:\/\/iswc2011.semanticweb.org\/fileadmin\/iswc\/Papers\/Workshops\/OrdRing\/paper_8.pdf."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/978-3-030-20528-7_4","article-title":"C-ASP: Continuous ASP-Based Reasoning over RDF Streams","volume":"Volume 11481","author":"Pham","year":"2019","journal-title":"Logic Programming and Nonmonotonic Reasoning"},{"key":"ref_7","first-page":"406","article-title":"Stream Reasoning Playground","volume":"Volume 13261","author":"Schneider","year":"2022","journal-title":"Proceedings of the 19th European Semantic Web Conference"},{"key":"ref_8","first-page":"300","article-title":"Linked Stream Data Processing Engines: Facts and Figures","volume":"Volume 7650","author":"Phuoc","year":"2012","journal-title":"Proceedings of the 11th International Semantic Web Conference"},{"key":"ref_9","unstructured":"Nguyen, T.N., and Siberski, W. (2013, January 22). SLUBM: An Extended LUBM Benchmark for Stream Reasoning. Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013, Co-located with the 12th International Semantic Web Conference (ISWC 2013), Sydney, Australia."},{"key":"ref_10","first-page":"374","article-title":"CityBench: A Configurable Benchmark to Evaluate RSP Engines Using Smart City Datasets","volume":"Volume 9367","author":"Ali","year":"2015","journal-title":"International Semantic Web Conference"},{"key":"ref_11","unstructured":"Tommasini, R., Balduini, M., and Valle, E.D. (2017, January 28\u201329). Towards a Benchmark for Expressive Stream Reasoning. Proceedings of the 2nd RDF Stream Processing (RSP 2017) and the Querying the Web of Data (QuWeDa 2017) Workshops Co-Located with 14th ESWC 2017 (ESWC 2017), Portoroz, Slovenia."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Pitsikalis, M., Artikis, A., Dreo, R., Ray, C., Camossi, E., and Jousselme, A. (2019, January 24\u201328). Composite Event Recognition for Maritime Monitoring. Proceedings of the 13th ACM International Conference on Distributed and Event-Based Systems, Darmstadt, Germany.","DOI":"10.1145\/3328905.3329762"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"610","DOI":"10.1017\/S147106842100034X","article-title":"I-DLV-sr: A Stream Reasoning System based on I-DLV","volume":"21","author":"Calimeri","year":"2021","journal-title":"Theory Pract. Log. Program."},{"key":"ref_14","unstructured":"Huler, S. (2007). Defining the Wind: The Beaufort Scale and How a 19th-Century Admiral Turned Science into Poetry, Crown."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","article-title":"Classical Negation in Logic Programs and Disjunctive Databases","volume":"9","author":"Gelfond","year":"1991","journal-title":"New Gener. Comput."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/2043174.2043195","article-title":"Answer set programming at a glance","volume":"54","author":"Brewka","year":"2011","journal-title":"Commun. ACM"},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Lifschitz, V. (2019). Answer Set Programming, Springer.","DOI":"10.1007\/978-3-030-24658-7"},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Calimeri, F., Ianni, G., Pacenza, F., Perri, S., and Zangari, J. (2022, January 20\u201322). ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding. Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia.","DOI":"10.1145\/3551357.3551371"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1017\/S147106842000040X","article-title":"Incremental maintenance of overgrounded logic programs with tailored simplifications","volume":"20","author":"Ianni","year":"2020","journal-title":"Theory Pract. Log. Program."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"744","DOI":"10.1017\/S1471068417000370","article-title":"Ticker: A system for incremental ASP-based stream reasoning","volume":"17","author":"Beck","year":"2017","journal-title":"Theory Pract. Log. Program."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"974","DOI":"10.1017\/S1471068419000309","article-title":"A Distributed Approach to LARS Stream Reasoning (System paper)","volume":"19","author":"Eiter","year":"2019","journal-title":"Theory Pract. Log. Program."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1016\/j.artint.2018.04.003","article-title":"LARS: A Logic-based framework for Analytic Reasoning over Streams","volume":"261","author":"Beck","year":"2018","journal-title":"Artif. Intell."}],"container-title":["Big Data and Cognitive Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2504-2289\/7\/3\/135\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T20:23:02Z","timestamp":1760127782000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2504-2289\/7\/3\/135"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,31]]},"references-count":22,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2023,9]]}},"alternative-id":["bdcc7030135"],"URL":"https:\/\/doi.org\/10.3390\/bdcc7030135","relation":{},"ISSN":["2504-2289"],"issn-type":[{"type":"electronic","value":"2504-2289"}],"subject":[],"published":{"date-parts":[[2023,7,31]]}}}