I’m assuming you’ve seen this? GitHub - aartikis/RTEC: RTEC is an Event Calculus implementation optimised for stream reasoning