Reasoning on Semantically Annotated Processes · Study