SHACL规范疑问：含sh:path的空白节点为何可作为sh:and形状参数？

疑问解答 #

你对规范的理解偏差核心是混淆了「形状（Shape）」和「节点形状（Node Shape）」的范围边界，相关规则如下：

1. SHACL形状的两大分类 #

SHACL规范中定义的形状分为两类，二者都属于合法的形状范畴，可作为逻辑约束的参数：

• 节点形状：就是你引用的定义，不能包含sh:path属性，约束对象直接是焦点节点本身
• 属性形状：必须包含sh:path属性，约束对象是焦点节点通过sh:path指定路径关联到的值，不需要显式声明a sh:PropertyShape，只要携带sh:path属性，SHACL处理器会自动隐式识别为属性形状

2. 示例中空白节点的属性 #

你疑问中提到的空白节点：

[ 
  sh:path ex:property ; 
  sh:maxCount 1 ; 
]

本质是一个隐式声明的属性形状，完全符合规范定义，不属于节点形状，自然不受「节点形状不能带sh:path」的规则限制。

3. sh:and参数的规则 #

SHACL规范明确说明，sh:and、sh:or、sh:not这类逻辑约束的参数接受任意类型的形状，没有限制只能传入节点形状。示例验证逻辑如下：

• 用第一个参数ex:SuperShape（节点形状）验证焦点节点，要求ex:property属性最少1个值
• 用第二个参数（属性形状）验证焦点节点，要求ex:property属性最多1个值
  二者同时满足即实现了ex:property恰好1个值的约束效果，和规范定义不存在冲突。

内容的提问来源于stack exchange，提问作者MaatDeamon