Stardog规则不会触发

Question

我无法编写正确的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 . 
} 

Answer 1

这可能是由于规则的周期性特征。你在推断:has_code这将反过来被用来再次触发规则，等等。

当你consider how rules with more than one atom in the header a broken up时，这可以更容易看出来。