子图验证的SHACL形状

Question

我想使用SHACL验证子图中谓词的顺序。从理论上讲，我认为我必须为每个谓词使用SHACL形状，它们链接在一起，然后定义一个条件语句来检查第一个谓词是否存在，然后继续遍历图中的下一个谓词。

例如：

<bob> foaf:knows <emma>.
<emma> ontology1:gender <woman>.
<woman> ontology1:species <human>.
<human> ontology2:category <earth>.

在这里，我想检查谓词的顺序：

foaf:knows -> ontology2 1:gender -> ontology2 1:species -> ontology2 2:类别

我已经阅读了大量的文档，但是还没有找到一个这样的例子。你知道如何使用SHACL的核心特性做到这一点吗？或者甚至使用SHACL-SPARQL？

Answer 1

如果ontology1:gender和ontology1:species不能有多个值，则使用objects-of targets和sequence paths。如下所示：

:FellowShape
   sh:targetObjectsOf foaf:knows ;
   sh:property [
      sh:path (ontology1:gender ontology1:species ontology2:category) ;
      sh:message "Property chain is broken" ;
      sh:minCount 1
   ] .

Playground。

Answer 2

作为另一种选择，重要的一点是目标需要成为启动属性链的三元组的一部分。在本例中，这是foaf:knows的对象。有几种方法可以做到这一点，包括：

:FellowShape
   sh:targetNode :emma ;
   sh:property [
      sh:path (ontology1:gender ontology1:species ontology2:category) ;
      sh:message "Property chain is broken" ;
      sh:minCount 1
   ] .

请注意，使用的是sh:targetNode :emma而不是sh:targetObjectsOf foaf:knows，这两种方法都告诉形状规范以foaf:knows :emma开头。