BIM（Building Information Modeing）是推进我国建筑业信息化发展的最有利的手段,行业在进行运用探索,国家政策也在大力推进。BIM模型是BIM技术应用的基石,但在BIM模型质量控制方面,当前我国尚未有成熟的模型检查软件和控制体系,检查方式基本上是靠人工检查,质量认可还停留在二维图纸审查的阶段。对于这样的检查模式,容易产生漏检和错检的问题,难以快速、精确地对三维模型进行检查。在我国建筑业持续迅猛发展、信息化快速推进的大背景下,如何对BIM模型准确快速地检查成为了亟待解决的问题。本文基于BIM技术的背景下,根据本体技术的模型合规性对BIM模型进行自动检查,旨在解决如何自动精准快速检查BIM模型的问题。本文考虑到来IFC（Industry Foundation Classes）是BIM应用的公用文件格式,具有广泛的应用价值。基于IFC和本体技术,研究BIM环境下基于本体技术的模型合规性自动检查。本研究成果用于辅助当前的模型人工检查,减少检查人员机械重复劳动,降低检查工作量,降低检查工作的误差,从而提高检查的工作效率。首先,本文利用本体技术在知识表达和语义网络应用等方面的优势,在建筑结构规范分析的基础上,开发了建筑结构设计规范本体,并对该方法进行阐述。其次,基于上述工作,研究并根据建筑结构设计规范条文的特点确定其中适用于建筑结构模型审查规则构建的规范知识类型,获取适用的建筑结构设计规范知识,通过构建SPARQL（SPARQL Protocol and RDF Query Language）查询三元组完成建筑结构设计规范的规则化表达。再次,研究IFC、ontology格式和各自的表达方式,研究了IFC-ontology转换和本体映射的方式创建建筑结构模型的实例本体,并自编程序补充完善该实例本体。最后结合实例阐述本文提出的建筑结构模型合规性自动检查的全流程并进行实例验证了该方法的可行性。