7、LDP-DL：定义链接数据平台设计的语言

LDP-DL：定义链接数据平台设计的语言

1. 抽象语法

在开始之前，我们假设大家熟悉国际资源标识符（IRIs）、RDF 图、命名图、查询变量、查询模式、构造查询、图模板以及来自 RDF 和 SPARQL 的解决方案映射等概念。同时，假定存在一个无限集 D，其元素为文档，用 IRI 表示所有 IRIs 的集合，V 表示查询变量的集合，G 表示所有 RDF 图的集合。

设计文档可抽象为一对 ⟨CM, NM⟩，其中 CM 是容器映射（ContainerMaps）的集合，NM 是非容器映射（NonContainerMaps）的集合。非容器映射是一对 ⟨unm, RM⟩，unm 是一个 IRI，RM 是资源映射（ResourceMaps）的集合。容器映射是一个元组 ⟨ucm, RM, CM, NM⟩，ucm 是一个 IRI，RM 是资源映射的集合，CM 是容器映射的集合，NM 是非容器映射的集合。资源映射是一个元组 ⟨urm, qp, cq, DS⟩，urm 是一个 IRI，qp 是一个 SPARQL 查询模式，cq 是一个 CONSTRUCT 查询，DS 是数据源（DataSources）的集合。

数据源有多种描述方式，这里仅考虑 ⟨uds, uloc⟩ 或 ⟨uds, uloc, ulr⟩ 这两种情况，其中 uds、uloc 和 ulr 分别是指向数据源、其位置和 RDF 提升规则的 IRI。

所有 LDP - DL 设计文档的组件都有一个 IRI，用 iri(x) 表示 ∗Map 或数据源 x 的 IRI。在资源映射中，qp 用于从数据源中提取一组相关资源，cq 用于生成与相关资源关联的 LDP - RS 的图。在数据源中，uloc 对应源文件的位置，ulr 是