RTEC is an Event Calculus implementation optimised for stream reasoning
aartikis
oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
Periklismant
RSP4J a library for RDF Stream Processing
streamreasoning