High-level inter-rule relationships representation of rule-based automated compliance checking systems

Jiahao GAO, Hehua ZHANG

Journal of Tsinghua University(Science and Technology) ›› 2025, Vol. 65 ›› Issue (11) : 2269-2283.

PDF(7508 KB)
PDF(7508 KB)
Journal of Tsinghua University(Science and Technology) ›› 2025, Vol. 65 ›› Issue (11) : 2269-2283. DOI: 10.16511/j.cnki.qhdxxb.2025.21.023

High-level inter-rule relationships representation of rule-based automated compliance checking systems

Author information +
History +

Abstract

Objective: With advancements in computer science and software engineering technologies, including artificial intelligence, domain-specific languages, and knowledge graphs, automated compliance checking tools are emerging. In the construction field, for example, research and practical applications in automated compliance checking for building information modeling (BIM) and architectural 2D drawings are thriving. A core step in conducting automated compliance checking with computers is the logical representation of articles written in natural language, transforming them into a format that computers can process. While extensive research has been conducted in this field and many widely used standards and paradigms have been developed, the handling of high-level inter-rule relationships remains largely unexplored. This study aims to propose a computer-representable method for high-level inter-rule relationships, enabling automated compliance checking systems to process such relationships automatically. Methods: To achieve the computer-representable formalization of these relationships, based on the summary and organization of actual building codes, this study introduces a paradigm within the context of rule-based automated compliance checking in the construction field. The paradigm includes three patterns: "compliance cascade", "non-compliance cascade", and "non-applicability cascade". The compliance cascade pattern represents "if rule A is compliant, then rule B will not be checked". Similarly, the non-compliance cascade pattern represents "if rule A is non-compliant, then rule B will not be checked", and the non-applicability cascade pattern indicates that "if rule A is not applicable, then rule B will not be checked". In each cascade pattern, corresponding indicators are used to designate the target rules. Among the rules in rule-based automated compliance checking systems, those expressed in the form of "if...then..." indicate that "rule A is not applicable" when the semantic model does not satisfy the "if" condition of rule A. This study also designs a corresponding execution engine for the paradigm using BIMChecker and structured natural language (SNL), enabling computers to process high-level inter-rule relationships automatically. The engine design adheres to the open-closed principle and single responsibility principle—two fundamental design principles—to ensure optimal extensibility. Results: To verify the paradigm's effectiveness and applicability, an experiment on representing high-level inter-rule relationships in actual codes using the proposed approach has been conducted. In addition, application experiments were carried out on 15 representative real-world projects via the Tsinghua "Tuzhi" platform. The results indicate that the paradigm exhibits strong validity and applicability across all 15 projects. Furthermore, the "Tuzhi" system is used to showcase the execution effects of high-level inter-rule relationships through a practical case study. Conclusions: This study proposes a representation method for high-level inter-rule relationships within rule-based automated compliance checking systems. Using three distinct patterns—"compliance cascade", "non-compliance cascade", and "non-applicability cascade"—it establishes a computer- interpretable framework for representing these relationships. By integrating an appropriate execution engine, this approach enhances rule-based automated compliance checking systems to generate check reports that closely align with human expert reasoning. Furthermore, the experiments in this study validate the effectiveness of the proposed patterns.

Key words

automated compliance checking / code modeling / semantic modeling / standard digitalization / building code checking

Cite this article

Download Citations
Jiahao GAO , Hehua ZHANG. High-level inter-rule relationships representation of rule-based automated compliance checking systems[J]. Journal of Tsinghua University(Science and Technology). 2025, 65(11): 2269-2283 https://doi.org/10.16511/j.cnki.qhdxxb.2025.21.023

References

1
马一飞, 吴海洋, 赵利宏, 等. 基于BIM的消防设计自动审查关键技术研究进展[J]. 土木建筑工程信息技术, 2022, 14 (3): 131- 142.
MA Y F , WU H Y , ZHAO L H , et al. Research progress on key technologies of automatic fire protection design review based on BIM[J]. Journal of Information Technology in Civil Engineering and Architecture, 2022, 14 (3): 131- 142.
2
宋岩, 李智, 高歌, 等. 基于BIM的设计成果自动审查的实现方法研究[J]. 土木建筑工程信息技术, 2023, 15 (4): 84- 88.
SONG Y , LI Z , GAO G , et al. Development and practice of design results automatic check system for based on BIM[J]. Journal of Information Technology in Civil Engineering and Architecture, 2023, 15 (4): 84- 88.
3
周逸苇, 王广斌, 曹冬平. 基于BIM的自动合规性审查研究综述[J]. 土木工程学报, 2024, 57 (4): 102- 110.
ZHOU Y W , WANG G B , CAO D P . A review on BIM-based automated compliance checking[J]. China Civil Engineering Journal, 2024, 57 (4): 102- 110.
4
EASTMAN C , TEICHOLZ P , SACKS R , et al. BIM handbook: A guide to building information modeling for owners, managers, designers, engineers and contractors[M]. Hoboken: John Wiley & Sons, 2008.
5
PAUWELS P, ZHANG S J. Semantic rule-checking for regulation compliance checking: An overview of strategies and approaches[C]//Proceedings of the 32nd CIB W78 international conference. Eindhoven, The Netherlands: Eindhoven University of Technology, 2015: 619-628.
6
高铭, 张荷花, 张庭瑞, 等. 基于深度学习的公共建筑像素施工图空间识别[J]. 图学学报, 2022, 43 (2): 189- 196.
GAO M , ZHANG H H , ZHANG T R , et al. Deep learning based pixel-level public architectural floor plan space recognition[J]. Journal of Graphics, 2022, 43 (2): 189- 196.
7
王鑫, 邹磊, 王朝坤, 等. 知识图谱数据管理研究综述[J]. 软件学报, 2019, 30 (7): 2139- 2174.
WANG X , ZOU L , WANG C K , et al. Research on knowledge graph data management: A survey[J]. Journal of Software, 2019, 30 (7): 2139- 2174.
8
官赛萍, 靳小龙, 贾岩涛, 等. 面向知识图谱的知识推理研究进展[J]. 软件学报, 2018, 29 (10): 2966- 2994.
GUAN S P , JIN X L , JIA Y T , et al. Knowledge reasoning over knowledge graph: A survey[J]. Journal of Software, 2018, 29 (10): 2966- 2994.
9
EASTMAN C , LEE J M , JEONG Y S , et al. Automatic rule-based checking of building designs[J]. Automation in Construction, 2009, 18 (8): 1011- 1033.
10
ZHONG B T , DING L Y , LUO H B , et al. Ontology-based semantic modeling of regulation constraint for automated construction quality compliance checking[J]. Automation in Construction, 2012, 28, 58- 70.
11
ZHOU P , EL-GOHARY N . Ontology-based automated information extraction from building energy conservation codes[J]. Automation in Construction, 2017, 74, 103- 117.
12
WU L T , LIN J R , LENG S , et al. Rule-based information extraction for mechanical-electrical-plumbing-specific semantic web[J]. Automation in Construction, 2022, 135, 104108.
13
ZHANG R C , EL-GOHARY N . A deep neural network-based method for deep information extraction using transfer learning strategies to support automated compliance checking[J]. Automation in Construction, 2021, 132, 103834.
14
LI F L , SONG Y B , SHAN Y W . Joint extraction of multiple relations and entities from building code clauses[J]. Applied Sciences, 2020, 10 (20): 7103.
15
İLAL S M , GÜNAYDIN H M . Computer representation of building codes for automated compliance checking[J]. Automation in construction, 2017, 82, 43- 58.
16
ROSENMAN M A , GERO J S . Design codes as expert systems[J]. Computer-aided Design, 1985, 17 (9): 399- 409.
17
ZHANG H H, ZHAO W Q, GU J Q, et al. Semantic web based rule checking of real-world scale BIM models: A pragmatic method[C]//Proceedings of the International Congress and Conferences on Computational Design and Engineering 2019. Penang, Malaysia: i3CDE, 2019: 130-137.
18
GU J Q, ZHANG H H, GU M. Automatic integrity checking of IFC models relative to building regulations[C]//Proceedings of the International Conference on Internet Multimedia Computing and Service. Xi'an, China: ACM, 2016: 52-56.
19
国家市场监督管理总局, 中国国家标准化管理委员会. 面向工程领域的共享信息模型第1部分: 领域信息模型框架: GB/T 36456.1-2018[S]. 北京: 中国标准出版社, 2018.
State Administration for Market Regulation, Standardization Administration of the People's Republic of China. Engineering domain oriented shared information model-part 1: Domain information model framework: GB/T 36456.1-2018[S]. Beijing: Standards Press of China, 2018. (in Chinese)
20
国家市场监督管理总局, 中国国家标准化管理委员会. 面向工程领域的共享信息模型第2部分: 领域信息服务接口: GB/T 36456.2-2018[S]. 北京: 中国标准出版社, 2018.
State Administration for Market Regulation, Standardization Administration of the People's Republic of China. Engineering domain oriented shared information model-part 2: Domain information service interface: GB/T 36456.2-2018[S]. Beijing: Standards Press of China, 2018. (in Chinese)
21
国家市场监督管理总局, 中国国家标准化管理委员会. 面向工程领域的共享信息模型第3部分: 测试方法: GB/T 36456.3-2018[S]. 北京: 中国标准出版社, 2018.
State Administration for Market Regulation, Standardization Administration of the People's Republic of China. Engineering domain oriented shared information model-part 3: Testing methodology: GB/T 36456.3-2018[S]. Beijing: Standards Press of China, 2018. (in Chinese)
22
中华人民共和国住房和城乡建设部. 建筑防火通用规范: GB 55037-2022[S]. 北京: 中国计划出版社, 2023.
Ministry of Housing and Urban-Rural Development of the People's Republic of China. General code for fire protection of buildings and constructions: GB 55037-2022[S]. Beijing: China Planning Press, 2023. (in Chinese)
23
中华人民共和国住房和城乡建设部. 消防设施通用规范: GB 55036-2022[S]. 北京: 中国计划出版社, 2022.
Ministry of Housing and Urban-Rural Development of the People's Republic of China. General code for fire protection facilities: GB55036-2022[S]. Beijing: China Planning Press, 2022. (in Chinese)
24
中华人民共和国住房和城乡建设部. 建筑设计防火规范: GB 50016-2014[S]. 北京: 中国计划出版社, 2015.
Ministry of Housing and Urban-Rural Development of the People's Republic of China. Code for fire protection design of buildings: GB50016-2014[S]. Beijing: China Planning Press, 2015. (in Chinese)
25
中华人民共和国住房和城乡建设部. 消防应急照明和疏散指示系统技术标准: GB 51309-2018[S]. 北京: 中国计划出版社, 2019.
Ministry of Housing and Urban-Rural Development of the People's Republic of China. Technical standard for fire emergency lighting and evacuate indicating system: GB51309-2018[S]. Beijing: China Planning Press, 2019. (in Chinese)
26
林佳瑞, 郭建锋. 基于BIM的合规性自动审查[J]. 清华大学学报(自然科学版), 2020, 60 (10): 873- 879.
LIN J R , GUO J F . BIM-based automatic compliance checking[J]. Journal of Tsinghua University (Science and Technology), 2020, 60 (10): 873- 879.
27
SOLIBRI INC. Solibri model checker[EB/OL]. (2018-04)[2025-01-20]. https://solibri-assets.s3.amazonaws.com/old-site/2018/04/Getting-Started-9.8.pdf.
28
吴松飞, 邓逸川, 申琪玉, 等. BIM支持的施工安全规范合规检查研究综述[J]. 图学学报, 2018, 39 (6): 1156- 1164.
WU S F , DENG Y C , SHEN Q Y , et al. A review on research and applications of BIM-based construction safety compliance checking[J]. Journal of Graphics, 2018, 39 (6): 1156- 1164.
29
YANG M S , ZHAO Q , ZHU L , et al. Semi-automatic representation of design code based on knowledge graph for automated compliance checking[J]. Computers in Industry, 2023, 150, 103945.
30
NUYTS E , BONDUEL M , VERSTRAETEN R . Comparative analysis of approaches for automated compliance checking of construction data[J]. Advanced Engineering Informatics, 2024, 60, 102443.
31
FENVES S J . Tabular decision logic for structural design[J]. Journal of the Structural Division, 1966, 92 (6): 473- 490.
32
ZHANG Z J, MA L, BROYD T. Towards fully-automated code compliance checking of building regulations: Challenges for rule interpretation and representation[C]//Proceedings of the 2022 European Conference on Computing in Construction. Rhodes, Greece: EC3, 2022: 154-161.
33
TAN X Y , HAMMAD A , FAZIO P . Automated code compliance checking for building envelope design[J]. Journal of Computing in Civil Engineering, 2010, 24 (2): 203- 211.
34
HJELSETH E, NISBET N. Exploring semantic based model checking[C]//Proceedings of the CIB W78 2010: 27th international conference. Cairo, Egypt: Fraunhofer IRB, 2010: 341-351.
35
MA Z L , ZHU H G , XIANG X L , et al. Automatic compliance checking of BIM models against quality standards based on ontology technology[J]. Automation in Construction, 2024, 166, 105656.
36
JIANG L , SHI J Y , WANG C Y . Multi-ontology fusion and rule development to facilitate automated code compliance checking using BIM and rule-based reasoning[J]. Advanced Engineering Informatics, 2022, 51, 101449.
37
PAUWELS P , VAN DEURSEN D , VERSTRAETEN R , et al. A semantic rule checking environment for building performance checking[J]. Automation in Construction, 2011, 20 (5): 506- 518.
38
LEE J K , EASTMAN C M , LEE Y C . Implementation of a BIM domain-specific language for the building environment rule and analysis[J]. Journal of Intelligent & Robotic Systems, 2015, 79, 507- 522.
39
PREIDEL C, BORRMANN A. Automated code compliance checking based on a visual language and building information modeling[C]//2015 Proceedings of the 32nd ISARC. Oulu, Finland: IAARC, 2015: 1-8.
40
KIM H , LEE J K , SHIN J , et al. Visual language approach to representing KBimCode-based Korea building code sentences for automated rule checking[J]. Journal of Computational Design and Engineering, 2019, 6 (2): 143- 148.
41
SOLIHIN W , EASTMAN C . A knowledge representation approach in BIM rule requirement analysis using the conceptual graph[J]. Journal of Information Technology in Construction, 2016, 21, 370- 401.
42
ZHANG Z J, NISBET N, MA L, et al. A multi-representation method of building rules for automatic code compliance checking[C]//Proceedings of the 14th European Conference on Product and Process Modelling (ECPPM 2022). Trondheim, Norway: CRC Press, 2023: 458-466.
43
MARTIN R C , MARTIN M . Agile principles, patterns, and practices in C#[M]. London: Pearson, 2006.
44
ZOU Z X , CHEN K Y , SHI Z W , et al. Object detection in 20 years: A survey[J]. Proceedings of the IEEE, 2023, 111 (3): 257- 276.
45
REN S Q , HE K M , GIRSHICK R , et al. Faster R-CNN: Towards real-time object detection with region proposal networks[J]. IEEE transactions on pattern analysis and machine intelligence, 2017, 39 (6): 1137- 1149.
46
LIN T Y, GOYAL P, GIRSHICK R, et al. Focal loss for dense object detection[C]//Proceedings of the 2017 IEEE international conference on computer vision. Venice, Italy: IEEE, 2017: 2980-2988.
47
HAO S J , ZHOU Y , GUO Y R . A brief survey on semantic segmentation with deep learning[J]. Neurocomputing, 2020, 406, 302- 321.

RIGHTS & PERMISSIONS

All rights reserved. Unauthorized reproduction is prohibited.
PDF(7508 KB)

Accesses

Citation

Detail

Sections
Recommended

/