Semantic Annotation for Process Models: - Department of Computer ...

9.1. VALIDATION DESIGN 145
– RE3.3 - Check the Artifacts in sub-Activities.
– RE3.4 - Check the Actor-roles in sub-Activities.
– RE3.5 - Check the goal annotations in sub-Activities.
– RE3.6 - Check the Precondition/Postcondition of Activities.
– RE3.7 - Check the information flow from Outputs to Inputs.
• RE4 - Knowledge discovery requirements. For the purpose of reusing and integrating
model fragments, acquire the implicit knowledge across different models
through reasoning on ontological relationships (related to G4). Such a requirement
can be decomposed into following sub-requirements by specifying the interests
of potential relationships between process properties of different models.
– RE4.1 - Find out semantic relationships between the Activities of different
process models.
– RE4.2 - Find out semantic relationships between the Artifacts of different
process models.
– RE4.3 - Find out semantic relationships between the Actor-roles of different
process models.
– RE4.4 - Find out goal relations between the Activities of different process
models.
– RE4.5 - Find out possible integration points among different process models.
9.1.2 SWRL rules and tool
SWRL is an acronym for Semantic Web Rule Language. As stated in [149]:
It is intended to be the rule language of the Semantic Web. SWRL is
based on a combination of the OWL DL and OWL Lite sub-languages of
the OWL Web Ontology Language. It allows users to write Horn-like rules
to reason about OWL individuals and to infer new knowledge about those
individuals. These rules are expressed in terms of OWL concepts. SWRL
is more expressive that OWL DL alone yet retains its formal semantics. It
does so, however, at the expense of decidability.
We use SWRL to formalize the application requirements for each annotation model – a
PSAM instance model in OWL. Running the SWRL rules shows the computational capability
of the annotation models, which is one of the benefits of the proposed approach.
Analyzing the rule-execution results helps check what knowledge can be derived from
the annotation results and how the results fulfill the application requirements.
SWRL
SWRL rules are of the form of an implication between an antecedent (body) and
consequent (head). The intended meaning can be read as: whenever the conditions
specified in the antecedent hold, then the conditions specified in the consequent must
also hold. SWRL rules are written in terms of OWL classes, properties and individuals.