[1] 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.
[2] ZHOU P, EL-GOHARY N. Ontology-based automated information extraction from building energy conservation codes[J]. Automation in Construction, 2017, 74:103-117.
[3] 田明阳. 基于BIM与CBR的消防安全自动规则审查与设计决策支持系统[D]. 成都:西南交通大学, 2018. TIAN M Y. Automatic rule checking and design decision support system for fire protection design based on BIM and CBR[D]. Chengdu:Southwest Jiaotong University, 2018. (in Chinese)
[4] 傅智敏. 我国火灾统计数据分析[J]. 安全与环境学报, 2014, 14(6):341-345. FU Z M. Analysis on the fire data in China for the period between 2003-2012[J]. Journal of Safety and Environment, 2014, 14(6):341-345. (in Chinese)
[5] 陈志波. 浅谈建筑消防审查中的常见问题[J]. 门窗, 2013(9):144, 146. CHEN Z B. Discussion on common problems in compliance checking for fire design[J]. Door & Windows, 2013(9):144, 146. (in Chinese)
[6] 余君, 陈涛, 王静, 等. 局部自动化的消防设计审查方法应用研究[J]. 消防科学与技术, 2017, 36(4):559-561, 564. YU J, CHEN T, WANG J, et al. Semi-automatic rule-based checking for examination of fire safety code[J]. Fire Science and Technology, 2017, 36(4):559-561, 564. (in Chinese)
[7] DIMYADI J, AMOR R. Automated building code compliance checking-where is it at?[C]//Proceedings of the 19th CIB World Building Congress. Brisbane, Australia:CIB, 2013.
[8] DELIS E A, DELIS A. Automatic fire-code checking using expert-system technology[J]. Journal of Computing in Civil Engineering, 1995, 9(2):141-156.
[9] EASTMAN C, LEE J M, JEONG Y, et al. Automatic rule-based checking of building designs[J]. Automation in Construction, 2009, 18(8):1011-1033.
[10] NAWARI N O. Automating codes conformance in structural domain[C]//International Workshop on Computing in Civil Engineering. Miami, USA:ASCE, 2011:569-577.
[11] SALAMA D M, EL-GOHARY N M. Semantic modeling for automated compliance checking[C]//International Workshop on Computing in Civil Engineering. Miami, USA:ASCE, 2011:641-648.
[12] SALAMA D A, EL-GOHARY N M. Automated compliance checking of construction operation plans using a deontology for the construction domain[J]. Journal of Computing in Civil Engineering, 2013, 27(6):681-698.
[13] DIMYADI J, AMOR R. Regulatory knowledge representation for automated compliance audit of BIM-based models[C]//Proceedings of the 30th CIB W78 International Conference. Beijing:CIB, 2013:68-78.
[14] 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(24):370-401.
[15] LEE Y C, SOLIHIN W, EASTMAN C M. The mechanism and challenges of validating a building information model regarding data exchange standards[J]. Automation in Construction, 2019, 100:118-128.
[16] LI S, CAI H B, KAMAT V R. Integrating natural language processing and spatial reasoning for utility compliance checking[J]. Journal of Construction Engineering and Management, 2016, 142(12):4016074.
[17] XU X, CAI H B. Semantic frame-based information extraction from utility regulatory documents to support compliance checking[M]//MUTIS I, HARTMANN T. Advances in Informatics and Computing in Civil and Construction Engineering. Cham:Springer, 2019:223-230.
[18] SOLIHIN W. Lessons learned from experience of code-checking implementation in Singapore[R]. Singapore:Building SMART, 2004.
[19] KANNALA M. Escape route analysis based on building information models:Design and implementation[D]. Helsinki, Finland:Helsinki University of Technology, 2005.
[20] ZHANG J S, EL-GOHARY N M. Semantic NLP-based information extraction from construction regulatory documents for automated compliance checking[J]. Journal of Computing in Civil Engineering, 2013, 30(2):04015014.
[21] HJELSETH E, NISBET N. Capturing normative constraints by use of the semantic mark-up RASE methodology[C]//Proceedings of the 28th International Conference of CIB W78. Sophia Antipolis, France:CIB, 2011:1-10.
[22] LEE H, LEE J K, PARK S, et al. Translating building legislation into a computer-executable format for evaluating building permit requirements[J]. Automation in Construction, 2016, 71:49-61.
[23] ZHANG J S, EL-GOHARY N M. Automated information transformation for automated regulatory compliance checking in construction[J]. Journal of Computing in Civil Engineering, 2015, 29(4):B4015001.
[24] UHM M, LEE G, PARK Y, et al. Requirements for computational rule checking of requests for proposals (RFPs) for building designs in South Korea[J]. Advanced Engineering Informatics, 2015, 29(3):602-615.
[25] FORTINEAU V, PAVIOT T, LOUIS-SIDNEY L, et al. SWRL as a rule language for ontology-based models in power plant design[C]//Proceedings of IFIP WG 5.1 International Conference on Product Lifecycle Management. Towards Knowledge-Rich Enterprises. Berlin, Germany:Springer, 2012:588-597.
[26] PARK S, LEE H, LEE S, et al. Rule checking method-centered approach to represent building permit requirements[C]//Proceedings of the 32nd International Symposium on Automation and Robotics in Construction. Oulu, Finland:IAARC, 2015.
[27] ZHONG B T, GAN C, LUO H B, et al. Ontology-based framework for building environmental monitoring and compliance checking under BIM environment[J]. Building and Environment, 2018, 141:127-142.
[28] ZHANG S J, BOUKAMP F, TEIZER J. Ontology-based semantic modeling of construction safety knowledge:Towards automated safety planning for job hazard analysis (JHA)[J]. Automation in Construction, 2015, 52:29-41.
[29] 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.
[30] YURCHYSHYNA A, ZARLI A. An ontology-based approach for formalisation and semantic organisation of conformance requirements in construction[J]. Automation in Construction, 2009, 18(8):1084-1098.
[31] DIMYADI J, CLIFTON C, SPEARPOINT M, et al. Computerizing regulatory knowledge for building engineering design[J]. Journal of Computing in Civil Engineering, 2016, 30(5):C4016001.
[32] AI·U LAL S M, GVNAYDIN H M. Computer representation of building codes for automated compliance checking[J]. Automation in Construction, 2017, 82:43-58.
[33] MARTINS J P, MONTEIRO A. LicA:A BIM based automated code-checking application for water distribution systems[J]. Automation in Construction, 2013, 29:12-23.
[34] YANG Q Z, XU X J. Design knowledge modeling and software implementation for building code compliance checking[J]. Building and Environment, 2004, 39(6):689-698.
[35] CHOI J, CHOI J, KIM I. Development of BIM-based evacuation regulation checking system for high-rise and complex buildings[J]. Automation in Construction, 2014, 46:38-49.
[36] MALSANE S, MATTHEWS J, LOCKLEY S, et al. Development of an object model for automated compliance checking[J]. Automation in Construction, 2015, 49:51-58.
[37] LEE J K, LEE J, JEONG Y S, et al. Development of space database for automated building design review systems[J]. Automation in Construction, 2012, 24:203-212.
[38] SOLIHIN W. A simplified BIM data representation using a relational database schema for an efficient rule checking system and its associated rule checking language[D]. Atlanta, USA:Georgia Institute of Technology, 2015.
[39] BRAMER M. Logic programming with Prolog[M]. London, UK:Springer-Verlag, 2005.
[40] 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.
[41] GHANNAD P, LEE Y, DIMYADI J, et al. Automated BIM data validation integrating open-standard schema with visual programming language[J]. Advanced Engineering Informatics, 2019, 40:14-28.
[42] HIETANEN J, FINAL S. IFC model view definition format[R]. Singapore:International Alliance for Interoperability, 2006:1-29.
[43] PREIDEL C, BORRMANN A. Automated code compliance checking based on a visual language and building information modeling[C]//Proceedings of the 32nd International Symposium on Automation and Robotics in Construction and Mining. Red Hook, USA:Curran Associates Inc, 2015.
[44] PLUME J, MITCHELL J. Collaborative design using a shared IFC building model-Learning from experience[J]. Automation in Construction, 2007, 16(1):28-36.
[45] 邓亚. 三维建筑消防设计图纸审查系统的研究与实现[D]. 北京:北京建筑大学, 2016. DENG Y. The research and implementation of the three dimensional building fire design drawing review system[D]. Beijing:Beijing University of Civil Engineering and Architecture, 2016. (in Chinese)
[46] ZHANG S, LEE J K, VENUGOPAL M, et al. Integrating BIM and safety:An automated rule-based checking system for safety planning and simulation[C]//Proceedings of the CIB W099. Washington DC, USA:CIB, 2011.
[47] BALABAN Ö, KILIMCI E S Y, ÇAǦDAS G. Automated code compliance checking model for fire egress codes[C]//Proceedings of the 30th eCAADe Conference. Prague, Czech Republic, 2012.
[48] JEONG J, LEE G. Requirements for automated code checking for fire resistance and egress rule using BIM[C]//Proceedings of the ICCEMICCPM 2009. Jeju, Korea, 2009:316-322.
[49] SHIH S, SHER W, GIGGINS H, et al. Assessment of the building code of Australia to inform the development of BIM-enabled code-checking systems[C]//Proceedings of the 19th CIB World Building Congress. Brisbane, Australia, 2013:1-12.
[50] CLAYTON M, FUDGE P, THOMPSON J. Automated plan review for building code compliance using BIM[C]//Proceedings of the 20th International Workshop:Intelligent Computing in Engineering (EG-ICE 2013). Vienna, Austria, 2013:1-10.
[51] ZHANG J S, EL-GOHARY N M. Integrating semantic NLP and logic reasoning into a unified system for fully-automated code checking[J]. Automation in Construction, 2017, 73:45-57.
[52] ZHANG S J, TEIZER J, LEE J K, et al. Building information modeling (BIM) and safety:Automatic safety checking of construction models and schedules[J]. Automation in Construction, 2013, 29:183-195.
[53] GETULI V, VENTURA S M, CAPONE P, et al. BIM-based code checking for construction health and safety[J]. Procedia Engineering, 2017, 196:454-461.
[54] JIANG L, LEICHT R M. Automated rule-based constructability checking:Case study of formwork[J]. Journal of Management in Engineering, 2014, 31(1):A4014004.
[55] BEACH T H, REZGUI Y, LI H, et al. A rule-based semantic approach for automated regulatory compliance in the construction sector[J]. Expert Systems with Applications, 2015, 42(12):5219-5231.
[56] CHENG J C P, DAS M. A BIM-based web service framework for green building energy simulation and code checking[J]. Journal of Information Technology in Construction (ITcon), 2014, 19(8):150-168.
[57] NAWARI N, NAWARI O. A generalized adaptive framework (GAF) for automating code compliance checking[J]. Buildings, 2019, 9(4):86.
[58] PAUWELS P, DE FARIAS T M, ZHANG C, et al. A performance benchmark over semantic rule checking approaches in construction industry[J]. Advanced Engineering Informatics, 2017, 33:68-88.
[59] 吉久茂, 童华炜, 张家立. 基于Solibri model checker的BIM模型质量检查方法探究[J]. 土木建筑工程信息技术, 2014, 6(1):14-19. JI J M, TONG H W, ZHANG J L. Inquiry of the method of BIM model checking based Solibri model checker[J]. Journal of Information Technology in Civil Engineering and Architecture, 2014, 6(1):14-19. (in Chinese)
[60] ZHOU Y W, HU Z Z, LIN J R, et al. A review on 3D spatial data analytics for building information models[J]. Archives of Computational Methods in Engineering, 2019:1-5.
