What is Semantic Verification

This chapter presents an ontology-driven approach that aims at supporting semantic verification of semi-formal process models. The ontology-driven approach suggested consists of two steps. The first step is the development of a model for ontology-based representation of process models. This representation allows enriching process models by annotating them with semantics specified in a formal ontology. In the second step, the authors use this model to support an ontology-based semantic verification possible with this representation and in conjunction with machine reasoning. To implement the approach, the authors use the standardized Web Ontology Language (OWL) and the SPARQL query language. They demonstrate the approach using real-life administrative process models taken from a capital city.