欢迎访问《图学学报》 分享到：
图学学报

图学学报

• 智能设计与数字化设计 • 上一篇    下一篇

基于知识库的 IFC 模型检查方法研究

  

  1. (1. 清华大学软件学院，北京 100084；
     2. 北京信息科学与技术国家研究中心，北京 100084；
     3. 万达商业规划研究院，北京 100022)
  • 出版日期:2019-12-31 发布日期:2020-01-20
  • 基金资助:
    国家自然科学基金项目(61527812)；核高基项目(2016ZX01038101)；科技部重点研发计划项目(2016QY07X1402) 第

Research on IFC Model Checking Method Based on Knowledge Base

  1. (1. School of Software, Tsinghua University, Beijing 100084, China;  
    2. Beijing National Research Center for Information Science and Technology (BNRist), Beijing 100084, China; 
    3. Wanda Commercial Planning and Research Institute CO. LTD., Beijing 100022, China)
  • Online:2019-12-31 Published:2020-01-20

PDF (PC)

140

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

关键词: BIM, 行业基础类, 模型检查, 知识库, 属性标签图

Abstract:

With the development of building information modeling (BIM) technology in AEC field at home and abroad, industry foundation classes (IFC) has been widely used as a BIM open data standard nowadays. The geometric and semantic information representations of IFC are very complex, and the scale of the model is increasing. The existing automatic model checking methods based on memory or fixed path queries are faced with challenges of time, space efficiency and query complexity. To solve these problems, an IFC model checking method based on knowledge base is proposed. By parsing and modeling the IFC model into the labeled property graph (LPG) and storing it in the graph database, the reasonable and query-flexible structured knowledge is formed. Based on the establishment of knowledge base, we designed a property link reasoning and pruning based IFC semantic checking algorithms and the related geometric checking algorithms. The IfcGraph automatic checking system is developed, which realizes efficient storage and flexible checking of models and improves the efficiency and usability of the automatic checking process. Finally, the feasibility of the proposed method and system is verified by a practical engineering project.

Key words: BIM, IFC, model checking, knowledge base, LPG