An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments

  • Serge Autexier
  • Dieter Hutter
  • Christoph Stahl
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8309)


Developing ambient intelligence for a smart home is a complex task. We present how to define intelligent system behavior through processes on an adequate level of abstraction with the SHIP-tool. Based on the representation of the environment in a formal logical description, communication with the environment is realized via updates of the logical description. Processes are built from basic actions to update the current logical descriptions and include means to monitor the evolution of the environment in a temporal logic formalism. The SHIP-tool implements the process language and serves both for simulation and execution. The paper describes two examples of assisting services in a real smart home living lab, one for light and door control in emergency situations, and one for the scheduling of two parallel wheelchair transports.


Description Logic Smart Home Ambient Intelligence Ambient Assisted Living Smart Environment 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Autexier, S., Hutter, D.: Constructive dl update and reasoning for modeling and executing the orchestration of heterogeneous processes. In: Krötzsch, M., Eiter, T. (eds.) Proceedings 2013 Intl. Workshop on Description Logics (DL 2013), Ulm, Germany, July 23-26. (2013)Google Scholar
  2. 2.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: theory, implementation, and applications. Cambridge University Press, New York (2003)Google Scholar
  3. 3.
    Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. ACM Transactions on Computational Logic (2012)Google Scholar
  4. 4.
    Baader, F., Lippmann, M., Liu, H.: Using causal relationships to deal with the ramification problem in action formalisms based on description logics. In: Fermüller, C.G., Voronkov, A. (eds.) LPAR-17. LNCS, vol. 6397, pp. 82–96. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  5. 5.
    Bauer, A., Falcone, Y.: Decentralised LTL monitoring. In: Giannakopoulou, D., Méry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 85–100. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  6. 6.
    Chang, L., Lin, F., Shi, Z.: A Dynamic Description Logic for Representation and Reasoning About Actions. In: Zhang, Z., Siekmann, J.H. (eds.) KSEM 2007. LNCS (LNAI), vol. 4798, pp. 115–127. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  7. 7.
    Chang, L., Shi, Z., Gu, T., Zhao, L.: A family of dynamic description logics for representing and reasoning about actions. J. Autom. Reasoning 49(1), 1–52 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Frey, J., Bergweiler, S., Alexandersson, J., Gholamsaghaee, E., Reithinger, N., Stahl, C.: Smartcase: A smart home environment in a suitcase. In: Intelligent Environments, pp. 378–381. IEEE (2011)Google Scholar
  9. 9.
    Laue, T., Stahl, C.: Modeling and simulating ambient assisted living environments – A case study. In: Augusto, J.C., Corchado, J.M., Novais, P., Analide, C. (eds.) ISAmI 2010. AISC, vol. 72, pp. 217–220. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  10. 10.
    Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic aboxes. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings of the 10th Int. Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, pp. 46–56. AAAI Press (2006)Google Scholar
  11. 11.
    Pnueli, A.: The temporal logic of programs. In: FOCS, pp. 46–57. IEEE Computer Society (1977)Google Scholar
  12. 12.
    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
  13. 13.
    Springer, T., Turhan, A.-Y.: Employing description logics in ambient intelligence for modeling and reasoning about complex situations. Journal of Ambient Intelligence and Smart Environments 1(3), 235–259 (2009)Google Scholar
  14. 14.
    Stahl, C., Frey, J., Alexandersson, J., Brandherm, B.: Synchronized realities. JAISE 3(1), 13–25 (2011)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2013

Authors and Affiliations

  • Serge Autexier
    • 1
  • Dieter Hutter
    • 1
  • Christoph Stahl
    • 1
  1. 1.German Research Center for Artificial Intelligence (DFKI)BremenGermany

Personalised recommendations