1.一种基于规范知识图谱IFC模型的自动合规性检查方法,其特征在于,包括以下步骤:步骤1,根据每条规范的图谱将规范拆分成依次需要检查的三元组;
步骤2,依次遍历每个三元组;
步骤3:检查并记录三元组中节点的不符合IFC实体集合与节点之间的关联关系集合;
所述步骤3中的检查三元组节点关系的具体方法为:
步骤3.1,判断三元组的前节点是否已经有映射IFC实体的记录集合L1,如果没有执行步骤3.2,有则执行步骤3.3;
步骤3.2,根据前节点类型与IFC的映射,在IFC模型中检索出所有当前节点对应的IFC实体集合LQ,执行步骤3.3;
步骤3.3,判断三元组的后节点是否已经有映射IFC实体的记录集合L2,如果没有执行步骤3.4,有则执行步骤3.5;
步骤3.4,根据后节点类型与IFC的映射,在IFC模型中检索出所有当前节点对应的IFC实体集合LH,执行步骤3.5;
步骤3.5,根据边的约束类型与前节点的LQ集合和后节点的LH集合,检查LQ和LH集合中所有符合约束的IFC实体,删除LQ,LH集合中不符合的IFC实体,记录前节点不符合的IFC实体集合为NQ,记录前节点和后节点的关联关系集合M;
步骤4,所有三元组遍历检查完成后,对不符合IFC实体集合与节点映射集合进行修改;
步骤4中,所述修改方法具体为:
根据最后一个三元组的前节点不符合IFC实体集合NQ1以及倒数第二个三元组的前后节点关联关系M2,判断M2集合中是否存在NQ1集合中的IFC实体,如果存在,根据M2集合中的对应关系,删除倒数第二个三元组的前节点LQ2中与NQ1中有关系的实体,删除的实体增加到倒数第二个三元组的前节点不符合IFC实体集合NQ2中,再根据修改后的NQ2和倒数第三个三元组的前后节点关联关系M3,依次修改每个三元组的前节点映射集合LQ,前节点不符合IFC实体集合NQ,直至第一个三元组;
步骤5,输出检查结果。
2.根据权利要求1所述的一种基于规范知识图谱IFC模型的自动合规性检查方法,其特征在于,所述步骤1中,三元组由2个节点以及它们之间的关系构成。
3.根据权利要求1所述的一种基于规范知识图谱IFC模型的自动合规性检查方法,其特征在于,步骤5中,所述输出结果具体为:第一个三元组的前节点映射IFC实体集合LQ中所有的实体为符合规范的IFC实体,不符合IFC实体集合NQ中的实体为不符合规范的IFC实体。