graphdbの推論規則 - 変数の複数の制約

Question

単一のinfを持つことは可能ですか？変数に複数の制約があるルール。例えば、それは次のようなルールに

a b c [Constraint b != <rdf:type>] 
    b <rdfs:domain> d 
------------------------------------ 
    a <rdf:type> d 

ような

（試みたが、ルールが起動されていない）

a b c [Constraint b != <rdf:type>, b != <rdfs:label>] 
    b <rdfs:domain> d 
------------------------------------ 
    a <rdf:type> d 

おかげ

Answer 1

を拡張する

可能である最新のGraphDB documentationによれば、これは有効です。ルール構文両方の制約はANDで実行されるため、ルールはrdf:typeとrdfs:label値に対してのみ機能しません。

Prefices 
{ 
    rdf : http://www.w3.org/1999/02/22-rdf-syntax-ns# 
    rdfs : http://www.w3.org/2000/01/rdf-schema# 
} 

Axioms 
{ 
} 

Rules 
{ 
    Id: test 

    a b c [Constraint b != <rdf:type>, b != <rdfs:label>] 
    b <rdfs:domain> d 
    ------------------------------------ 
    a <rdf:type> d 

} 

サンプルファイルを挿入した後、あなただけ<urn:a1>のための暗黙的な結果を得るでしょう：

<urn:a1> <urn:b1> <urn:c1> . 
<urn:b1> <http://www.w3.org/2000/01/rdf-schema#domain> <urn:d1> . 
<urn:a2> <http://www.w3.org/2000/01/rdf-schema#label> <urn:c2> . 
<urn:b2> <http://www.w3.org/2000/01/rdf-schema#domain> <urn:d2> .