Semantical Markov Logic Network for Distributed Reasoning in Cyber-Physical Systems

Algorithm 1

Algorithm for composition and processing of composite context.

Input: in

Output: out

 (1) if  executable  then

 (2)  

 (3) else

 (4)  

 (5)  goto step

 (6) end if

 (7) return out