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

Figure 5

Logic flow of the semantic reasoner of Figure 2.