Verifying Service Choreography Model Based on Description Logic

Algorithm 2

Construct .

Input: Deductive reasoning rules for service choreography model

Output: Deductive reasoning rules based on SWRL,

Begin

  Antecedent = , Consequent = , Clause = ;

 for all concepts and relations in prerequisite and conclusion,

 if  ,   has relation, , are individuals of , , then

  Clause = ;

 else if   has a attribute (type is ), then

    Clause = ;

 end for;

for all clauses cl do

   if relation between cl is “and” in prerequisite then

  Antecedent = ;

   else if relation between cl is “or” in prerequisite then

  Antecedent = ;

   else if relation between cl is “and” in conclusion then

  Consequent = ;

   else if relation between cl is “or” in conclusion then

  Consequent = ;

   end if;

end for;

   = Antecedent Consequent;

return  ;

end