graphdb 推理规则 - 对变量的多重约束答案

【问题标题】：graphdb inference rules - multiple constraint on a variablegraphdb 推理规则 - 对变量的多重约束
【发布时间】：2017-06-15 11:26:37
【问题描述】：

是否有可能有一个单一的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

谢谢

【问题讨论】：

标签： inference graphdb

【解决方案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> .

【讨论】：

谢谢瓦西尔。有没有像 equal 一样的其他运算符？是否可以在执行中应用 OR 逻辑？