The paper presents a conceptual study on the application of spatial reasoning on building information models. In many cases, building regulations and client demands imply constraints on the building design with inherent spatial semantics. If we are able to represent these spatial constraints in a computer-interpretable way, the building design can be checked for fulfilling them. In this context, spatial reasoning technology can be applied in two different ways. First, we can check the consistency of the spatial constraints in effect, i.e. find out whether there are contradictions between them. Second, we can check whether a concrete building design is compliant with these constraints. The paper gives a detailed overview on the currently available spatial calculi and introduces two possible implementation approaches.     «

The paper presents a conceptual study on the application of spatial reasoning on building information models. In many cases, building regulations and client demands imply constraints on the building design with inherent spatial semantics. If we are able to represent these spatial constraints in a computer-interpretable way, the building design can be checked for fulfilling them. In this context, spatial reasoning technology can be applied in two different ways. First, we can check the consistenc...     »