Towards spatial reasoning on building information models

eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the European Conference on Product and Process Modelling 2010

Volumn , Issue , 2010, Pages 61-67

  Borrmann, André ^a   Beetz, Jakob ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL DESIGN; BUILDING CODES; INFORMATION THEORY; PROCESS ENGINEERING; SEMANTICS;

BUILDING INFORMATION MODEL - BIM; BUILDING REGULATIONS; CONCEPTUAL STUDY; IMPLEMENTATION APPROACH; SPATIAL CALCULI; SPATIAL CONSTRAINTS; SPATIAL REASONING; SPATIAL SEMANTICS;

STRUCTURAL DESIGN;

EID: 84861043192     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1201/b10527-13     Document Type: Conference Paper

References (21)

1. Allen, J.F. (1983): Maintaining knowledge about temporal intervals. Communications of the ACM, pp. 832-843.
2. Balbiani, P., Condotta, J.-F., Farinas del Cerro, L. (1999). A new tractable subclass of the rectangle algebra. In: Proc. of the 16th Int. Joint Conference on Artificial Intelligence (IJCAI-99).
3. Borrmann, A., Hyvarinen, J., Rank, E. (2009): Spatial constraints in collaborative design processes. In: Proc. of the Int. Conf. on Intelligent Computing in Engineering (ICE'09). Berlin, Germany, 2009.
4. Borrmann, A., Rank, E. (2010): Query Support for BIMs using Semantic and Spatial Conditions. In: Underwood, J. and Isikdag, U. (Eds): Handbook of Research on Building Information Modelling and Construction Informatics: Concepts and Technologies, IGI Global.
5. Beetz, J., de Vries, B., van Leeuwen, J. (2009): IfcOWL: A case of transforming EXPRESS schemas into ontologies. Artificial Intelligence for Engineering Design, Analysis and Manufacturing (2009), 23, pp. 89-101.
6. Bhatt, M., Dylla, F., Hois, J. (2009): Spatio-terminological inference for the design of ambient environments. In: Hornsby, K.S. (ed.) 9th International Conference on Spatial Information Theory, LNCS 5756, Springer Verlag.
7. Ding, L., Drogemuller, R., Rosenman, M., Marchant, D., Gero, J. (2006): Automating code checking for building designs-Designcheck. Proc. of the CRC CI International Conference.
8. Eastman, C. (2009): Automated assessment of early con cept designs. Architectural Design 79 (2), pp. 52-57.
9. Egenhofer, M.J. (1991): Reasoning about binary topo logical relations. In: Proc. of the 2nd Int. Symp. on Advances in Spatial Databases (SSD'91), pp. 143-160.
10. Frank, A.U. (1992): Qualitative spatial reasoning about distances and directions in Geographic space. Journal of Visual Languages and Computing, 3:343-371.
11. Freksa, C. (1992): Using orientation information for qualitative spatial reasoning. In: Frank, A.U., Campari, I., Formentini, U. (eds.) Theories and methods of spatiotemporal reasoning in geographic space, pp. 162-178. Springer, Heidelberg.
12. Goyal, R.K., Egenhofer, M.J. (1997): The directionrelation matrix: A representation of direction relations for extended spatial objects. UCGIS Annual Assembly and Summer Retreat, Bar Harbor, ME.
13. Gruber, T.R. (1993): A Translation Approach to Portable Ontology Specifications. In Gaines B.R. & Boose, J.H. Konowledge Aquisistion, Volume 5. Special issue: Current issues in knowledeg modelling, pp. 199-220.
14. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F. (2003): From SHIQ and RDF to OWL: the making of a Web Ontology Language. Web Semantics: Science, Services and Agents on the World Wide Web 1(1), pp. 7-26. (Pubitemid 44914724)
15. Kim, H., Grobler, F. (2009): Design coordination in Building Information Modelling using ontological consistency checking. Proc. of the ASCE International Workshop on Computing in Civil Engineering.
16. Li, S. (2007). Combining topological and directional information for spatial reasoning. Proc. of the 20th Int. Joint Conf. on Artifical Intelligence.
17. Nisbet, N., Wix, J., Conover, D. (2009): The Future of Virtual Construction and Regulation Checking. In Brandon, P. & Kocaturk, T. (ed.) Virtual Futures for Design, Construction and Procurement, Blackwell Publishing Ltd, 2008: pp. 241-250.
18. Randell, D.A., Cui, Z., Cohn, A.G. (1992): A spatial logic based on regions and connection. In: Proc. of the 3rd Int. Conference on Knowledge Representation and Reasoning.
19. Sun, H., Li, W. (2005): Combining Topological and Cardinal Directional Relation Information in Qualitative Spatial Reasoning. Proc. of the Int. Conf. on Adaptive and Natural Computing Algorithms.
20. Wallgrun, J.U., Frommberger, L., Wolter, D., Dylla, F., Freksa, C. (2007): A toolbox for qualitative spatial representation and reasoning. In: T. Barkowsky, M. Knauff, G. Ligozat, & D. Montello (Eds.), Spatial Cognition V: Reasoning, Action, Interaction: International Conference Spatial Cognition 2006. Lecture Notes in Computer Science, Vol. 4387, pp. 39-58. Springer-Verlag Berlin Heidelberg.
21. Zhang, X., Liu, W., Li, S., Ying, M.: Reasoning with Cardinal Directions: An Efficient Algorithm. AAAI 2008: pp. 387-392.