建筑工程信息模型实体继承关系、典型数据模式拓展

建筑工程实体继承关系结构元素数据模式的实体继承关系应符合图A.0.1的规定。图A.0.1结构元素领域实体继承关系

结构分析数据模式的实体继承关系应符合图A.0.2的规定。图A.0.2结构分析领域实体继承关系管道与消防数据模式的实体继承关系应符合图A.0.3的规定。图A.0.3管道与消防领域实体继承关系

暖通空调数据模式的实体继承关系应符合图A.0.4的规定。图A.0.4暖通空调领域实体继承关系电气专业数据模式的实体继承关系应符合图A.0.5的规定。图A.0.5电气专业领域实体继承关系建筑控制数据模式的实体继承关系应符合图A.0.6的规定。图A.0.6建筑控制领域实体继承关系建筑工程典型数据模式拓展实体拓展语义定义（Semanticdefinition）预制混凝土叠合楼板（IfcPrecastHalfFloor）用于表示预制混凝土叠合楼板，是一个带有格构梁、纵向和横向钢筋的半成品板系统。它由预制的大尺寸钢筋混凝土板组成，并在施工现场填充现浇混凝土。继承关系（Entityinheritance）预制混凝土叠合楼板经现场浇筑混凝土后形成楼板最终成品，因此属于建筑元素部件（IfcBuildlingElementPart）的子类。图B.0.1给出了预制混凝土叠合楼板的实体继承关系UML图。图B.0.1预制混凝土叠合楼板实体继承关系特性（Attributes）预制混凝土叠合楼板在继承其父类所有特性的同时，其新增特性应按照表B.0.1-1采用。表B.0.1-1预制混凝土叠合楼板特性特性类型描述预定义类型

（PredefinedType）可选预制混凝土叠合楼板类型枚举（OPTIONALIfcPrecastHalfFloorTypeEnum）枚举中指定的预制混凝土叠合楼板的预定义通用类型。可能存在专门为预定义类型给定的属性集。正式命题（Formalpropositions）预制混凝土叠合楼板的正式命题应按照表B.0.1-2采用。表B.0.1-2预制混凝土叠合楼板正式命题名称EXPRESS表达正确预定义类型

（CorrectPredefinedType）NOT(EXISTS(PredefinedType))OR

(PredefinedType<>IfcPrecastHalfFloorTypeEnum.USERDEFINED)OR

((PredefinedType=IfcPrecastHalfFloorTypeEnum.USERDEFINED)ANDEXISTS(SELF\IfcObject.ObjectType))正确类型分配

（CorrectTypeAssigned）(SIZEOF(IsTypedBy)=0)OR

(‘CN_IFC.IFCPRECASTHALFFLOORTYPE'INTYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType))属性集（Propertysets）与数量集（Quantitysets）预制混凝土叠合楼板在继承其父类建筑元素部件（IfcBuildlingElementPart）所有可用属性集与数量集的同时，其新增属性集与数量集应包括：预制混凝土叠合楼板通用属性集（Pset_PrecastHalfFloorCommon）；预制混凝土叠合楼板基础数量集（Qto_PrecastHalfFloorBaseQuantities）。概念应用（Conceptusage）预制混凝土叠合楼板在继承其父类所有概念应用的同时，其新增概念应用应按照表B.0.1-3采用。表B.0.1-3预制混凝土叠合楼板概念应用概念应用描述对象类型

（ObjectTyping）通用（General）此概念可应用于下列资源:预制混凝土叠合楼板类型（IfcPrecastHalfFloorType）形式化表达（Formalrepresentation）ENTITYIfcPrecastHalfFloor SUBTYPEOF(IfcBuildingElementPart); PredefinedType:OPTIONALIfcPrecastHalfFloorTypeEnum;WHERE CorrectPredefinedType:NOT(EXISTS(PredefinedType))OR(PredefinedType<>IfcPrecastHalfFloorTypeEnum.USERDEFINED)OR((PredefinedType=IfcPrecastHalfFloorTypeEnum.USERDEFINED)ANDEXISTS(SELF\IfcObject.ObjectType)); CorrectTypeAssigned:(SIZEOF(IsTypedBy)=0)OR(‘CN_IFC.IFCPRECASTHALFFLOORTYPE'INTYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType));END_ENTITY参考预制混凝土叠合楼板的其他内容可参考其父类建筑元素部件(IfcBuildingElement

Part)的相关定义。类型拓展语义定义（Semanticdefinition）预制混凝土叠合楼板类型枚举（IfcPrecastHalfFloorTypeEnum）定义了不同类型的预制混凝土叠合楼板。类型值（Typevalues）预制混凝土叠合楼板类型枚举所含枚举值应按照表B.0.2采用。表B.0.2预制混凝土叠合楼板类型枚举值枚举值标识备注STEELTRUSS桁架钢筋叠合板PRESTRESSED预应力叠合板SINGLE单向传力叠合楼板DOUBLE双向传力叠合楼板USERDEFINED用户定义NOTDEFINED未定义形式化表达（Formalrepresentation）TYPEIfcPrecastHalfFloorTypeEnum=ENUMERATIONOF(STEELTRUSS,PRESTRESSED,SINGLE,DOUBLE,USERDEFINED,NOTDEFINED);END_TYPE引用（References）预制混凝土叠合楼板类型枚举的其他内容宜参考其适用实体对象，包括：预制混凝土叠合楼板(IfcPrecastHalfFloor)；预制混凝土叠合楼板类型(IfcPrecastHalfFloorType)。属性集拓展语义定义（Semanticdefinition）预制混凝土叠合楼板通用属性集（Pset_PrecastHalfFloorCommon）定义了适用于所有预制混凝土叠合楼板(IfcPrecastHalfFloor)实例的通用属性。适用实体（Applicableentities）该属性集适用于以下实体对象：预制混凝土叠合楼板(IfcPrecastHalfFloor)；预制混凝土叠合楼板类型(IfcPrecastHalfFloorType)。属性（Properties）预制混凝土叠合楼板通用属性集所含属性项应按照表B.0.3采用。表B.0.3预制混凝土叠合楼板通用属性项属性名称属性类型数据类型备注JointType枚举值属性（IfcPropertyEnumeratedValue）预制混凝土叠合楼板接缝类型属性枚举（PEnum_PrecastHalfFloorJointType）接缝类型数量集拓展语义定义（Semanticdefinition）预制混凝土叠合楼板基础数量集（Qto_PrecastHalfFloorBaseQuantities）定义了适用于所有预制混凝土叠合楼板实例的基础数量。适用实体（Applicableentities）该属性集适用于以下实体对象：预制混凝土叠合楼板(IfcPrecastHalfFloor)；预制混凝土叠合楼板类型(IfcPrecastHalfFloorType)。属性（Properties）预制混凝土叠合楼板基础数量集所含数量应按照表B.0.4采用。表B.0.4预制混凝土叠合楼板基础数量属性名称数据类型备注PrecastFloorThickness长度数量（IfcQuantityLength）预制板厚度OvertoppingThickness长度数量（IfcQuantityLength）叠合层厚度Span长度数量（IfcQuantityLength）跨度属性枚举拓展语义定义（Semanticdefinition）预制混凝土叠合楼板连接类型属性枚举（PEnum_Pre