SHACL联合形状

Question

我为以下用例构建了一个SPARQL查询:如果IfcWallStandardCase有一个属性'FireRating'，那么与之关联的门也应该有一个属性'FireRating‘。

数据图

@prefix inst1: <https://someHost.com/PROJ1001#> .
@prefix :      <http://test.com/#> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ifcowl: <https://www.buildingsmart-tech.org/ifcOWL/IFC4_ADD1#> .
@prefix s4bldg: <https://saref.etsi.org/saref4bldg/> .
@prefix bot:   <https://w3id.org/bot#> .

inst1:Wall1  a  ifcowl:IfcWallStandardCase ;
    s4bldg:FireRating "2" ;
    bot:containsSubElement  inst1:Door1, inst1:Door2.
inst1:Door1 a ifcowl:IfcDoor ;
    s4bldg:FireRating  "2" .
inst1:Door2 a ifcowl:IfcDoor .

SPARQL查询

SELECT ?door
WHERE {{
   ?wall rdf:type ifcowl:IfcWallStandardCase.
   ?wall bot:containsElement ?val.
   ?wall s4bldg:FireRating ?val.
   }UNION{
   ?door rdf:type ifcowl:IfcDoor.
   ?door s4bldg:FireRating ?val.
   }}

我想为相同的SHACL形状添加框架。在SHACL高级特性中，最接近的选项是使用sh:union。下面是我的形状。

bot:BuildingShape
    a sh:NodeShape ;
    sh:targetClass ifcowl:IfcWallStandardCase;
    sh:rule [
        sh:subject sh:this;
        sh:predicate s4bldg:FireRating;
        sh:object ifcowl:IfcWallStandardCase;
        sh:union(
            [sh:path ifcowl:IfcDoor]
            [sh:path s4bldg:FireRating]
        )
    ].

但是，它没有给出SPARQL查询所给出的结果。我哪里错了？任何帮助都将不胜感激。

Answer 1

我不清楚你是否需要一个sh:规则。尝试以下操作：

bot:BuildingShape
    a sh:NodeShape ;
    sh:targetClass ifcowl:IfcWallStandardCase;
    sh:property [
       sh:path bot:containsSubElement;
       sh:class ifcowl:IfcDoor ;
    ] ;
    sh:property [
        sh:path s4bldg:FireRating;
        sh:hasValue "2" ;
    ]
.

它可能不是一个完整的值，您可能希望使用sh:in来指定FireRating的值范围，但这样想可能是值得的，也许您可以调整以满足您的规范。