An approach to transformation of data into knowledge for power control in smart homes

Internet of things (IoT) encompasses information and networking technologies which allow connected devices gathering data from their environment to exchange information with network applications. The increased number of diverse devices and the variety of multimodal data make interoperability a challenging task. Synthesis of semantic information from raw IoT data enables sharing of common data models between different applications. The paper presents an approach to modelling semantic annotation for power control in smart homes and then converting it to knowledge. The approach includes context aware models as well as a knowledge base describing behaviour of an autonomous agent. The context aware models representing remote device management are formalised and verified using the concept of bisimulation. Temporal logic is used for specifying the agent behaviour and reasoning about power control of home appliances.