[英]SHACL shapes for sub-graph validation
我想使用 SHACL 验证子图中谓词的顺序。 从理论上讲,我认为我必须对每个链接在一起的谓词使用 SHACL 形状,然后定义一个条件语句来检查第一个谓词是否存在,然后继续遍历图形以获取下一个谓词。
例如:
<bob> foaf:knows <emma>.
<emma> ontology1:gender <woman>.
<woman> ontology1:species <human>.
<human> ontology2:category <earth>.
在此,我想检查谓词的序列:-
foaf:knows -> ontology1:gender -> ontology1:species -> ontology2:category
我已经翻阅了大量文档,但还没有找到一个例子。 知道如何使用 SHACL 核心功能做到这一点吗? 或者甚至使用 SHACL-SPARQL?
如果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
] .
游乐场。
作为替代方案,重要的一点是目标必须是启动属性链的三元组的一部分。 在这种情况下,这是 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
,两者都告诉 Shape 规范以foaf:knows :emma
开头。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.