Shacl sh:qualifiedValueShape表达式缩写

Question

比方说，我试图表达的是，一个FunctionalClass绑定必须有一个合作伙伴，这是一个，也就是一个合作伙伴，它是蛋白。

我想知道这是否足够

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的一个例子:QufiedValueShapesDis连接处