Policy Conflict Resolution in IoT via Planning

  • Emre GöynügürEmail author
  • Sara Bernardini
  • Geeth de Mel
  • Kartik Talamadupula
  • Murat Şensoy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10233)


With the explosion of connected devices to automate tasks, manually governing interactions among such devices—and associated services—has become an impossible task. This is because devices have their own obligations and prohibitions in context, and humans are not equipped to maintain a bird’s-eye-view of the environment. Motivated by this observation, in this paper, we present an ontology-based policy framework which can efficiently detect policy conflicts and automatically resolve such using an AI planner.


IoT Semantic web Policy Conflict resolution Planning 


  1. 1.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reason. 39(3), 385–429 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Fikes, R., Hayes, P., Horrocks, I.: OWL-QL: a language for deductive query answering on the semantic web. Web Semant.: Sci. Serv. Agents World Wide Web 2(1), 19–29 (2004)CrossRefGoogle Scholar
  3. 3.
    Fox, M., Long, D.: PDDL2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res. 20, 61–124 (2003)zbMATHGoogle Scholar
  4. 4.
    Goynugur, E., de Mel, G., Sensoy, M., Talamadupula, K., Calo, S.: A knowledge driven policy framework for internet of things. In: Proceedings of the 9th International Conference on Agents and Artificial Intelligence (2017)Google Scholar
  5. 5.
    Kagal, L., Finin, T., Joshi, A.: A policy language for a pervasive computing environment. In: IEEE 4th International Workshop on Policies for Distributed Systems and Networks, June 2003Google Scholar
  6. 6.
    Kortuem, G., Kawsar, F., Sundramoorthy, V., Fitton, D.: Smart objects as building blocks for the internet of things. IEEE Internet Comput. 14(1), 44–51 (2010)CrossRefGoogle Scholar
  7. 7.
    Lupu, E.C., Sloman, M.: Conflicts in policy-based distributed systems management. IEEE Trans. Softw. Eng. 25(6), 852–869 (1999)CrossRefGoogle Scholar
  8. 8.
    Quetzal-RDF: Quetzal (2016). Accessed 02 Oct 2016
  9. 9.
    Richter, S., Westphal, M.: The lama planner: guiding cost-based anytime planning with landmarks. J. Artif. Int. Res. 39(1), 127–177 (2010). zbMATHGoogle Scholar
  10. 10.
    Sensoy, M., Norman, T., Vasconcelos, W., Sycara, K.: OWL-POLAR: a framework for semantic policy representation and reasoning. Web Semant.: Sci. Serv. Agents World Wide Web 12, 148–160 (2012)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Emre Göynügür
    • 1
    Email author
  • Sara Bernardini
    • 2
  • Geeth de Mel
    • 3
  • Kartik Talamadupula
    • 3
  • Murat Şensoy
    • 1
  1. 1.Ozyegin UniversityIstanbulTurkey
  2. 2.Royal Holloway University of LondonLondonUK
  3. 3.IBM ResearchHampshireUK

Personalised recommendations