Spatio-terminological Inference for the Design of Ambient Environments

  • Mehul Bhatt
  • Frank Dylla
  • Joana Hois
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5756)


We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only the purely structural requirements, but also the functional requirements expected of a smart environment whilst keeping in mind the plethora of sensory and interactive devices embedded within such an environment. The approach, founded in spatio-terminological reasoning, is illustrated in the context of formal ontology modeling constructs and reasoners, industrial architecture data standards and state-of-the-art commercial design software.


Spatio-Terminological Reasoning Ontology Requirements Modeling Smart Environment Design Architecture 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Akin, Ö.: Architects’ reasoning with structures and functions. Environment and Planning B: Planning and Design 20(3), 273–294 (1993)CrossRefGoogle Scholar
  2. 2.
    Akin, Ö., Özkaya, I.: Models of design requirement. In: Proceedings of the 6th International Conference on Design and Decision Support Systems in Architecture and Urban Planning, Landgoed Avegoor Ellecom, The Netherlands (2002)Google Scholar
  3. 3.
    Augusto, J., Shapiro, D. (eds.): Advances in Ambient Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 164. IOS Press, Amsterdam (2007)Google Scholar
  4. 4.
    Augusto, J.C., Nugent, C.D. (eds.): Designing Smart Homes. LNCS, vol. 4008. Springer, Heidelberg (2006)Google Scholar
  5. 5.
    Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284(5), 34–43 (2001)CrossRefGoogle Scholar
  6. 6.
    Bhatt, M., Dylla, F.: A qualitative model of dynamic scene analysis and interpretation in ambient intelligence systems. International Journal of Robotics and Automation: Special Issue on Robotics for Ambient Intelligence (to appear, 2009)Google Scholar
  7. 7.
    Day, M.: The Move to BIM with ArchiCAD 12, 23, AEC Magazine (August 2008)Google Scholar
  8. 8.
    Eastman, C., Teicholz, P., Sacks, R., Liston, K.: BIM Handbook: A Guide to Building Information Modeling for Owners, Managers, Designers, Engineers and Contractors. In: Frontiers in Artificial Intelligence and Applications. Wiley, Chichester (2008)Google Scholar
  9. 9.
    Froese, T., Fischer, M., Grobler, F., Ritzenthaler, J., Yu, K., Sutherland, S., Staub, S., Akinci, B., Akbas, R., Koo, B., Barron, A., Kunz, J.: Industry foundation classes for project management - a trial implementation. ITCon 4, 17–36 (1999), Google Scholar
  10. 10.
    Grütter, R., Scharrenbach, T., Bauer-Messmer, B.: Improving an RCC-derived geospatial approximation by OWL axioms. In: Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 293–306. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  11. 11.
    Haarslev, V., Lutz, C., Möller, R.: Foundations of spatioterminological reasoning with description logics. In: Proceedings of Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 112–123. Morgan Kaufmann, San Francisco (1998)Google Scholar
  12. 12.
    Haarslev, V., Möller, R.: Description logic systems with concrete domains: Applications for the semantic web. In: Bry, F., Lutz, C., Sattler, U., Schoop, M. (eds.) Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16, 2003. CEUR Workshop Proceedings, vol. 79 (2003)Google Scholar
  13. 13.
    Haarslev, V., Möller, R., Wessel, M.: Querying the semantic web with Racer + nRQL. In: Proceedings of the KI 2004 International Workshop on Applications of Description Logics, ADL 2004 (2004)Google Scholar
  14. 14.
    Hall, K. (ed.): Green Building Bible: In Depth Technical Information and Data on the Strategies and the Systems Needed to Create Low Energy, Green Buildings, 4th edn., vol. 2. Green Building Press (2008)Google Scholar
  15. 15.
    Hois, J., Bhatt, M., Kutz, O.: Modular ontologies for architectural design. In: 4th Workshop on Formal Ontologies Meet Industry (2009)Google Scholar
  16. 16.
    Horridge, M., Patel-Schneider, P.F.: Manchester OWL syntax for OWL 1.1 (2008); OWL: Experiences and Directions (OWLED 2008 DC), Gaithersberg, MarylandGoogle Scholar
  17. 17.
    Horrocks, I., Kutz, O., Sattler, U.: The Even More Irresistible SROIQ. In: Knowledge Representation and Reasoning (KR). AAAI Press, Menlo Park (2006)Google Scholar
  18. 18.
    Kovacs, K., Dolbear, C., Goodwin, J.: Spatial concepts and OWL issues in a topographic ontology framework. In: Proc. of the GIS (2007)Google Scholar
  19. 19.
    Kutz, O., Lücke, D., Mossakowski, T.: Heterogeneously Structured Ontologies—Integration, Connection, and Refinement. In: Meyer, T., Orgun, M.A. (eds.) Advances in Ontologies. Proceedings of the Knowledge Representation Ontology Workshop (KROW 2008), pp. 41–50. ACS (2008)Google Scholar
  20. 20.
    Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: \(\mathcal{E}\)-Connections of Abstract Description Systems. Artificial Intelligence 156(1), 1–73 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Liebich, T., Adachi, Y., Forester, J., Hyvarinen, J., Karstila, K., Wix, J.: Industry Foundation Classes: IFC2x Edition 3 TC1. In: International Alliance for Interoperability (Model Support Group) (2006)Google Scholar
  22. 22.
    Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Ontologies library. WonderWeb Deliverable D18, ISTC-CNR (2003)Google Scholar
  23. 23.
    Motik, B., Patel-Schneider, P.F., Grau, B.C.: OWL 2 Web Ontology Language: Direct Semantics. Technical report, W3C (2008)Google Scholar
  24. 24.
    Philipose, M., Fishkin, K.P., Perkowitz, M., Patterson, D.J., Fox, D., Kautz, H., Hahnel, D.: Inferring activities from interactions with objects. IEEE Pervasive Computing 3(4), 50–57 (2004)CrossRefGoogle Scholar
  25. 25.
    Pike, W., Gahegan, M.: Beyond ontologies: Toward situated representations of scientific knowledge. International Journal of Human-Computer Studies 65(7), 659–673 (2007)CrossRefGoogle Scholar
  26. 26.
    Ramos, C., Augusto, J.C., Shapiro, D.: Ambient intelligence: The next step for artificial intelligence. IEEE Intelligent Systems 23(2), 15–18 (2008)CrossRefGoogle Scholar
  27. 27.
    Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning (KR 1992), pp. 165–176. Morgan Kaufmann, San Mateo (1992)Google Scholar
  28. 28.
    Staab, S., Studer, R. (eds.): Handbook on Ontologies. International Handbooks on Information Systems. Springer, Heidelberg (2004)zbMATHGoogle Scholar
  29. 29.
    Stahl, C., Haupert, J.: Taking location modelling to new levels: A map modelling toolkit for intelligent environments. In: Hazas, M., Krumm, J., Krumm, J. (eds.) LoCA 2006. LNCS, vol. 3987, pp. 74–85. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  30. 30.
    Streitz, N.A., Kameas, A.D., Mavrommati, I. (eds.): The Disappearing Computer. LNCS, vol. 4500. Springer, Heidelberg (2007)zbMATHGoogle Scholar
  31. 31.
    Uschold, M., Grüninger, M.: Ontologies: Principles, methods and applications. Knowledge Engineering Review 11, 93–155 (1996)CrossRefGoogle Scholar
  32. 32.
    Visser, U.: Intelligent Information Integration for the Semantic Web. LNCS, vol. 3159. Springer, Heidelberg (2004)Google Scholar
  33. 33.
    Youngblood, G.M., Cook, D.J.: Data mining for hierarchical model creation. IEEE Transactions on Systems, Man, and Cybernetics, Part C 37(4), 561–572 (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Mehul Bhatt
    • 1
  • Frank Dylla
    • 1
  • Joana Hois
    • 1
  1. 1.SFB/TR 8 Spatial CognitionUniversity of BremenGermany

Personalised recommendations