正しい Stardog ルールを書くのに苦労しています。ルールの構文を検証する方法が見つからなかったので、それが構文エラーなのか論理エラーなのかはわかりません。reasoning=SL
いずれにせよ、推論が有効になっている場合 (バージョン 2 ではreasoning=true
バージョン 3) 、ルールはトリガーされないようです。
@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 .
}