RTEC: Run-Time Event Calculus

By Alexander Artikis

RTEC is an open-source Event Calculus dialect optimised for data stream reasoning. It is written in Prolog and has been tested under YAP and SWI Prolog.

GitHub repository: https://github.com/aartikis/RTEC

Features

• Interval-based.
• Sliding window reasoning.
• Interval manipulation constructs for non-inertial fluents.
• Caching for hierarchical knowledge bases.
• Support for out-of-order data streams.
• Indexing for handling efficiently irrelevant data.

Documentation

• Artikis A., Sergot M. and Paliouras G. An Event Calculus for Event Recognition. IEEE Transactions on Knowledge and Data Engineering (TKDE), 27(4):895-908, 2015.
• Pitsikalis M., Artikis A., Dreo R., Ray C., Camossi E., and Jousselme A., Composite Event Recognition for Maritime Monitoring. In 13th International Conference on Distributed and Event-Based Systems (DEBS), pp. 163–174, 2019.
• User manual of RTEC.

Applications

RTEC has been used for:

• Maritime monitoring.
• Activity recognition.
• Fleet management.
• City transport & traffic management.