王维欣, 贾婧, 桂柯朴, 高洁雅
中国海洋大学 工程学院，山东 青岛 266100
收稿日期：2021-07-12
基金项目：国家自然科学基金资助项目(51908523)。
作者简介：王维欣(1995-)，男，山东烟台人，中国海洋大学硕士研究生。

摘要：基于BIM与本体的自动化审图在智能建造领域具有重要价值，已有研究多为针对特定规范的审图工具开发，缺乏对规则的系统性、结构化分析及BIM数据映射的构建.以28个建筑设计及绿色建筑国家规范为研究对象，分析其审查规则的定义方式，得出具有统计意义的规则分类，构建基于IFC标准的表达模型.对于模型信息缺失，提出基于本体与IFC属性集扩展实现语义丰富的方法，以建筑设计规范为分析对象，将基于BIM模型图的审查流程进行了优化.以档案馆建筑设计规范中的审图规则与某档案馆工程BIM模型为实例进行了该优化流程的演示与验证.
关键词：合规性审查BIM本体IFC标准建筑图
Research on Automatic Compliance Checking Method Based on BIM and Ontology Technology for Architectural Drawing
WANG Wei-xin, JIA Jing, GUI Ke-pu, GAO Jie-ya
College of Engineering, Ocean University of China, Qingdao 266100, China
Corresponding author: JIA Jing, E-mail: jingjia@ouc.edu.cn.

Abstract: Automatic compliance checking(ACC)of architectural design based on BIM and ontology technologies is of great significance in the field of intelligent construction. Most of the relevant research focused on the development of the code-compliance checking tools targeting specific standards and specifications, lacking the systematic and structured a nalysis of compliance checking rules(CCR)and the construction of the corresponding mapping toward BIM data. Taking 28 national standards for architectural design and green building as the research object, the CCR definition methods were analyzed, the statistical CCR classification was obtained, and the corresponding expression model based on the IFC standard was constructed. Considering the insufficient information in the BIM model, a method to fulfill semantic enrichment based on ontology and IFC attribute sets extension was proposed to optimize the overall code-compliance checking process of the BIM model. The optimized process was demonstrated and verified by applying the CCR of the design code for archives buildings and on the BIM model of an archives project.
Key words: compliance checkingBIMontologyIFC standardarchitectural drawing
建筑图审查工作是工程质量与安全的基础保障，而建筑规范体系的复杂性、工程图纸的规范性及审图人员专业水平等因素长期制约图纸审查工作.在建筑工业化、数字化、智能化快速发展的背景下，自动化审图可提高审查效率，提升勘察设计质量管理水平.在《关于推进建筑业发展和改革的若干意见》《2016—2020年建筑业信息化发展纲要》《“十四五”建筑业发展规划》等文件中对于数字化审查均有重要论述.企业界积极探索，在BIM审图工具与平台开发方面，针对关键性审查规则已有产业化软件成果，并不断提高规则覆盖度，提升图纸审查的自动化与智能化水平.
数字化审查基础理论研究、技术路线构建、关键技术探索及特定规范审查工具开发等方面取得很多成果.文献[1-3]基于BIM、本体、机器学习等先进技术构建自动审图的技术路线.文献[4-6]结合自然语言处理(natural language processing，NLP)、知识图谱等探究规范标准的结构化建模及模型数据的自动提取与校核.文献[7-8]对消防、排水专业特定规则实现了自动校核.上述研究使得数字化审查在规则自动化提取、结构化表达及BIM模型与规则整合方面进展显著.在此背景下，理论上可通过本体知识库与BIM模型的关联实现合规性判断.然而，我国建筑规范体系复杂，审图规则的基础信息呈多源异构特征，除模型图元参数外，还包括温度、湿度、空间用途等多类型属性信息.这使得在构建BIM模型时难以将规范校核所需信息完整参数化、结构化，从而影响自动审图的覆盖度与精确度，导致审图过程仍为人工主导.除利用NLP抽取规范信息、本体知识库构建、BIM数据到本体数据的转换外，为BIM模型快速添加其缺失的规范校验基础信息对于优化审图系统、提高自动审图工作效率具有重要意义.
已有研究多为基于特定商业软件平台下的BIM数据，面向有限规范标准的审图功能的实现，尚未从审图的机制与需求上逆向分析BIM数据的完整度及通用化推理规则的编制.本文以28个建筑设计及绿色建筑国家规范标准为研究对象，构建规范标准样本库.首先对样本库的规则按照强制性空间构成、区域属性阈值、构件属性阈值、区域/构件拓扑关系校验进行提取、分类、归纳，然后提炼规则编译所需的信息，基于OpenBIM理念依托IFC4.3建立Express-G表达模型.在此基础上，对照已有BIM模型信息，分析信息缺失，制定基于IFC扩展的BIM模型缺失信息的补充方案，实现审图规则的结构化分析及相应BIM数据映射的完整构建.
1 审图规则分析审图规则的系统化分析是规范标准数字化、结构化的关键，也是规则编译的分类基础.为了保证本研究的覆盖度、代表性及可行性，选取了28个建筑设计及绿色建筑国家规范标准形成分析样本库，进行语义分析.样本规范库的构成详见表 1.
表 1(Table 1)

表 1 规范标准样本库Table 1 Standard sample library 建筑设计及绿色建筑国家规范标准 规范标准类型 综合医院建筑设计规范、民用建筑设计统一标准、公寓建筑设计标准、档案馆设计标准、商店建筑设计规范、旅馆设计标准、体育建筑设计规范、电影院建筑设计规范、剧场建筑设计规范、图书馆建筑设计规范、博物馆建筑设计规范、文化馆建筑设计规范、疗养院建筑设计规范 特定建筑类型的设计规范标准 建筑设计防火规范、公共建筑节能设计标准、民用建筑节能条例、民用建筑热工设计规范、农村建筑节能设计标准、温和地区居住建筑节能设计标准、民用建筑能耗标准 特定功能类型的建筑规范标准 绿色建筑评价标准、绿色建筑评价标准技术细则、民用绿色建筑设计规范、绿色工业建筑评价标准、绿色医院建筑评价标准、民用建筑绿色性能计算标准、绿色办公建筑评价标准、绿色工业建筑评价导则 绿色建筑评价规范标准

表 1 规范标准样本库 Table 1 Standard sample library

遍历样本库后，提取样本规则，对其特征进行显著度、覆盖度分析，将规则划分为空间构成、区域属性阈值、构件属性阈值及区域/构件拓扑关系校验4个类型，进行样本规则的汇总.规则分类及其审查规则示例如表 2所示.
表 2(Table 2)

表 2 规范标准样本库规则分类与示例Table 2 Rule categories & examples for standard sample libirary 规则分类 审查规则示例 空间构成 档案馆建筑宜由档案库、对外服务用房、档案业务和技术用房等组成 区域属性阈值 卧室、起居室室内净高不应低于2.40 m，局部净高不应低于2.10 m 构件属性阈值 档案库在选定温、湿度后，昼夜温度波动不大于±2 ℃ 区域/构件拓扑关系校验 锅炉房、变配电室、车库等可能危及档案安全的用房不宜毗邻档案库

表 2 规范标准样本库规则分类与示例 Table 2 Rule categories & examples for standard sample libirary

将上述样本规则中的主体及其数值阈值相应定义为本体中的类、对象属性及数值属性.其中构件概念、空间概念可作为本体中的类存在，空间关系或拓扑关系可作为对象属性存在，空间或构件的属性阈值以数值属性的形式表达.以“办公用房的门洞口宽度不应小于1.00 m，高度不应小于2.1 m”为例，该本体规则可设置“办公用房”“门洞口”为类，以“门洞宽度”“门洞高度”为数值属性，并设置可表征包含关系的字段“隶属于”为对象属性.上述语句可在SWRL(semantic web rule language)或Jena中进行本体规则定义^[9-10]，以进一步实现该实例的规则校核.
2 基于IFC的Express-G模型构建工业基础类(industry foundation class，IFC)是目前建筑行业广泛认可的国际性公共产品数据模型格式标准.IFC是基于使用对象的可用于实现信息交换的数据交换标准^[11].与信息交互手册(information delivery manual，IDM)，国际字典框架(international framework for dictionaries，IFD)三大数据标准构成了BIM平台信息交换的基础^[12].
为解决在已有研究中遇到BIM数据进行规范标准中的特定规则审查时出现数据缺失，并同时兼顾开放性与通用性.基于OpenBIM理念^[13]，选用IFC为BIM模型的表达.基于BuildingSMART公布的IFC 4.3版本，以Express-G图形化数据建模方式搭建构件属性信息、空间属性信息及构件与区域空间关系判断方式的表达模型.
2.1 IFC规范对构件属性信息的表达通过遍历IFC 4.3 RC3实体，剖析逻辑关联，生成构件属性与构件材料的Express-G表达模型，如图 1所示.其中，IfcPropertySet实体代表属性集定义，IfcQuantitySet代表量集的设置，二者通过实体IfcRelDefines与IfcObject关联，从而实现构件属性和数量值的描述.IfcMaterial代表材料，由IfcRelAssociatesMaterial与实体IfcElement相关联，实现构件材料表达.IfcMaterialDefinitionRepresentation实体利用不同的节点、曲线、曲面，实现不同材料的表示方法，IfcMaterialDefinition的HasProperties属性与IfcPropertySetDefinition建立联系从而引用表示属性的IfcProperty实体，进而描述材料属性.
图 1(Fig. 1)

图 1 基于IFC的构件属性Express-G表达模型Fig.1 IFC-based Express-G model for component properties

2.2 IFC规范对空间属性的表达IFC规范对空间的描述通过IfcZone实体和IfcSpace实体进行，前者是人为构建的空间组合，如某系统涉及的空间，由若干空间组合而成，彼此之间可通过IfcRelAssignsToGroup实体相联系，后者多基于建筑的项目划分得到，其通过关联实体IfcRelSpaceBoundary与包围该空间的实体进行关联，其实例往往针对某一个房间，其预定义属性集中可能存在室外地坪高度、室内标高、楼层净高等规范校核中的常用属性，当不存在这些预定义属性集时，则可通过楼层标高、楼板或墙的坐标进行计算.针对楼层空间，规范通过IfcBuilding及IfcBuildingStorey实体，与本层构件通过关联实体IfcRelContainedInSpatialStructure关联.这3种空间概念结合图 1、图 2可实现空间概念构建.
图 2(Fig. 2)

图 2 通过xBIM平台添加构件/空间属性Fig.2 Adding component/space property through xBIM platform

2.3 基于IFC规范的空间关系判断空间关系判断的实质是空间坐标和构件位置的表达，在IFC规范中，构件或空间的坐标范围计算通过世界坐标系与局部坐标系结合进行.以标准墙为例，首先其通过ObjectPlacement属性联系到整体坐标系，进而获得该实例模型的参照点在世界坐标系的坐标，然后，其实例可通过属性Representation联系到IfcExtrudeAreaSolid或其他实体，并通过其Depth，Xdim，Ydim属性及其中局部坐标系方向的定义计算每个控制点的坐标，进而表示墙的位置.对于不同构件或空间之间的关系可通过比较坐标之间的数值进行推理.
3 IFC属性扩展上述基于IFC规范构建的对象模型图是模型属性添加的基础.开发引擎若已基于IFC规范设计了关联类库，则可通过编程手段，参照2.1~2.3节所示实体、属性关系进行待扩展属性的快速定位、添加、编辑等.xBIM(extensible building information modelling)为可扩展的建筑信息模型，是NET开源软件的BIM工具包，基于OpenBIM理念，支持BuildingSMART数据模型，不受BIM商业软件限制^[14-15].以某档案馆工程的BIM模型为例，选用xBIM平台实现IFC属性扩展，该档案馆墙体构件类型在xBIM平台下的属性扩展核心代码如图 2所示.
同理，建筑空间名称、属性的设置与集成也可通过类似方式进行，添加后的结果可通过usBIM，BIMViewer，BIMvision等IFC模型浏览器查看.
4 自动化审图框架优化合规性审查的实质是基于图纸的建筑物总体或局部特征与相应规范中所定义的特征阈值进行对比的过程^{[4, 16-17]}.不同规范通过控制不同参数范围的方式控制建筑特征，因此自动审图系统的开发需要在三维模型中集成特定规范涉及的参数或参数集，并能实现这些参数或参数集与规范设置阈值的比对.已有建筑模型信息及审图规则的结构化分析，基于审图规则需求的建筑模型信息逆向分析及缺失信息的扩展，是实现自动化审图和相应BIM数据双向映射完整构建的关键构成.
我国建筑规范体系的多样性与诸多条文所要求信息来源的复杂性决定了原始的BIM数据难以完全满足规范校核所需信息，这使得一方面校核工作针对的只是规范中的部分条文，导致忽略重要规则；另一方面，即便针对已筛选的特定审图规则，也会遇到建筑模型信息属性缺失问题.上述限制使得在初始阶段根据图纸所得的BIM模型难以直接满足合规性审查的数据需求.
为解决上述问题，本研究调研已有的自动审图理念与技术路线，并尝试纳入IFC属性集扩展机制，进行自动审图系统的设计架构优化，最终形成的自动化审图框架如图 3所示.
图 3(Fig. 3)

图 3 自动审图框架优化Fig.3 Optimization of automatic compliance checking framework

5 实例分析为验证本研究提出的研究思路、扩展方法、技术手段、优化框架，提取、分析档案馆建筑设计规范(JGJ25—2010)第4节与第5节中的审图规则并构建本体，开发基于档案馆建筑信息模型的自动审图系统.
5.1 基于档案馆设计规范的本体构建首先对档案馆建筑设计规范的第4章与第5章内容进行合规性审查规则提取，进而生成合规性审查规则所覆盖的全部类与属性.利用斯坦福大学基于Java语言开发的本体编辑和知识获取开源软件Protégé^[18]，生成其结构化、数字化规范，得到档案馆建筑设计规范合规性审查所覆盖的全部类与属性的本体树状图，如图 4所示.
图 4(Fig. 4)

图 4 档案馆建筑设计规范合规性审查规则Protégé本体模型Fig.4 Protégé ontology model of compliance checking rules of design code for archives buildings

5.2 基于IFC扩展的构件属性或空间特征的添加根据上述Protégé本体模型，拟定其中各类型房间的温度、湿度、相对湿度为BIM模型中需手动输入的属性；通过对比规范中定义的信息与已有模型的精细程度确定了需要添加的信息为档案库类别下其内部的档案柜类型及档案柜长度；最后通过IFC扩展为对应的类别设置属性.通用的空间/构件属性集扩充用户界面如图 5所示.
图 5(Fig. 5)

图 5 空间/构件属性集扩充用户界面Fig.5 User interface for space/component property sets extension

5.3 本体推理规则的设定与模型的规范审查BIM到本体数据的转换通过IfctoRDF工具实现，该工具可将IFC格式的BIM文件转为ttl格式，使之与本体知识库结合.为利用本体知识库中规定的类、属性与规则进行合规性审查，首先要设置字段间的关联，如设置“柱”类与“IfcColumn”类等价，即可将BIM模型中归类为IfcColumn的实例作为柱类，结合规范中的属性、规则进行字段的计算，并借助本体规则，找出BIM模型中不合规范要求的部分，此功能需基于本体推理机或查询工具，根据IFC文件中储存的信息计算，如“房屋净高”属性的定义等价于IFC文件中记录的特定空间中上、下楼板的高度差，这样即可实现模型信息与本体规范的结合，进而完成基于本体规则的BIM模型合规性审查.例如“厨房”实例可通过ifcowl: IfcSpace(?x)^ autogen0:longName_IfcZone(?x，?y)^ swrlb: equal(?y，“厨房”)规则定义.
按照上述流程，首先将BIM模型转为ttl格式，并根据规范对模型信息的要求，结合本文构建的Express-G表达模型设计SWRL规则，对模型需求信息进行提取.以某构造柱为例，提取其楼层信息、属性、量集及空间坐标值，该对象推理结果如图 6所示，其合规性审查规则如表 3所示.
图 6(Fig. 6)

图 6 结合本体与Express-G表达模型的构造柱信息获取Fig.6 Information acquisition of constructional column by combining ontology and Express-G models

表 3(Table 3)

表 3 构造柱SWRL规则构建Table 3 Construction of SWRL rules for constructional column SWRL规则 规则含义及应用 ifcowl: IfcColumn(?x) ^ inst: objectPlacement(?x, ?y) ^ ifcowl: IfcLocalPlacement(?y) ^ inst: relativePlacement(?y, ?z) ^ ifcowl: IfcAxis2Placement3D(?z) ^ inst: location(?z, ?c1) ^ ifcowl: IfcCartesianPoint(?c1) ^ inst: coordinates(?c1, ?f) ^ ifcowl: IfcLengthMeasure_List(?f) ^ inst: hasContents(?f, ?p) ^ ifcowl: IfcLengthMeasure(?p) ^ inst: hasDouble(?p, ?data) -> inst: initialX(?x, ?data) 判断柱实例参照点(x，y，z)中的x坐标，可推广至项目中的主要建筑构件及空间概念等可用IfcProduct要素 ifcowl: IfcRelDefinesByProperties(?x) ^ inst: relatedObjects(?x, ?y) ^ inst: RelatingPropertyDefinition(?x, ?z) ^ ifcowl: IfcColumn(?y) ^ ifcowl: IfcElementQuantity(?z) ^ inst: hasQuantity(?z, ?h) ^ ifcowl: IfcQuantityVolume(?h) ^ inst: hasname(?h, ?l) ^ ifcowl: IfcLabel(?l) ^ ifcowl: IfcVolumeMeasure(?f) ^ inst: hasDouble(?f, ?data2) -> inst: Volumn(?y, ?data2) 获取柱的体积，可推广至墙、柱、梁、板及其余建筑配件各种属性集或数量集中数据的获取 ifcowl: IfcRelAssociatesMaterial(?x) ^ inst: relatedObjects(?x, ?y) ^ ifcowl: IfcColumn(?y) ^ inst: relatingMaterial(?x, ?z) ^ ifcowl: IfcMaterial(?z) ^ inst: hasname(?z, ?l) ^ ifcowl: IfcLabel(?l) ^ inst: hasstring(?l, ?data) -> inst: material(?y, ?data) 获取柱的材料名称，可推广至各类主要建筑构件的材料名称获取 ifcowl: IfcColumn(?x) ^ inst: representation(?x, ?y) ^ ifcowl: IfcProductDefinitionShape(?y) ^ inst: representation(?y, ?z) ^ ifcowl: IfcRepresentation_List(?z) ^ inst: hasContents(?z, ?r) ^ ifcowl: IfcShapeRepresentation(?r) ^ inst: items(?r, ?i) ^ ifcowl: IfcMappedItem(?i) ^ inst: mappingSource(?i, ?m) ^ inst: mappedPresentation(?m, ?s) ^ ifcowl: IfcShapeRepresentation(?s) ^ inst: items(?s, ?e) ^ ifcowl: IfcExtrudedAreaSolid(?e) ^ inst: depth(?e, ?u) ^ inst: hasDouble(?u, ?data) -> inst: height(?x, ?data) 获取柱实例的几何特征，可扩充至各类主要建筑构件的几何特征及各几何特征对应的坐标系方向的获取，并可基于此，结合坐标与坐标系的获取方式挖掘构件之间的深层空间关系

表 3 构造柱SWRL规则构建 Table 3 Construction of SWRL rules for constructional column

将上述规则与本体知识库合并，得出基于LinkedData的BIM模型与本体知识库的合并结果，如图 7所示.可通过设置字段间相互关系将两组本体进行关联(如设置IfcDoor与“门”等价)，即可加载推理得到校核结果，如图 8所示.
图 7(Fig. 7)

图 7 基于LinkedData的BIM模型与本体知识库合并结果Fig.7 Merging result of LinkedData-based BIM models with ontology knowledge base

图 8(Fig. 8)

图 8 基于IFC与本体的合规性审查结果Fig.8 Compliance checking result based on IFC and ontology

6 结语1) BIM、本体技术等的发展将极大提高建筑图合规性审查的准确率与效率.在前人工作基础上，通过对审图规则的系统性分析梳理了建筑规则的一般形式，并针对BIM模型信息缺失问题，提出以Express-G图形化数据的建模方式，结合IFC扩展搭建构件属性信息、空间属性信息及构件与区域空间关系表达模型，建立了IFC数据属性扩展开发的模型基础，在现有基础上优化了建筑图自动审查框架.
2) 以档案馆建筑设计规范中审图规则及某档案馆工程BIM模型为工程实例，全面验证了本研究所提出的信息扩展方法、技术手段及优化框架.建立了建筑物自动化审查优化框架，以及具体的BIM模型信息扩展方法、本体模型构建技术手段及推理规则设计等，可以从审图的机制与需求上，逆向分析BIM数据的完整度及通用化推理规则的编制，全面实现审图规则的结构化分析以及与BIM数据的双向连接.在本研究的规则建立环节，仍需结合手动输入工作；拟进一步将NLP与本体语义网相结合，探究审查规则的自动生成算法，为进一步提高建筑图审查效率.
参考文献

[1]	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.
[2]	邢雪娇, 钟波涛, 骆汉宾, 等. 基于BIM的建筑专业设计合规性自动审查系统及其关键技术[J]. 土木工程与管理学报, 2019, 36(5): 129-136. (Xing Xue-jiao, Zhong Bo-tao, Luo Han-bin, et al. Automatic code compliance checking for design drawings of architecture major and its key technologies based on BIM[J]. Journal of Civil Engineering and Management, 2019, 36(5): 129-136. DOI:10.3969/j.issn.2095-0985.2019.05.021)
[3]	Choi J, Kim I. A methodology of building code checking system for building permission based on BIM[C]//International Symposium on Automation & Robotics in Construction. Atlanta, 2017: 945-950.
[4]	Jung N, Lee G. Automated classification of building information modeling(BIM)case studies by BIM use based on natural language processing(NLP)and unsupervised learning[J]. Advanced Engineering Informatics, 2019, 41: 1-10.
[5]	Zhang J, 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. DOI:10.1016/j.autcon.2016.08.027
[6]	Zhang J, El-Gohary N M. Semantic NLP-based information extraction from construction regulatory documents for automated compliance checking[J]. Journal of Computing in Civil Engineering, 2016, 30(2): 1-42.
[7]	张荷花, 顾明. BIM模型智能检查工具在审查平台及消防审查中的应用[J]. 土木建筑工程信息技术, 2021, 13(1): 1-7. (Zhang He-hua, Gu Ming. Application of the intelligent BIM model checking tool in the BIM platform and fire protection code checking[J]. Civil Engineering Information Technology, 2021, 13(1): 1-7.)
[8]	Porto M F, José R Q F, Viana B F, et al. Automatic code checking applied to fire fighting and panic projects in a BIM environment—BIMSCIP[J]. Journal of Systemics, Cybernetics and Informatics, 2017, 15(3): 86-90.
[9]	Ma Z, Liu Z. Ontology-and freeware-based platform for rapid development of BIM applications with reasoning support[J]. Automation in Construction, 2018, 90: 1-8. DOI:10.1016/j.autcon.2018.02.004
[10]	Niknam M, Karshenas S. Sustainable design of buildings using semantic BIM and semantic web services[J]. Procedia Engineering, 2015, 118: 909-917. DOI:10.1016/j.proeng.2015.08.530
[11]	赖华辉, 邓雪原, 刘西拉. 基于IFC标准的BIM数据共享与交换[J]. 土木工程学报, 2018, 51(4): 121-128. (Lai Hua-hui, Deng Xue-yuan, Liu Xi-la. IFC-based BIM data sharing and exchange[J]. Chinese Journal of Civil Engineering, 2018, 51(4): 121-128.)
[12]	明星, 周成, 姚毅荣, 等. 基于IDM的建筑工程设计阶段流程图描述方法研究[J]. 图学学报, 2014, 35(1): 138-144. (Ming Xing, Zhou Cheng, Yao Yi-rong, et al. Research on IDM-based description method of the flowchart at the design stage of building engineering[J]. Journal of Graphics, 2014, 35(1): 138-144.)
[13]	Shaohua J, Liping J, Yunwei H, et al. OpenBIM: an enabling solution for information interoperability[J]. Applied Sciences, 2019, 24(9): 1-27.
[14]	王向上, 牛寒, 李春林, 等. 基于xBIM的IFC模型转换研究[J]. 科技经济导刊, 2017(01): 8-9. (Wang Xiang-shang, Niu Han, Li Chun-lin, et al. Transformation of IFC model based on xBIM[J]. Journal of Science and Technology Economics, 2017(01): 8-9.)
[15]	Dhillon R K, Jethwa M, Rai H S. Extracting building data from BIM with IFC[J]. International Journal on Recent Trends in Engineering, 2014, 11(2): 202-210.
[16]	Solihin W, Dimyadi J, Lee Y C, et al. The critical role of accessible data for BIM-based automated rule checking systems[C]//Proceedings of the Joint Conference on Computing in Construction(JC3). Singapore: 2017: 53-60.
[17]	Eastman C, Lee J, Jeong Y, et al. Automatic rule-based checking of building designs[J]. Automation in Construction, 2009, 18(8): 1011-1033. DOI:10.1016/j.autcon.2009.07.002
[18]	Gennari J H, Musen M A, Fergerson R W, et al. The evolution of Protégé: an environment for knowledge-based systems development[J]. International Journal of Human-Computer Studies, 2003, 58(1): 89-123.