A Knowledge-based abstraction framework for trace comparison and semantic process mining