Knowledge-based trace abstraction for semantic process mining