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