inference - 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文档，这是一个有效的规则语法。这两个约束都使用 AND 执行，因此该规则仅适用于rdf:typeandrdfs: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> .