IAD Index of Academic Documents
  • Home Page
  • About
    • About Izmir Academy Association
    • About IAD Index
    • IAD Team
    • IAD Logos and Links
    • Policies
    • Contact
  • Submit A Journal
  • Submit A Conference
  • Submit Paper/Book
    • Submit a Preprint
    • Submit a Book
  • Contact
  • Firat University Journal of Experimental and Computational Engineering
  • Cilt: 4 Sayı: 2
  • A Building Information Modeling Based Automated Rule-Checking Application for Zoning Regulation Comp...

A Building Information Modeling Based Automated Rule-Checking Application for Zoning Regulation Compliance: The Case of Turkiye

Authors : Cengiz Yılmaz, Hüseyin Atilla Dikbaş
Pages : 424-445
Doi:10.62520/fujece.1691523
View : 43 | Download : 17
Publication Date : 2025-06-26
Article Type : Research Paper
Abstract :The aim of this study is to develop an automated rule-checking application that enables the rapid, transparent, and efficient verification of building design data, created through Building Information Modeling (BIM), in compliance with zoning regulations during the design and approval phases of construction projects in Turkiye. In this context, rules expressed in regulatory texts were transformed into a format adaptable to software using propositional logic, and decision structures were created. Distinctive parameters based on the rules to be checked were assigned to the BIM environment. Model data were exported in the shareable Industry Foundation Classes (IFC) format, and a Python-based software was developed to test the automated rule-checking method on four different sample projects, generating result reports. The findings show that regulatory provisions can be converted into logical structures and compared with Industry Foundation Classes data, making it possible to digitally assess a project’s compliance with regulations. This approach could contribute to enabling public authorities to implement a more effective and transparent control mechanism in the design and approval processes. The originality of the study lies in the successful application of classical propositional logic—despite its lack of complex logical operators—to complex regulatory rules. Moreover, the set of validated propositions not only defines the outcome of the rule check but also provides comprehensive contextual information related to the rule, allowing for a more in-depth evaluation of the results.
Keywords : Otomatik kural kontrolü, Yapı bilgi modellemesi, Mantık tabanlı kural yorumlama, Model tabanlı kural denetimi, İmar mevzuatına uygunluk

ORIGINAL ARTICLE URL

* There may have been changes in the journal, article,conference, book, preprint etc. informations. Therefore, it would be appropriate to follow the information on the official page of the source. The information here is shared for informational purposes. IAD is not responsible for incorrect or missing information.


Index of Academic Documents
İzmir Academy Association
CopyRight © 2023-2026