A Query-Driven Approach for Checking the Semantic Correctness of Ontology-Based Process Representations. - Michael Fellmann; Oliver Thomas 001; Bastian Busch (BIS, 2011)