Modeling and Monitoring Processes Exploiting Semantic Reasoning