Back to top

Our paper “Incremental Event Calculus for Run-Time Reasoning” was accepted at DEBS 2019


Efthimis Tsilionis, Alexander Artikis and Georgios Paliouras


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 retracted/revised by the underlying sources. We propose RTECinc, an incremental version ofRTEC, a composite event recognition engine with a formal, declarative semantics, that has been shown to scale to several real-world data streams. RTEC deals with delayed arrival and retraction of events by computing at each query time composite event intervals from scratch. This often results to redundant computations. Instead,RTECinc deals with delays and retractions in a more efficient way, by updating only the affected events. We evaluate RTECinc theoretically, presenting a complexity analysis, and show the conditions in which it outperforms RTEC. Moreover, we compare RTECinc and RTEC experimentally using two real-world datasets. The result sare compatible with our theoretical analysis and show that RTECinc may outperform RTEC.

Incremental Event Calculus for Run-Time Reasoning