RTEC: Run-Time Event Calculus
RTEC is an open-source Event Calculus dialect optimised for stream reasoning. It is written in Prolog and has been tested under YAP 6.2.
License
RTEC comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions; see the GNU Lesser General Public License v3 for more details.
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.
File Description
To run RTEC you need the files in the /src directory.
The /examples directory is optional and includes patterns and sample datasets for experimentation.
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.
- User manual of RTEC.
Applications
RTEC has been used for:
- Maritime monitoring.
- Activity recognition.
- Fleet management.
- City transport & traffic management.