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

一个 约束 组件是一个 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 Core 中包含的约束组件列表在第 4 节中描述。 SHACL-SPARQL 可用于声明额外的基于 SPARQL 的约束组件。

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

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

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

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

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

SHACL Core 包括以下种类的目标：

• 节点目标
• 基于类的目标（包括隐式基于类的目标）
• subjects-of 目标
• objects-of 目标
• where 目标
• 显式形状目标

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

目标产生的 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, data graph, focus node, {}) 产生 true 作为其唯一 输出节点，则该形状称为已停用。 已停用的形状在验证期间会被忽略。

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

一个以形状为主语、 以参数（例如 sh:minCount）为 谓词的 三元组，最多可以具有一个 带有属性 sh:deactivated 的值的 具化器。

令 expr 为一个具化器中 sh:deactivated 的 值，该具化器位于一个 三元组上， 该三元组以形状为主语，并以一个参数作为谓词。 如果 evalExpr(expr, data graph, focus node, {}) 产生 true 作为其唯一 输出节点，则使用该三元组的约束称为已停用约束。 已停用约束在验证期间会被忽略。

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

在 SHACL Core 中，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 处理器 SHOULD 产生失败。 另见 6.7.1.4 形状图的 语法检查（sh:shapesGraphWellFormed）。

以下属性是 SHACL Core 中所谓的期望形状的约束 参数：

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

以下属性是 SHACL Core 中所谓的接受列表的约束参数：

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

RDF 图 G 中的一个形状 s1 引用 G 中的形状 s2， 当且仅当它对某个约束组件的某个非接受列表、期望形状的参数具有 s2 作为值，或者 s2 是某个 约束组件的某个接受列表、期望形状的参数的 值的成员。 如果 RDF 图 G 中的一个形状通过 G 中引用关系的传递闭包与 它自身相关联，则它是 G 中的递归 形状。

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

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

上述递归策略被选择用于支持多种实现 策略。 通过将递归留为未定义，实现可以选择不支持递归，从而 能够发出一组静态 SPARQL 查询（针对 SPARQL 端点），而无需支持 循环。 工作组知道其他实现可能支持递归，并且某些形状 图可能 依赖这些具体特性。 预期未来工作，例如在 W3C Community Groups 中的工作，将会定义 递归具有良好定义的特定 SHACL 方言。

验证过程的结果是一个 RDF 图，其中恰好有一个 sh:ValidationReport 的 SHACL 实例。 该 RDF 图 MAY 包含额外信息，例如出处 元数据。

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

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

对于节点形状，值节点是各个焦点节点，形成一个恰好有一个成员的集合。

对于对 sh:path p 具有值的 属性形状， 值节点集合由以下步骤产生：

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

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

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

约束组件 IRI： sh:MinExclusiveConstraintComponent

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

如果值节点无法与指定范围比较，则存在验证结果， 例如当有人将字符串与整数比较时。

约束组件 IRI： sh:MinInclusiveConstraintComponent

约束组件 IRI： sh:MaxExclusiveConstraintComponent

约束组件 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 指定这样一种条件：值节点集合 与可从焦点节点 通过SHACL 属性路径到达的节点集合不相交， 该路径是 sh:disjoint 的值。

约束组件 IRI： sh:DisjointConstraintComponent

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

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

sh:subsetOf 指定这样一种条件：所有值节点 也必须可从焦点节点通过使用 sh:subsetOf 指定的 SHACL 属性 路径到达。

约束组件 IRI： sh:SubsetOfConstraintComponent

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

以下示例说明在形状中使用 sh:subsetOf，以指定 某个人最喜欢的孩子必须在实际孩子之中。

sh:lessThan 指定这样一种条件：每个值节点都小于 可从焦点节点通过 SHACL 属性路径到达的所有节点， 该路径是 sh:lessThan 的值。

约束组件 IRI： sh:LessThanConstraintComponent

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

以下示例说明在形状中使用 sh:lessThan，以指定 ex:startDate 的所有值都“早于” ex:endDate 的值。

sh:lessThanOrEquals 指定这样一种条件：每个值节点 都小于或等于 可从焦点节点通过 SHACL 属性路径到达的所有节点， 该路径是 sh:lessThanOrEquals 的值。

约束组件 IRI： sh:LessThanOrEqualsConstraintComponent

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 中的所有约束都会在执行时进行 AND 合取。考虑以下示例：

正确解释是（shapeA OR shapeB）AND（shapeC OR 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.5.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 的值，或者二者各一个值。

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

以下示例形状可用于指定这样一种条件：属性 ex:parent 恰好具有两个值， 并且其中至少一个是女性。

以下示例说明如何使用 sh:qualifiedValueShapesDisjoint 表达一只手必须至多有 5 个 ex:digit 值（使用 sh:maxCount 表达）， 并且其中恰好一个必须是 ex:Thumb 的实例，而恰好 4 个必须是 ex:Finger 的实例， 但拇指和手指必须不相交。 换句话说，在一只手上，没有任何手指也能被计为拇指。

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

约束组件 IRI： sh:ReifierShapeConstraintComponent

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

RDF 数据模型提供了极大的灵活性。 原则上，任何节点都可以对任何属性具有值。 然而，在某些情况下，指定哪些属性可以应用于 节点的条件是有意义的。 SHACL Core 语言包含一个名为 sh:closed 的属性，可用于 指定这样一种条件：每个值节点仅对那些已通过该形状经由 sh:property 指定的 属性形状显式枚举的属性具有值。

约束组件 IRI： sh:ClosedConstraintComponent

function collectProperties(S)
    add all IRI properties that can be reached from S via the SPARQL path
            sh:property/sh:path
    if S is a SHACL instance of rdfs:Class in the shapes graph {
        for each triple in the shapes graph matching (S rdfs:subClassOf ?o)
            collectProperties(?o)
        for each triple in the shapes graph matching (?s sh:targetClass S)
            collectProperties(?s)
    }
    if S is a SHACL instance of sh:NodeShape in the shapes graph
        for each triple in the shapes graph matching (S sh:node ?o)
            collectProperties(?o)

for each rdf:type T of the value node in the data graph
    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 声明。