Computer representation of building codes for automated compliance checking

The model is evaluated with a case study. The Ä°zmir Municipality Housing and Zoning Code is chosen as it is representative of complex building codes that are in effect throughout Turkey. The formalizable rules in the section of Izmir code that apply to all types of buildings, are represented in computer implementable format based on the new model. The research presented in this paper shows that decomposing a building code into four levels and modeling rules based on the semantic-oriented paradigm is an effective modeling strategy for representing building codes in a computable form.