Incremental Event Calculus for Run-Time Reasoning

We present a system for online, incremental composite event recognition. In streaming environments, the usual case is data to arrive with (variable) delay from, and be revised by, underlying sources. propose RTECinc, an version of RTEC, recognition engine formal, declarative semantics, that has been shown scale several real-world streams. RTEC deals delayed arrival revision events by computing all queries from scratch. This often inefficient since it results in redundant computations. Instead, RTECinc delays revisions more efficient way, updating only affected queries. examine theoretically, presenting complexity analysis, show conditions which outperforms RTEC. Moreover, we compare experimentally using synthetic datasets. The are compatible our theoretical analysis many practical cases.