| Title |
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities |
| ID_Doc |
41285 |
| Authors |
Calimeri, F; Mastria, E; Perri, S; Zangari, J |
| Title |
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities |
| Year |
2022 |
| Published |
|
| DOI |
10.1007/978-3-031-21541-4_3 |
| Abstract |
I-DLV-sr is a recently proposed logic-based system for reasoning over data streams, which relies on a framework enabling a tight, fine-tuned interaction between Apache Flink and the ASP system I-2-DLV. Flink enables distributed stream processing, whereas I2-DLV acts as full-fledged reasoner capable of transparently performing incremental evaluations. In this paper, we present a new and optimized version of I-DLV-sr that features an improved management of parallel computations and communications between Flink and I-2-DLV, along with new linguistic extensions aiming at allowing its effective application in smart city scenarios. |
| Author Keywords |
Stream reasoning; Stream processing; Knowledge representation and reasoning; Answer set programming; Smart city; Applications |
| Index Keywords |
Index Keywords |
| Document Type |
Other |
| Open Access |
Open Access |
| Source |
Conference Proceedings Citation Index - Science (CPCI-S) |
| EID |
WOS:000917073300003 |
| WoS Category |
Computer Science, Artificial Intelligence; Computer Science, Software Engineering; Computer Science, Theory & Methods |
| Research Area |
Computer Science |
| PDF |
|