能否在SHACL Schema中定义判别联合及条件属性约束？

是的，SHACL完全支持这类条件约束（即你所说的判别联合），可以通过多种标准语法实现你描述的场景：仅当ex:type的值为Dog时，才对ex:tail属性强制执行minCount:1约束。以下是几种可行方案：

方案一：用sh:or组合合法节点状态 #

核心逻辑是定义两种合规的节点情况，只要满足其一即可：

1. 节点的ex:type不是Dog（此时ex:tail无强制要求）
2. 节点的ex:type是Dog，且ex:tail至少存在一个有效值

对应的SHACL代码：

ex:Animal a rdfs:Class, sh:NodeShape ;
  sh:property [
    sh:path ex:type ;
    sh:maxCount 1 ;
    sh:minCount 1 ;
    sh:in ("Dog" "Frog") ;
  ] ;
  sh:or (
    [ sh:not [ sh:property [ sh:path ex:type ; sh:hasValue "Dog" ] ] ]
    [
      sh:property [ sh:path ex:type ; sh:hasValue "Dog" ] ;
      sh:property [
        sh:path ex:tail ;
        sh:in ("Fluffy" "Long") ;
        sh:maxCount 1 ;
        sh:minCount 1 ;
      ]
    ]
  ) .

方案二：给属性约束添加sh:node条件 #

直接为ex:tail的属性约束指定生效条件：仅当节点满足指定形状（ex:type为Dog）时，该约束才会被应用。

对应的SHACL代码：

ex:Animal a rdfs:Class, sh:NodeShape ;
  sh:property [
    sh:path ex:type ;
    sh:maxCount 1 ;
    sh:minCount 1 ;
    sh:in ("Dog" "Frog") ;
  ] ;
  sh:property [
    sh:path ex:tail ;
    sh:in ("Fluffy" "Long") ;
    sh:maxCount 1 ;
    sh:minCount 1 ;
    # 仅当节点符合此形状时，才启用tail的约束
    sh:node [
      sh:property [ sh:path ex:type ; sh:hasValue "Dog" ] ;
    ] ;
  ] .

方案三：用sh:when+sh:then规则（适合复杂逻辑） #

如果需要更灵活的条件触发逻辑，可以使用SHACL规则机制，通过sh:when匹配条件，sh:then定义对应的约束（该方案还可扩展用于数据推理）。

对应的SHACL代码：

ex:Animal a rdfs:Class, sh:NodeShape ;
  sh:property [
    sh:path ex:type ;
    sh:maxCount 1 ;
    sh:minCount 1 ;
    sh:in ("Dog" "Frog") ;
  ] ;
  sh:rule [
    sh:when [ sh:property [ sh:path ex:type ; sh:hasValue "Dog" ] ] ;
    sh:then [
      sh:property [
        sh:path ex:tail ;
        sh:in ("Fluffy" "Long") ;
        sh:maxCount 1 ;
        sh:minCount 1 ;
      ]
    ] ;
  ] .

补充说明 #

你提供的示例代码中使用的sh:condition并非SHACL标准约束词汇，这是代码无效的原因，替换为上述标准语法即可解决问题。三种方案中，方案一、二更适合纯验证场景，方案三适合需要结合推理的复杂场景，可根据实际需求选择。

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