An Approach for Composing Services Based on Environment Ontology

Box 1

Rule  1: (|inters|>1) ∧ (type(inters)=val) ∧  ∀inter((inter∈inters)→(R(inter)=ent ∨ S(inter)=ent)) ∧ (|con(inters)|=1) ∧  ∃inter

((inter∈inters) ∧ R(inter)=ent) => constrain(inters,inter) ∧ (R(inter)=ent).

Rule  2: (|inters|>1) ∧ (type(inters)=msg) ∧  ∀inter((inter∈inters)→(R(inter)=ent ∨ S(inter)=ent) ∧ (type(ent)=C)) => constrain

(inters,ent).

Rule  3: (|inters|>1) ∧ (type(inters)=msg) ∧  ∀inter((inter∈inters)→(R(inter)=ent ∨ S(inter)=ent) ∧ (type(Ent)=A)) => constrain

(inters, Ent).

Rule  4: (|inters|>1) ∧ (type(inters)=msg) ∧  ∀inter((inter∈inters)→(R(inter)=ent ∨ S(inter)=ent)) ∧ (type(ent)=S)) ∧ (|con(inters)|

=1) ∧  ∃inter((inter∈inters) ∧ R(inter)=ent) => constrain(inters, inter) ∧ (R(inter)=ent).