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> .