8.6.3.5 IfcDocumentReference（文档引用）

RV ⓘ

AbV ⓘ

8.6.3.5.1 语义定义（Semantic definition）

IfcDocumentReference 是对文档位置的引用。该引用通过系统可解释的_Location_属性（URL字符串）提供文档所在位置，以及可选的继承内部引用_Identification_，用于指向文档内系统可解释的位置。可选的继承_Name_属性旨在为人类读者提供有意义的标识。还可通过引用_IfcDocumentInformation_来捕获可选的文档元数据。

8.6.3.5.2 实体继承（Entity inheritance）

- IfcExternalReference

8.6.3.5.3 特性（Attributes）

#	特性（Attributes）	类型	描述
IfcExternalReference (4)
1	Location	OPTIONAL IfcURIReference	可通过电子方式访问外部源（分类、文档或库）的位置。电子位置以 URI 形式提供，通常作为 URL 位置字符串给出。 IFC4 变更数据类型已从 IfcLabel 更改为 IfcURIReference 。
2	Identification	OPTIONAL IfcIdentifier	Identification 提供外部源（分类、文档或库）内引用项的唯一标识符。它可以作为以下形式提供： * 键，例如分类标记，如 NF2.3 * 句柄 * uuid 或 guid 根据其使用上下文（必须通过本地协议确定），它可能是人类可读的（例如键）或不可读的（例如句柄或 uuid）。 IFC4 变更为保持一致性，属性从 ItemReference 重命名。
3	Name	OPTIONAL IfcLabel	用于进一步指定引用的可选名称。它可以提供人类可读的标识符（不一定需要在文档内部结构中有对应项）。
	ExternalReferenceForResources	SET [0:?] OF IfcExternalReferenceRelationship FOR RelatingReference	引用此外部引用与 IfcResourceObjectSelect 内由外部引用标记的对象之间的所有关联。 IFC4 变更添加了具有向上兼容性的新逆向属性。
点击显示 4 个隐藏的继承特性点击隐藏 4 个继承特性
IfcDocumentReference (3)
4	Description	OPTIONAL IfcText	用于说明目的的文档引用描述。 IFC4变更在属性列表末尾新增该属性。
5	ReferencedDocument	OPTIONAL IfcDocumentInformation	被引用的文档。
	DocumentRefForObjects	SET [0:?] OF IfcRelAssociatesDocument FOR RelatingDocument	与对象相关联的文档引用。 IFC4变更新增反向属性。

表 8.6.3.5.A

8.6.3.5.4 形式化命题（Formal propositions）

名称	描述
WR1	仅当未附加文档信息（包括文档名称）时，才应提供名称
`EXISTS(Name) XOR EXISTS(ReferencedDocument)`

表 8.6.3.5.B

8.6.3.5.5 形式化表示（Formal representation）

ENTITY IfcDocumentReference
 SUBTYPE OF (IfcExternalReference);
	Description : OPTIONAL IfcText;
	ReferencedDocument : OPTIONAL IfcDocumentInformation;
 INVERSE
	DocumentRefForObjects : SET [0:?] OF IfcRelAssociatesDocument FOR RelatingDocument;
 WHERE
	WR1 : EXISTS(Name) XOR EXISTS(ReferencedDocument);
END_ENTITY;