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

Figure 3

Smart home context model for CPSs.