星狗规则不会触发



我在编写正确的Stardog规则时遇到问题。由于我还没有找到验证规则语法的方法,所以现在我不知道这是语法错误还是逻辑错误。这样,当启用推理时,规则似乎不会被触发(版本2中的reasoning=SL,版本3中的reasoning=true)。

@prefix : <http://www.example.org/rules#> .
@prefix rule: <tag:stardog:api:rule:> .
@base <http://www.example.org/rules#> .
[] a rule:SPARQLRule ;
  rule:content """
PREFIX : <http://www.example.org/rules#>
PREFIX draft: <http://our/prefix#>
IF {
    ?x a draft:Obs; draft:has_code ?code .
    ?z a <http://www.w3.org/ns/sparql#UUID> . // OR: BIND (UUID() AS ?z)
   }
THEN {
    ?z a draft:Code .
    ?x draft:has_code ?z .
}
""" .

我正试图用以下SPARQL查询触发规则:

PREFIX : <http://our/prefix>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
SELECT ?code
FROM <tag:stardog:api:context:default> 
FROM <http://our/graph> 
WHERE {
    ?s rdf:type :Obs .
    ?obs :has_code ?code .
}

这可能是由于规则的循环性质。您正在推断:has_code,它将依次用于一次又一次地激发规则,依此类推。

当您考虑到标头中有多个原子的规则是如何分解的时,这更容易可视化。

相关内容

  • 没有找到相关文章

最新更新