【摘要】建筑工程合规性审查是确保设计或施工方案满足规范,建设绿色、安全、舒适的工程的关键环节。传统人工核对方式对人员经验、水平要求高,存在尺度不一、低效漏项、人为操控等弊端。该文对近年来合规性自动审查的有关研究应用做了全面调研和综述,建立了基于建筑信息模型(building information modeling,BIM)的合规性自动审查研究框架,并从审查规则解译表达、信息建模扩展、规则推理执行及结果输出表现等方面综述了研究现状和不足之处。最后,指出合规性自动审查的研究方兴未艾,尽管已取得了丰硕的成果,但是仍面临信息模型异构和语义鸿沟,规则自动解译和开放、灵活共享,复杂空间关系分析和大规模推理等巨大挑战。