随着BIM技术应用范围的不断扩大,建设行业对于实现BIM模型的自动合规性检查的需求越来越强烈。目前人工进行建筑模型的合规性检查的方式既耗费时间又易出错,无法满足模型检查的要求。因此需要开发一种模型检查工具来支持整个建设生命期的合规性检查。然而BIM模型的数据格式(IFC)的局限性导致了BIM模型与规则检查环境中的信息模型相冲突,且规范的复杂性和变化性导致开发维护软件需要大量的时间和成本。因此基于BIM模型的合规性检查既要满足系统的功能,又要尽可能减少开发的时间和成本。本文在研究建筑规范知识、BIM模型数据和规范规则的描述方法的基础上,结合语义网技术与IFC框架来描述建筑规范和模型数据,并且阐述了支持BIM模型合规性检查的语义方法体系。本文的方法论基于三种语义环境来实现规范检查,分别是目标领域的语义、规范的语义和数据格式的语义。在语义框架的基础上,首先运用预先定义的标记语义方法实现规范文本的提取,并开发出计算机可读的SWRL规则;其次建立转换规则集来实现规范语义和数据格式语义之间的映射;然后基于IFC文件导出和RevitAPI提取的方式从BIM模型中提取出模型数据,并运用IFCtoRDF转换器将IFC格式文件转换至RDF格式;最后运用JESS推理机执行SWRL规则并产生检查结果。本文运用建筑设计规范中的条款作为案例来介绍方法体系中规范开发的过程;并且通过建立BIM模型实例完成模型数据的提取转换以及规则推理的过程。案例验证表明该方法体系可以准确地对BIM模型数据完成合规性检查。通过案例分析发现该语义方法可以使规范专家在不需要程序员支持的情况下独立承担规则开发的工作,这样提取出的规则会更接近规则所依赖的知识,从而提高合规性检查的准确性。另外该语义方法运用本体和语义web技术来改善建设行业合规性检查环境,能够提高系统实施的模块性和灵活性,从而为合规性检查系统的扩展与维护带来了便捷,并且有利于减少系统开发的时间与成本。最后本文对合规性检查方面的后续研究进行了思考与展望。