Handling uncertainty in semantic-knowledge based execution monitoring