DS-EPL: domain-specific event processing language
Foundations of Description Logics