Minimality and Simplicity of Rules for the Internet-of-Things

  • Athanasios Panaretos
  • David Corsar
  • Wamberto W. VasconcelosEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11327)


Rule-based systems have been increasing in popularity in recent years. They allow for easier handling of both simple and complicated problems utilising a set of rules created in various ways (e.g., manually, or (semi-) automatically, via, say, machine learning or decision trees) depending on the situation. Despite their usefulness however, there are still improvements to be made. Knowledge representation technologies have been available for a long time and provide the means to represent domains formally and correlate entities in those domains. They also allow for ontological reasoning that can take advantage of such connections between entities. These techniques can be useful when applied on rule-based systems in order to improve the quality of rules and, hence, overall system performance. We describe and implement an approach to refine rules used in Internet-of-Things scenarios using knowledge representation and reasoning. The proposed solution uses ontological reasoning on the preconditions and postconditions of rules as it aims to reduce the total amount of rules in a system and simplify them.


Rule-based systems Internet-of-Things Knowledge representation Ontological reasoning 


  1. 1.
    Beckel, C., Kleiminger, W., Cicchetti, R., Staake, T., Santini, S.: The eco data set and the performance of non-intrusive load monitoring algorithms. In: Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings (2014)Google Scholar
  2. 2.
    Durkheim, E., Simpson, G.: Emile Durkheim on the Division of Labor in Society/Being a Translation of His De La Division Du Travail Social, with an Estimate of His Work by George Simpson. Macmillan, London (1933)Google Scholar
  3. 3.
    Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing. Int. J. Hum. Comput. Stud. - Special Issue: The Role of Formal Ontology in the Information Technology 43(5–6), 907–928 (1995)CrossRefGoogle Scholar
  4. 4.
    Gubbia, J., Buyyab, R., Marusic, S., Palaniswami, M.: Internet of Things (IoT): a vision, architectural elements, and future directions. FGCS 29(7), 1645–1660 (2013)CrossRefGoogle Scholar
  5. 5.
    Kleiminger, W., Beckel, C., Santini, S.: Household occupancy monitoring using electricity meters. In: Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing (2015)Google Scholar
  6. 6.
    Morales, J., López-Sánchez, M., Rordriguez-Aguilar, J.A., Vasconcelos, W., Wooldridge, M.: Online automated synthesis of compact normative systems. ACM Trans. Autonom. Adapt. Syst. 10(1), Article 2 (2015)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Department of Computing ScienceUniversity of AberdeenAberdeenUK
  2. 2.School of Computing Science and Digital MediaRobert Gordon UniversityAberdeenUK

Personalised recommendations