形状可以使用约束组件的参数声明约束。

一个 约束 组件是一个 IRI。 每个约束组件都有一个或多个 必需 参数，每个参数都是一个属性。 每个约束组件都有零个或多个 可选 参数，每个参数都是一个属性。 约束组件的 参数是其必需参数加上 其可选参数。

例如，组件 sh:MinCountConstraintComponent 声明参数 sh:minCount，用于表示这样一种限制： 某个节点对某个特定属性至少具有最小数量的值。

对于一个具有必需参数 p1, ... pn 的约束组件 C， 当形状图 SG 中的一个形状 s 在 SG 中对 pi 具有 vi 作为值时， s 声明一个具有种类 C、且具有必需参数值 <p1,v1>, ... <pn,vn> 的约束。 对于具有可选参数的约束组件， 约束声明由该形状对该组件所有必需参数和可选 参数所具有的值组成。

有些约束组件只声明单个参数。 例如 sh:ClassConstraintComponent 只有单个 参数 sh:class。 这些参数可以在同一个形状中多次使用， 并且这类参数的每个值都声明一个单独的约束。 这些声明的解释是合取，即所有约束都适用。 下面的示例指定 ex:customer 的值必须同时是 ex:Customer 和 ex:Person 的SHACL 实例。

某些约束组件（如 sh:PatternConstraintComponent）声明多个 参数。 对这类组件的任一参数具有多个值的形状是格式不良的。

绕过此语法规则的一种方式是将约束分散到多个（属性）形状中， 如下例所示。

约束组件与验证器相关联， 验证器提供关于如何使用参数来验证数据的指令（例如通过 SPARQL 查询表达）。 针对某个形状验证一个 RDF 项， 涉及使用相应组件关联的验证器， 针对每个约束来验证该项；其中该 形状对该约束所属组件的所有必需 参数都具有值。

SHACL 核心中包含的约束组件列表在7. 核心约束组件中进行了描述。 SHACL-SPARQL 可用于声明其他基于 SPARQL 的约束组件。

使用来自数据图的三元组针对某个形状进行验证的 RDF 项称为焦点节点。

本节其余部分是非规范性的。

某个形状的焦点节点集合可以按如下方式确定：

• 在一个形状中使用目标 声明指定
• 在任一约束中指定，该约束在期望形状的约束参数（例如 sh:node）的参数中引用一个形状
• 作为显式输入指定给 SHACL 处理器，用于针对某个形状验证特定 RDF 项

目标声明是形状在形状图中的 三元组，这些三元组以该形状为主语，并以本文档中描述的某些属性 （例如 sh:targetClass）为谓词。 此外，sh:shape 三元组可以在数据图中声明目标。 目标声明可用于为形状生成焦点节点。 目标声明的目标是通过 将本节其余部分描述的规则应用于数据图而生成的 RDF 术语集合。 形状的目标是为该形状声明的各个 目标 所生成的所有 RDF 术语的并集，这些目标是为该 形状声明的。

SHACL 核心包含以下类型的目标：

• 节点目标
• 基于类的目标（包括隐式的基于类的目标）
• 主语目标
• 对象目标
• 条件目标
• 显式形状目标

本引言的其余部分为非规范性内容。

目标生成的 RDF 术语不要求作为节点存在于数据图中。 每当直接将焦点节点作为某个形状的验证过程的输入时，都会忽略该形状的目标。 这包括以下情况：形状是某个 要求形状的约束参数（例如 sh:node）的值，并且 在验证相应的约束组件（例如 sh:NodeConstraintComponent）期间确定了焦点节点。 在这种情况下，所提供的焦点节点不需要属于该形状的 目标。

在 形状图中，形状的 sh:severity 属性最多只能有一个值。 sh:severity 的每个值都是一个IRI。

除了按形状声明严重性之外，属性 sh:severity 还可以用于一个三元组的 具化器上，其中该三元组以形状为主语，并以该约束的参数之一作为谓词。

令 T 为在某个形状中表示约束的一组 三元组。 一个形状图可以在 T 中这些 三元组的具化器中，为属性 sh:severity 指定至多一个值。

sh:severity 的值称为严重性。 SHACL 包括下表列出的 IRI，用于表示严重性。 它们在 SHACL 词汇中声明为 sh:Severity 的 SHACL 实例。

本节其余部分是非规范性的。

验证过程根据一致性检查处理 sh:severity 的值。 此外，用户界面工具可以使用这些值对验证结果进行分类。 sh:severity 的值由 SHACL 处理器用来填充验证结果的 sh:resultSeverity 字段，参见验证结果中关于严重性的章节。 任何 IRI 都可以用作严重性。

对于每个形状和约束，如果未指定 sh:severity， 默认值为 sh:Violation。 以下示例说明了这一点。

以下示例是上面形状图的一个变体，但使用具化来 指定单个约束的严重性：

形状可以具有 sh:message 属性的值。 对于 sh:message，其值是字面量，其数据类型 为 xsd:string、rdf:dirLangString、rdf:langString 或 rdf:HTML。 一个主语不应具有多个语言标签相同的 sh:message 值， 也不应 具有多个数据类型为 xsd:string 的值。

如果一个形状在形状图中至少具有一个 sh:message 的值，则 由该形状产生的所有验证结果都会恰好具有这些消息 作为其 sh:resultMessage 的值，即这些值会从形状 图复制到结果图中。

除了按形状声明消息之外，属性 sh:message 还可以用于一个三元组的 具化器上，其中该三元组以形状为主语，并以该约束的参数之一作为谓词。

令 T 为在某个形状中表示约束的一组 三元组。 一个形状图可以在 T 中这些 三元组的具化器中，为属性 sh:message 指定至多一个值。

本节其余部分是非规范性的。

有关如何填充 sh:resultMessage 值的更多详细信息， 请参阅验证结果中关于 sh:resultMessage 的章节。

前一节中的示例使用此机制为第二个验证结果提供 两条消息。 以下示例是一个使用具化声明消息的变体。

形状最多只能有 一个 sh:deactivated 属性的值。 sh:deactivated 的值是一个节点表达式， 其唯一的输出节点必须是 true 或 false。

设 expr 为一个形状中 sh:deactivated 的值。 如果 evalExpr(expr, 数据图, 焦点节点, {}) 生成 true 作为其唯一的 输出节点，则该形状称为已停用的形状。 在验证期间会忽略已停用的形状。

除了停用一个形状的所有约束之外，还可以停用 单个约束。 这是通过具体化实现的。

一个以三元组，其形状作为主语， 某个参数（例如 sh:minCount）作为谓词，最多只能有一个 具体化节点，其值属于 属性 sh:deactivated。

设 expr 为一个具体化节点中 sh:deactivated 的值，该节点具体化了一个以形状为 主语、以参数为谓词的三元组。 如果 evalExpr(expr, 数据图, 焦点节点, {}) 生成 true 作为其唯一的 输出节点，则使用该三元组的约束称为已停用的约束。 在验证期间会忽略已停用的约束。

本节其余部分为非规范性内容。

在 SHACL 核心中，sh:deactivated 的唯一有效值是 常量字面量节点表达式 true 和 false。

此特性的用例包括形状复用和调试。 在将其他图或文件中的形状导入给定形状图的情况下， 可以在本地形状图中将导入 形状的 sh:deactivated 设置为 true， 以排除不适用于当前应用上下文的形状。 这样，即使不同意原作者作出的某些 假设，也可以复用他人开发的 SHACL 图。 如果形状作者预期其他人可能需要停用或修改某个形状，那么 最好使用IRI 而不是空白节点 来标识实际形状。例如，形状 ex:PersonShape 中属性 ex:name 的属性形状可以具有 IRI ex:PersonShape-name。 sh:deactivated 的另一个典型用例是在形状的开发和测试期间 （临时）停用某些形状。

以下示例演示如何使用 sh:deactivated 停用一个形状。 如果形状是从其他图导入的，则 sh:deactivated true 三元组 将位于执行导入的图中。

以下变体使用具化只停用 sh:minCount 约束，而不影响同一属性形状上的其他约束。

验证 和 符合性 检查 可能导致 失败。 例如，某个 SHACL 处理器可能允许递归形状，但会报告失败， 如果它检测到数据中存在循环。 资源耗尽也可能导致失败报告。 失败通过特定于实现的渠道发出信号。

如果 形状图 包含 格式不正确 的节点， 则验证过程的结果是 未定义的。 SHACL 处理器 应 产生 失败，在这种情况下。 另请参阅 6.8.1.4 语法 检查：形状图 (sh:shapesGraphWellFormed)。

以下属性是所谓的 以形状为预期值的约束 参数，属于 SHACL 核心：

• sh:and
• sh:not
• sh:or
• sh:property
• sh:qualifiedValueShape
• sh:node
• sh:memberShape
• sh:reifierShape
• sh:someValue
• sh:xone

以下属性是所谓的 接受列表的约束参数，属于 SHACL 核心：

• sh:and
• sh:ignoredProperties
• sh:in
• sh:languageIn
• sh:or
• sh:xone

此外，sh:class、sh:datatype、sh:nodeKind、 sh:rootClass 和 sh:uniqueValuesFor 是接受列表的约束参数，当它们的 值 为一个 SHACL 列表 时。

RDF 图 G 中的形状 s1 引用 形状 s2， 后者位于 G 中，如果前者以 s2 作为 值，对应于某个不接受列表的、 以形状为预期值的约束组件参数，或者以 s2 作为 成员，属于 某个 值，该值对应于某个接受列表且以形状为预期值的 约束组件参数， 或者以 s2 作为 值，对应于 sh:targetWhere。 RDF 图 G 中的形状是 递归 形状（在 G 中），如果它与 自身通过 引用 关系在 G 中的传递闭包相关联。

使用 验证 来处理 递归 形状的行为 未在 SHACL 中定义，而是留给 SHACL 处理器实现决定。 例如，SHACL 处理器可以支持递归场景，或者在检测到 递归时产生失败。

本节的其余部分为非规范性内容。

选择上述递归策略是为了支持多种实现 策略。 通过不定义递归，实现可以选择不支持递归，从而 能够发出一组静态的 SPARQL 查询（针对 SPARQL 端点），而不必支持 循环。 工作组认识到，其他实现可能支持递归，并且某些形状 图可能 依赖这些特定特性。 预期未来的工作，例如 W3C 社区组中的工作，将促成定义 特定的 SHACL 方言，其中递归得到明确的定义。

一个 数据图 可以 使用属性 sh:conformsToShapesGraph 表明它 符合 一个给定的 形状图。 该值是一个 IRI，用于标识 形状图。 此属性具有 rdfs:domain sh:DataGraph 和 rdfs:range sh:ShapesGraph。

一个 验证 过程的结果是一个 RDF 图，恰好包含一个 SHACL 实例，其类型为 sh:ValidationReport。

SHACL 将 sh:ValidationResult 定义为 sh:AbstractResult 的子类，以 报告单个 SHACL 验证结果。 SHACL 实现可以使用其他 SHACL 子类，它们属于 sh:AbstractResult，例如， 用于报告成功完成的约束检查或累积的结果。

本节其余小节中描述的所有属性都可以指定在 sh:ValidationResult 中。 属性 sh:focusNode、sh:resultSeverity 和 sh:sourceConstraintComponent 是所有验证结果唯一必需的属性。

一个 数据图 可能有意只包含部分 信息，这些信息涉及它的某些 节点， 例如，当它链接到关注领域之外的“外部”资源时， 或者链接到一些节点，这些节点的其余 三元组 尚未录入，但预期 稍后录入。 SHACL 定义了两个属性，可在 数据图 中使用，以将此类节点声明为 不完整：

• sh:incomplete 声明 主语 是不完整的 (true) 还是完整的 (false)。 这些 值，即 sh:incomplete 的值，是 字面量，其数据类型为 xsd:boolean。
• 值为 true 的 sh:incompleteURIStart 声明所有具有以下 IRI 的节点，即以主语的 IRI 开头的节点，都是不完整的（主语本身除外），除非通过以下方式另有声明： sh:incomplete false。 这些 值，对应于 sh:incompleteURIStart，是 字面量，其数据类型为 xsd:boolean。 这些 主语，属于 三元组，其谓词为 sh:incompleteURIStart，是 IRI。

不完整性值，对于一个 节点 n 而言，是以下 值，对应于 sh:incomplete， 针对 n，在 数据图 中，并加上 值节点，它们针对 n 作为 焦点节点，属于每个 属性形状 p， 位于 形状图 中，该形状以 sh:incomplete 作为其 值， 对应于 sh:path， 其中 n 位于 形状的目标 中，该形状为 p，或者位于 形状的目标 中，该 形状 以 p 作为一个 值，对应于 sh:property。 这使得可以将 节点 声明为不完整，在 形状图 中， 使用 sh:values 或 sh:defaultValue （请参阅 6.9.2 值 节点：属性形状）。

一个 节点 n 是 不完整的，如果 false 不在 以下 不完整性值 中，即 n 的这些值，并且至少 满足以下条件之一：

1. true 位于 不完整性值 中，这些值属于 n。
2. n 是一个 IRI， 它以以下 IRI 开头，但不等于它， 该 IRI 属于任意 主语，该主语以 true 作为其唯一值， 对应于 sh:incompleteURIStart，位于 数据图 中。

特别是，一个 节点，如果同时具有 true 和 false 在其 不完整性值 中，则 不是 不完整的。

字面量 永远不会是 不完整的。

存在 不完整 节点 不会 改变验证 结果， 包括 sh:conforms 的值，该值位于 验证 报告 中。

本节的其余部分为非规范性内容。

基于 SHACL 的工具 可以 使用不完整数据三元组来改变 呈现方式，针对 由不完整数据导致的验证结果。 特别是，工具 可以：

• 在视觉上隐藏或降低违反 sh:minCount 的情况的严重程度，针对 不完整 的 焦点节点
• 在视觉上隐藏违反 sh:class 的情况，针对 不完整 的 值节点

上述列表并非穷尽。 其他示例包括 sh:node 和 sh:qualifiedMinCount。

在以下示例中，ex:Bob 被声明为 不完整，使用 sh:incomplete， 因为他的电子邮件地址尚未录入。 ex:Bob 和 ex:Carla 都违反了 sh:minCount 约束， 但工具可以选择隐藏 ex:Bob 的违规情况， 而正常呈现 ex:Carla 的违规情况。

在以下示例中，数据图 链接到一些公司，这些公司描述于另一个 图中。 它使用 sh:incompleteURIStart 将所有 IRI， 即这些公司的 IRI，声明为 不完整， 以便缺失的 rdf:type 三元组 不一定被显示为 sh:class 违规情况， 呈现给最终用户。 因此，ex:Alice 的违规情况可以被隐藏。 ex:Bob 的违规情况正常显示，因为他的雇主已被声明 为完整，使用 sh:incomplete false。 ex:Carla 符合要求，因为她的雇主被声明为一个 ex:Company。

在以下示例中，形状图 将所有具有以下状态的人 ex:WorkInProgress 声明为 不完整。 该 属性形状 具有 sh:path sh:incomplete， 没有约束，但其 sh:values 生成 值节点 true， 针对每个 焦点节点，它们属于 ex:WorkInProgressShape，这 使 true 成为其 不完整性值 之一。 ex:Dave 和 ex:Erin 都违反了 sh:minCount 约束， 但工具可以选择隐藏 ex:Dave 的违规情况。

对于 节点形状，其 值节点 是单个 焦点节点，形成恰好包含一个成员的集合。

对于 属性形状，它具有一个 值， 对应于 sh:path，即 p，其 值节点 集合通过以下步骤生成：

1. 添加所有 节点，它们位于 数据图 中，并且 可以从 焦点节点 通过 路径映射 到达，该映射属于 p。
2. 如果 e 是 值，对应于 sh:values，位于 属性形状 上， 则添加 输出节点，来自 evalExpr(e, 数据图, 焦点节点, {})。
3. 如果集合仍为空，并且 d 是 值，对应于 sh:defaultValue，位于 该 属性形状 上， 则添加 输出节点，来自 evalExpr(d, 数据图, 焦点节点, {})。

sh:class 指定的条件是每个值节点都是给定类型的SHACL 实例。

约束组件 IRI： sh:ClassConstraintComponent

本节其余部分为非规范性内容。

请注意，sh:class 的多个值被解释为合取， 即值必须是所有这些类的 SHACL 实例。 使用列表可以表达并集语义。

以下示例演示了 sh:class 基于列表的语法， 表示属性 ex:pet 的值必须是猫或狗。

sh:datatype 指定每个值节点的数据类型必须满足的条件。

约束组件 IRI： sh:DatatypeConstraintComponent

本节其余部分为非规范性内容。

sh:datatype 的值通常是数据类型，例如 xsd:string。

以下示例演示了基于列表的语法，表示 rdfs:label 的所有值必须是 xsd:string 或 rdf:langString。

sh:nodeKind 指定每个值节点的 RDF 节点种类必须满足的条件。

约束组件 IRI： sh:NodeKindConstraintComponent

本节其余部分为非规范性内容。

以下示例规定，在任何主语下，ex:knows 的所有值都必须是 IRI。

以下示例演示了基于列表的语法，表示在任何主语下， ex:knows 的所有值都必须是 IRI 或空白节点。

sh:minCount 指定满足条件的值节点的最小数量。 如果最小基数值为 0，则始终满足此约束，因此可以 省略。

约束组件 IRI： sh:MinCountConstraintComponent

本节其余部分为非规范性内容。

sh:maxCount 指定满足条件的值节点的最大数量。

约束组件 IRI： sh:MaxCountConstraintComponent

本节其余部分为非规范性内容。

sh:minExclusive 指定每个值节点必须大于的最小排他值。

约束组件 IRI： sh:MinExclusiveConstraintComponent

本节其余部分为非规范性内容。

如果值节点无法与指定范围进行比较，则会产生一个验证结果， 例如，将字符串与整数进行比较时。

sh:minInclusive 指定每个值节点必须大于或等于的最小包含值。

约束组件 IRI： sh:MinInclusiveConstraintComponent

sh:maxExclusive 指定每个值节点必须小于的最大排他值。

约束组件 IRI： sh:MaxExclusiveConstraintComponent

sh:maxInclusive 指定每个值节点必须小于或等于的最大包含值。

约束组件 IRI： sh:MaxInclusiveConstraintComponent

sh:minLength 指定每个值节点满足 条件所需的最小字符串长度。 此约束可应用于任何字面量和IRI， 但不适用于空白节点。

约束组件 IRI： sh:MinLengthConstraintComponent

本节其余部分为非规范性内容。

请注意，如果 sh:minLength 的值为 0，则不对 字符串长度施加限制，但如果值节点是空白节点，仍会违反该约束。

sh:maxLength 指定每个值节点满足 条件所需的最大字符串长度。 此约束可应用于任何字面量和IRI， 但不适用于空白节点。

约束组件 IRI： sh:MaxLengthConstraintComponent

本节其余部分为非规范性内容。

sh:pattern 指定每个值节点必须匹配的正则表达式， 以满足条件。

约束组件 IRI： sh:PatternConstraintComponent

本节其余部分为非规范性内容。

当设置为 true 时，sh:singleLine 指定 值节点不得包含换行符。 除了约束验证之外，用户界面构建器还可以利用此信息 在（单行）文本字段和（多行）文本区域之间进行选择。

约束组件 IRI： sh:SingleLineConstraintComponent

本节其余部分为非规范性内容。

sh:languageIn 指定的条件是每个 值节点允许使用的语言标签受到给定语言标签列表的限制。

约束组件 IRI： sh:LanguageInConstraintComponent

本节其余部分为非规范性内容。

以下示例形状规定 ex:prefLabel 的所有值 可以使用英语或毛利语。

将属性 sh:uniqueLang 设置为 true，可指定任意两个 值节点不得使用相同的语言标签， 如果存在文本方向，也需要将其考虑在内。

约束组件 IRI： sh:UniqueLangConstraintComponent

本节其余部分为非规范性内容。

sh:memberShape 指定作为SHACL 列表的值节点的所有成员都必须符合给定的节点形状。

约束组件 IRI： sh:MemberShapeConstraintComponent

本节其余部分为非规范性内容。

值节点 v 中每个不符合 $memberShape 的成员 m，都应作为 v 的验证结果中的一个独立 sh:detail 报告。 如果 v 不是有效的SHACL 列表，则应将其 报告为一个顶层验证结果，并且不应尝试验证 各个成员。

有关如何在验证结果中生成 sh:detail 的示例，可参见 SHACL 测试套件中 sh:memberShape 的测试用例：memberShape-001.ttl。

在以下示例中，属性 ex:speakerOrder 的所有值都必须是 成员为 IRI 的 SHACL 列表。

sh:minListLength 指定作为SHACL 列表的值节点必须具有的最少成员数。

约束组件 IRI： sh:MinListLengthConstraintComponent

本节其余部分为非规范性内容。

在以下示例中，属性 ex:skills 的所有值都必须是 至少包含 1 个成员的 SHACL 列表。 有关 sh:minListLength 的其他测试用例，可参见 SHACL 测试套件：minListLength-001.ttl。

sh:maxListLength 指定作为SHACL 列表的值节点最多可以具有的成员数。

约束组件 IRI： sh:MaxListLengthConstraintComponent

本节其余部分为非规范性内容。

在以下示例中，属性 ex:hobbies 的所有值都必须是 最多包含 2 个成员的 SHACL 列表。 有关 sh:maxListLength 的其他测试用例，可参见 SHACL 测试套件：maxListLength-001.ttl。

sh:uniqueMembers 指定作为SHACL 列表的值节点是否必须具有互不重复的成员。

约束组件 IRI： sh:UniqueMembersConstraintComponent

本节其余部分为非规范性内容。

列表 v 中的每个重复成员 m 都应作为 v 的验证结果中的一个独立 sh:detail 报告。 如果列表 v 不是有效的SHACL 列表，则 应将其报告为一个顶层验证结果，并且不应尝试验证 成员的唯一性。

有关如何在验证结果中生成 sh:detail 的示例，可参见 SHACL 测试套件中 sh:uniqueMembers 的测试用例：uniqueMembers-001.ttl。

在以下示例中，属性 ex:preferences 的所有值都必须是 SHACL 列表， 且每个 SHACL 列表中的成员值必须互不重复。

sh:equals 指定所有值节点的集合必须等于 可以从节点集合， 该集合中的节点可从焦点节点出发，通过使用 sh:equals 指定的SHACL 属性 路径到达。

约束组件 IRI： sh:EqualsConstraintComponent

本节其余部分为非规范性内容。

以下示例演示如何在形状中使用 sh:equals 来指定 某些焦点节点的 ex:firstName 和 ex:givenName 必须具有相同的值集合。

以下示例表明，SHACL 属性路径既可用作 sh:path 的值， 也可用作 sh:equals 的值。

sh:disjoint 指定值节点的集合 必须与从节点构成的集合不相交，这些节点可从焦点节点出发， 通过作为 sh:disjoint 的SHACL 属性路径的值 所表示的路径到达。

约束组件 IRI： sh:DisjointConstraintComponent

本节其余部分为非规范性内容。

以下示例演示如何在形状中使用 sh:disjoint 来指定 某些焦点节点的 ex:prefLabel 和 ex:altLabel 不能共享任何值。

sh:subsetOf 指定所有值节点都必须 也能够 从焦点节点出发，通过使用 sh:subsetOf 指定的SHACL 属性 路径到达。

约束组件 IRI： sh:SubsetOfConstraintComponent

本节其余部分为非规范性内容。

以下示例演示如何在形状中使用 sh:subsetOf 来指定 一个人最喜欢的孩子必须是其实际子女之一。

sh:lessThan 指定每个值节点都必须 小于所有 可以从节点构成的集合，这些节点可从焦点节点出发，通过 作为 sh:lessThan 的SHACL 属性路径 的值所表示的路径到达。

约束组件 IRI： sh:LessThanConstraintComponent

本节其余部分为非规范性内容。

以下示例演示如何在形状中使用 sh:lessThan 来指定 ex:startDate 的所有值都必须“早于” ex:endDate 的值。

sh:lessThanOrEquals 指定每个值节点都必须 小于或等于 所有可以从节点构成的集合，这些节点可从焦点节点出发，通过 作为 sh:lessThanOrEquals 的SHACL 属性路径 的值所表示的路径到达。

约束组件 IRI： sh:LessThanOrEqualsConstraintComponent

本节其余部分为非规范性内容。

以下示例演示如何在形状中使用 sh:lessThanOrEquals 来指定 ex:startDate 的值不得晚于 ex:endDate 的值。 与 sh:lessThan 不同，项目可以在开始当天结束。

sh:not 指定每个值节点都不能符合给定的形状。 这相当于否定和逻辑“非”运算符。

约束组件 IRI： sh:NotConstraintComponent

本节其余部分为非规范性内容。

以下示例演示如何在形状中使用 sh:not 来指定 某些焦点节点不能具有任何 ex:property 值。

sh:and 指定每个值节点都必须符合所有给定的 形状。 这相当于合取和逻辑“与”运算符。

约束组件 IRI： sh:AndConstraintComponent

本节其余部分为非规范性内容。

请注意，虽然 sh:and 的值是一个由形状组成的SHACL 列表， 但这些形状的顺序不会影响验证结果。 对于使用短路求值语义的实现，顺序可能影响 验证效率。 建议将更容易求值或更 可能失败的约束放在列表前面。

以下示例演示如何在形状中使用 sh:and 来指定 某些焦点节点恰好具有一个 ex:property 值。 这是通过将一个单独的命名形状（ex:SuperShape）与一个属性形状进行合取实现的，前者 指定 最小数量，后者另外指定最大数量。 如此处所示，sh:and 可用于实现形状之间的特化 机制。

sh:or 指定每个值节点都必须符合至少一个 给定的形状。 这相当于析取和逻辑“或”运算符。

约束组件 IRI：sh:OrConstraintComponent

本节其余部分为非规范性内容。

请注意，虽然 sh:or 的值是一个由形状组成的SHACL 列表， 但这些形状的顺序不会影响验证结果。 对于使用短路求值语义的实现，顺序可能影响 验证效率。 建议将更容易求值或更 可能成功的约束放在列表前面。

以下示例演示如何在形状中使用 sh:or 来指定 某些焦点节点至少具有一个 ex:firstName 值， 或者至少具有一个 ex:givenName 值。

下一个示例展示如何在属性形状中使用 sh:or， 以规定 给定属性 ex:address 的值可以是数据类型为 xsd:string 的字面量， 也可以是类 ex:Address 的SHACL 实例。

请注意，SHACL 中的所有约束在执行时都以逻辑与组合。请考虑以下示例：

正确的解释是（shapeA 或 shapeB）且（shapeC 或 shapeD）。 目标节点必须符合 shapeA 或 shapeB，同时还必须符合 shapeC 或 shapeD。

sh:xone 指定每个值节点都必须恰好符合 一个给定的形状。

约束组件 IRI： sh:XoneConstraintComponent

本节其余部分为非规范性内容。

请注意，虽然 sh:xone 的值是一个由形状组成的SHACL 列表， 但这些形状的顺序不会影响验证结果。

以下示例演示如何在形状中使用 sh:xone 来指定 条件， 即某些焦点节点必须具有 ex:fullName 的值，或者具有 ex:firstName 和 ex:lastName 的值，但不能同时具有两者。

sh:node 指定每个值节点都必须符合给定的节点形状。

约束组件 IRI： sh:NodeConstraintComponent

本节其余部分为非规范性内容。

以下示例演示了在属性形状中使用 sh:node 的方式。 属性 ex:address 的所有值都必须满足 形状 ex:AddressShape 所表达的约束。

以下示例演示了在节点形状中使用 sh:node 的方式。

有关 SHACL 中递归形状的处理，请参见6.6.3 递归 形状的处理。

sh:property 可用于指定每个值节点都具有 给定的属性形状。

约束组件 IRI： sh:PropertyConstraintComponent

本节其余部分为非规范性内容。

请注意，sh:property 与 sh:node 之间存在一个重要区别： 如果值节点违反了约束，则对于该值节点， sh:node 只会产生一个验证结果， 其 sh:sourceConstraintComponent 为 sh:NodeConstraintComponent。 另一方面，sh:property 可以产生任意数量的验证结果， 而这些 结果会将属性形状中各个约束的 约束组件作为其 sh:sourceConstraintComponent 的值。

与所有其他验证结果一样，每当通过 sh:property 到达一个属性形状 时， 验证引擎都必须产生全新的验证结果节点。 这也包括对同一个焦点节点根据同一个 属性形状进行验证的情况， 即使在形状图中是通过不同路径到达该属性形状的。

sh:someValue 指定至少有一个值节点符合 给定的形状。

约束组件 IRI： sh:SomeValueConstraintComponent

本节其余部分为非规范性内容。

请注意，一旦某个值节点符合要求，实现就可以停止处理其他值节点。 由于值节点集合中节点的顺序未定义，因此无法保证任何 会导致失败的节点 一定会被访问。 因此，为了使处理过程可预测，除非所有值节点都已 被访问且没有一个符合要求，否则失败会被静默忽略。

在以下示例中，任何符合 ex:DuckFarmerShape 的节点都需要至少 具有一个 ex:tendsAnimal 值，该值是 ex:Duck 的SHACL 实例。

sh:someValue 可以视为 sh:qualifiedValueShape 和 sh:qualifiedMinCount 1 组合的语法糖。

另请注意，sh:someValue 主要适合用于属性形状。 在节点形状中，使用 sh:someValue 等同于使用 sh:node 或 sh:property。

sh:qualifiedValueShape 指定必须有指定数量的值节点符合给定形状这一条件。 每个 sh:qualifiedValueShape 可以在同一个主语上具有一个 sh:qualifiedMinCount 值、 一个 sh:qualifiedMaxCount 值，或者两者各有一个值。

约束组件 IRI： sh:QualifiedMinCountConstraintComponent、 sh:QualifiedMaxCountConstraintComponent

本节其余部分为非规范性内容。

以下示例形状可用于指定属性 ex:parent 恰好具有两个值， 且其中至少一个为女性。

以下示例演示了如何使用 sh:qualifiedValueShapesDisjoint 表示一只手最多只能具有 5 个 ex:digit 值（通过 sh:maxCount 表达）， 并且其中恰好一个必须是 ex:Thumb 的实例，另有恰好 4 个必须 是 ex:Finger 的实例， 但拇指与其他手指必须互不相交。 换言之，一只手上的其他手指都不能同时计为拇指。

sh:reifierShape 可用于将一个属性形状与一个或多个节点形状关联起来。 任何具体化节点都必须符合这些节点形状。

约束组件 IRI： sh:ReifierShapeConstraintComponent

本节其余部分为非规范性内容。

RDF 数据模型提供了极大的灵活性。 原则上，任何节点都可以具有任何属性的值。 然而，在某些情况下，有必要指定哪些属性可以应用于 节点的条件。 SHACL 核心语言包含一个名为 sh:closed 的属性，可用于 指定每个值节点只能具有 通过 属性形状明确列出的属性的值， 这些属性形状通过 sh:property 为该形状指定。

约束组件 IRI： sh:ClosedConstraintComponent

function collectProperties(S)
    添加所有可以从 S 出发通过 SPARQL 路径到达的 IRI 属性
            sh:property/sh:path
    如果 S 是形状图中 rdfs:Class 的 SHACL 实例 {
        对于形状图中每个匹配 (S rdfs:subClassOf ?o) 的三元组
            collectProperties(?o)
        对于形状图中每个匹配 (?s sh:targetClass S) 的三元组
            collectProperties(?s)
    }
    如果 S 是形状图中 sh:NodeShape 的 SHACL 实例
        对于形状图中每个匹配 (S sh:node ?o) 的三元组
            collectProperties(?o)

对于数据图中值节点的每个 rdf:type T
    collectProperties(T)

本节其余部分为非规范性内容。

以下示例演示如何在形状中使用 sh:closed 来指定 一个条件， 即某些焦点节点只能具有 ex:firstName 和 ex:lastName 的值。 “被忽略”的属性 rdf:type 也将被允许。

sh:closed sh:ByTypes 的用例包括在当前值节点类型的 超类中声明的属性（通过 rdfs:subClassOf）， 以及通过 sh:targetClass 与这些类型关联的其他形状， 还有通过 sh:node 从一个节点形状可以到达的其他节点形状。 sh:ByTypes 的示例可参见测试用例库： closed-003.ttl、 closed-004.ttl。

sh:hasValue 指定至少有一个值节点等于 给定的 RDF 术语这一条件。

约束组件 IRI： sh:HasValueConstraintComponent

本节其余部分为非规范性内容。

sh:in 指定每个值节点都是给定SHACL 列表的一个成员这一条件。

约束组件 IRI：sh:InConstraintComponent

本节其余部分为非规范性内容。

请注意，字面量的匹配必须精确，例如 "04"^^xsd:byte 不匹配 "4"^^xsd:integer。

sh:rootClass 指定的条件是每个值节点都是 给定的类或该类的（传递）子类。

约束组件 IRI： sh:RootClassConstraintComponent

本节其余部分为非规范性内容。

sh:rootClass 约束通常用于值可以为类的属性形状 （例如通过 sh:class rdfs:Class）， 以限制值节点允许的子类层次结构。 给定的类作为允许的类层次结构的上界。

sh:uniqueValuesFor 指定一个值节点的一个或多个指定 属性的值， 在当前形状的所有目标节点中必须唯一。

约束组件 IRI： sh:UniqueValuesForConstraintComponent

本节其余部分为非规范性内容。

请注意，字面量的匹配必须精确，例如 "04"^^xsd:byte 不匹配 "4"^^xsd:integer。 另请注意，sh:uniqueValuesFor 并不要求这些值必须存在，因此 通常会 与 sh:minCount 1 约束结合使用。

请注意，目标节点的计算仅取决于形状的定义，例如 同时包含 sh:uniqueValuesFor 约束的形状上的 sh:targetClass 声明。