Shacl sh:qualifiedValueShape 表達式的縮寫

Question

假設我試圖表達Binding必須正好有 1 個伙伴是FunctionalClass和正好有 1 個伙伴是Protein 。

我想知道這是否足夠

resnet:Binding
  rdf:type owl:Class ;
  rdf:type sh:NodeShape ;
  rdfs:label "Binding" ;
  rdfs:subClassOf owl:Thing ;
  sh:property [
      sh:path resnet:partner ;
      sh:NodeKind sh:IRI ;
      sh:qualifiedMaxCount 1 ;
      sh:qualifiedMinCount 1 ;
      sh:qualifiedValueShape [
          sh:class resnet:FunctionalClass ;
        ] ;
    ] ;
  sh:property [
      sh:path resnet:partner ;
      sh:NodeKind sh:IRI ;
      sh:qualifiedMaxCount 1 ;
      sh:qualifiedMinCount 1 ;
      sh:qualifiedValueShape [
          sh:class resnet:Protein ;
        ] ;
    ] ;
.

還是我需要完整的儀式

resnet:Binding
  rdf:type owl:Class ;
  rdf:type sh:NodeShape ;
  rdfs:label "Binding" ;
  rdfs:subClassOf owl:Thing ;
  sh:property [
      sh:path resnet:partner ;
      sh:minCount 2 ;
      sh:maxCount 2 ;
    ] ;
  sh:property [
      sh:path resnet:partner ;
      sh:qualifiedMaxCount 1 ;
      sh:qualifiedMinCount 1 ;
      sh:qualifiedValueShape [
          sh:class resnet:FunctionalClass ;
        ] ;
    ] ;
  sh:property [
      sh:path resnet:partner ;
      sh:qualifiedMaxCount 1 ;
      sh:qualifiedMinCount 1 ;
      sh:qualifiedValueShape [
          sh:class resnet:Protein ;
        ] ;
    ] ;
.

Answer 1

我相信在某些合作伙伴既是 FunctionalClass 又是蛋白質的情況下，您需要第二個，即您可能只有一個值並且仍然滿足第一個形狀。

或者，這看起來像是 sh:qualifiedValueShapesDisjoint 的情況