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

Table 1

Event specification for home and engine domains.

Domain	Value range	Inferred knowledge	Event
Home	Less than 21°C	Low temperature	Increase temperature
	21°C–27°C	Normal temperature	No event
	Greater than 27°C	High temperature	Reduce temperature
Engine	180°C–205°C	Normal temperature	Normal operation
	Greater than 205°C	Overheat	Switch off engine