A Rule-Based Language for Complex Event Processing and Reasoning
Maintaining knowledge about temporal intervals