SHACL SPARQLTarget 不验证 SPARQL 查询输出节点

Question

我有一个带有 sh:SPARQLTarget 的 NodeShape 。我尝试在本体编辑器中运行目标 SPARQL 查询，它提供了结果，但是当我在 sh:select 中的自定义目标节点形状中执行相同的查询时，它不会验证 SPARQL 查询返回的目标节点。我正在使用 pySHACL。我做错了什么吗？我没主意了。这是我的 Nodeshape 和数据图：

我在 sh:select 中使用了“”而不是“””“””，因为我将 Shapes_graph 定义为我的 Python 代码中的变量，并且它已经编码为“””“” ”。我还在 pyShacl 中启用了 meta_shacl=True 以确保我的 Shapes_graph 有效。此外，当与普通 TargetClass 或 TargetNode 一起提供时，nodeShape (snomed:dob363698007Shape) 也能正常工作。我缺少什么？

我已经提到过 SPARQLRule 未构建

**NodeShape**

snomed: 
    sh:declare [
        sh:prefix "snomed" ;
        sh:namespace <http://localhost:8890/snomed/> ; 
    ] .
    
snomed:dob363698007Shape
    a sh:NodeShape ;
    sh:target [
        a sh:SPARQLTarget ;
        sh:prefixes snomed: ;
        sh:select "SELECT ?this WHERE { ?node a snomed:24078009.?node a snomed:dob .?node snomed:609096000 ?this.?this a  snomed:dob363698007 .bind(?node as ?conceptName).bind(?this as ?RGName) .FILTER(REGEX(strafter(xsd:string(?RGName),'snomed/'),strafter(xsd:string(?conceptName),'snomed/')) ).}";
        ] ;
    sh:property [
        sh:path snomed:363698007;
        sh:minCount 1;
    ].```

**Data Graph**

```snomed:dob a rdfs:Class,snomed:dob ;
       rdfs:label "Semantic Pattern dob"^^xsd:string ;
        snomed:609096000 snomed:dob363698007 .

    snomed:dob363698007 a rdfs:Class,snomed:dob363698007;
       snomed:363698007 snomed:123037004 .  

    
    snomed:24078009 a rdfs:Class, snomed:24078009, snomed:dob;
        rdfs:label "Gangosa of yaws (disorder)"^^xsd:string ;
        snomed:609096000 snomed:24078009_3,snomed:24078009_5,snomed:24078009_6;
        rdfs:subClassOf snomed:128349005,
            snomed:140004,
            snomed:177010002,
            snomed:312118003,
            snomed:312129004,
            snomed:312422001,
            snomed:363166002,
            snomed:47841006,
            snomed:88037009 .

    snomed:24078009_3 a rdfs:Class, snomed:24078009_3, snomed:dob363698007 ;
        snomed:263502005 snomed:90734009 .

    snomed:24078009_5 a rdfs:Class, snomed:24078009_5,snomed:dob363698007;
        snomed:116676008 snomed:110435003 ;
        snomed:246075003 snomed:6246005 ;
        snomed:363698007 snomed:71836000 ;
        snomed:370135005 snomed:441862004 .

    snomed:24078009_6 a rdfs:Class, snomed:24078009_6,snomed:dob363698007 ;
        snomed:116676008 snomed:110435003 ;
        snomed:246075003 snomed:6246005 ;
        snomed:363698007 snomed:72914001 ;
        snomed:370135005 snomed:441862004 .

Answer 1

我已将您的 shacl 形状文件和数据图放入 PySHACL 中以隔离您所看到的问题。

我发现您的设置有两个问题。

首先，基于 SPARQL 的目标是 SHACL 高级规范。 PySHACL 默认情况下不启用高级规范功能。您可以通过将 advanced=True 传递给验证模块，或者在命令行工具上传递 -a 或 --advanced 来启用“高级模式”。

这是您的 SPARQL 目标未选择您期望的节点的主要原因。

接下来，启用高级模式后，您将看到 PySHACL 在加载 SHACL 形状图时失败。那是因为您的前缀命名空间未正确声明。

请参阅规范文档的SPARQL-Prefixes 部分中的示例。规范规定

“sh:namespace 的值是数据类型 xsd:anyURI 的文字。”

您的 sh:namespace 是 URIRef，而不是 Literal。将命名空间声明更改为以下内容可以修复错误。

sh:namespace "http://localhost:8890/snomed/"^^xsd:anyURI ;

我已经使用更正后的形状图运行 PySHACL，并且它按预期工作。

请参阅此代码以获取完整的工作示例： https://gist.github.com/ashleysommer/a319beeef33973906b76711675b2635c