Efficient Temporal Datalog Materialisation for Composite Event Recognition

ArXi:2605.02488v1 Announce Type: new Several applications demand the timely detection of critical situations, such as threats to safety and transparency, over high-velocity streams of symbolic events. This demand has motivated the development of (i) event specification languages, which define composite events via temporal patterns over simpler events, and (ii) stream reasoning frameworks, evaluating patterns expressed in these languages.