SHIP - A Logic-Based Language and Tool to Program Smart Environments

  • Serge Autexier
  • Dieter HutterEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9527)


The increasing availability of smart objects demands for flexible mechanisms to orchestrate different types of these objects to smart environments. As smart objects are typically not aware of each other, an orchestrating platform has to manage common resources, to harmonize the individual behavior of the acting objects, and to combine their activities to an intelligent team work. This paper presents a corresponding framework to implement such an orchestrating platform. It provides a concurrent programming language representing states in Description Logics and state transitions as logical updates enabling deductive support to infer non-explicitly represented knowledge. It uses temporal logic to suspend execution of a process for a particular evolution of the global state that is specified by a LTL formula. Since a process can fork into subprocesses this provides a mechanism for runtime verification by splitting a process into a subprocess executing some critical program and another parallel subprocess monitoring the first one by waiting for the desired evolution of states specified in its LTL formula.


Description logic Programming paradigm Smart environments 


  1. 1.
    Autexier, S., Hutter, D.: Constructive DL update and reasoning for modeling and executing the orchestration of heterogenous processes. In: 26th International Workshop on Description Logics (DL 2013). CEUR, vol. 1014 (2013)Google Scholar
  2. 2.
    Autexier, S., Hutter, D., Stahl, C.: An implementation, execution and simulation platform for processes in heterogeneous smart environments. In: Augusto, J.C., Wichert, R., Collier, R., Keyson, D., Salah, A.A., Tan, A.-H. (eds.) AmI 2013. LNCS, vol. 8309, pp. 3–18. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  3. 3.
    Baader, F.: Ontology-based monitoring of dynamic systems. In: 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014). AAAI Press (2014)Google Scholar
  4. 4.
    Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: first results. In: 20th National Conference on Artificial Intelligence, AAAI 2005. AAAI Press (2005)Google Scholar
  5. 5.
    Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Ann. Math. Artif. Intell. 22, 5–27 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Bauer, A., Falcone, Y.: Decentralised LTL monitoring. Arxiv preprint arXiv:1111.5133 (2012)
  7. 7.
    Doherty, P., Kvarnström, J., Heintz, F.: A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems. Auton. Agents Multi-Agent Syst. 19(3), 332–377 (2009)CrossRefGoogle Scholar
  8. 8.
    Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Knowledge Representation, KR 2006. AAAI Press (2006)Google Scholar
  9. 9.
    Lamine, K.B., Kabanza, F.: History checking of temporal fuzzy logic formulas for monitoring behavioral-based mobile robots. In: IEEE International Conference on Tools with Artificial Intelligence (2000)Google Scholar
  10. 10.
    Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: a logic programming language for dynamic domains. The Journal of Logic Programming 31(1–3), 59–83 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Nakajima, T.: Case study of middleware infrastructure for ambient intelligence environments. In: Nakashima, H., Aghajan, H., Augusto, J.C. (eds.) Handbook of Ambient Intelligence and Smart Environments, pp. 229–256. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  12. 12.
    Pettersson, O.: Execution monitoring in robotics: a survey. Robot. Auton. Syst. 53, 73–88 (2005)CrossRefGoogle Scholar
  13. 13.
    Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: a practical owl-dl reasoner. J. Web Sem. 5(2), 51–53 (2007)CrossRefGoogle Scholar
  14. 14.
    Springer, T., Turhan, A.-Y.: Employing description logics in ambient intelligence for modeling and reasoning about complex situations. J. Ambient Intell. Smart Environ. 1(3), 235–259 (2009)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.German Research Center for Artificial Intelligence (DFKI)BremenGermany

Personalised recommendations