Tsilionis, Efthimis
Incremental Event Calculus for Run-Time Reasoning
Tsilionis, Efthimis | Artikis, Alexander (Department of Maritime Studies, University of Piraeus, Greece Institute of Informatics & Telecommunications, NCSR “Demokritos”, Greece) | Paliouras, Georgios (Institute of Informatics & Telecommunications, NCSR “Demokritos”, Greece)
We present a system for online, incremental composite event recognition. In streaming environments, the usual case is for data to arrive with a (variable) delay from, and to be revised by, the underlying sources. We propose RTECinc, an incremental version of RTEC, a composite event recognition engine with formal, declarative semantics, that has been shown to scale to several real-world data streams. RTEC deals with delayed arrival and revision of events by computing all queries from scratch. This is often inefficient since it results in redundant computations. Instead, RTECinc deals with delays and revisions in a more efficient way, by updating only the affected queries. We examine RTECinc theoretically, presenting a complexity analysis, and show the conditions in which it outperforms RTEC. Moreover, we compare RTECinc and RTEC experimentally using real-world and synthetic datasets. The results are compatible with our theoretical analysis and show that RTECinc outperforms RTEC in many practical cases.
Online Event Recognition from Moving Vehicles: Application Paper
Tsilionis, Efthimis, Koutroumanis, Nikolaos, Nikitopoulos, Panagiotis, Doulkeridis, Christos, Artikis, Alexander
We present a system for online composite event recognition over streaming positions of commercial vehicles. Our system employs a data enrichment module, augmenting the mobility data with external information, such as weather data and proximity to points of interest. In addition, the composite event recognition module, based on a highly optimised logic programming implementation of the Event Calculus, consumes the enriched data and identifies activities that are beneficial in fleet management applications. We evaluate our system on large, real-world data from commercial vehicles, and illustrate its efficiency. Under consideration for acceptance in TPLP.