摘要

随着建筑信息模型(BIM)技术在国内外建筑领域的发展,工业基础类(IFC)作为BIM开放数据标准得到了广泛应用。IFC模型的几何与语义表示方式较为复杂,而且模型规模逐渐增大。现有的基于内存或固定路径查询的模型自动检查方法面临着时间、空间效率与查询复杂度的挑战。为此,提出一种基于知识库的IFC模型检查方法,通过将IFC模型解析与建模为属性标签图(LPG),并存储入图数据库,形成了可推理与灵活查询的结构化知识;依托知识库的建立,提出了基于属性链路推理与剪枝的IFC语义信息检查算法和相关几何信息检查算法,开发了IfcGraph自动化检查系统,实现了模型高效存储、灵活检查,提高了模型自动检查的效率与易用性。最后,通过实际工程项目对提出的方法与相应系统进行了可行性的验证。