swrl 规则推断 dataProperty 值

我正在尝试测试一个简单的 SWRL 规则。我的本体中有三个类：LivingPlace，它有两个子类 RuralArea 和 City。 LivingPlace 是 dataProperty hasHospital 的域，其范围为布尔值。

当我使用 Pellet Reasoner 测试以下规则时，我创建为 LivingPlace 成员的个人也被推断为 RuralArea 成员。

LivingPlace(?lp), hasHospital(?lp, false) → RuralArea(?lp)

然而，我真正想做的是与这个推理相反。

RuralArea(?lp) → hasHospital(?lp, false)

每当我创建 RuralArea 类型的个体时，我希望 Pellet 推断出 hasHospital 为 false。我怎样才能做到这一点？

这是一个最小的本体，其中包含您所描述的类，即 LivingPlace 类有两个直接子类：City 和 RuralArea。有一个个体，ruralArea1，类型为 RuralArea，本体包含 SWRL 规则

RuralArea(?x) → hasHospital(?x,false)

<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns="http://example.org/places#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:swrl="http://www.w3.org/2003/11/swrl#"
    xmlns:swrlb="http://www.w3.org/2003/11/swrlb#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
  <owl:Ontology rdf:about="http://example.org/places"/>
  <owl:Class rdf:about="http://example.org/places#LivingPlace"/>
  <owl:Class rdf:about="http://example.org/places#City">
    <rdfs:subClassOf rdf:resource="http://example.org/places#LivingPlace"/>
  </owl:Class>
  <owl:Class rdf:about="http://example.org/places#RuralArea">
    <rdfs:subClassOf rdf:resource="http://example.org/places#LivingPlace"/>
  </owl:Class>
  <owl:DatatypeProperty rdf:about="http://example.org/places#hasHospital">
    <rdfs:domain rdf:resource="http://example.org/places#LivingPlace"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#boolean"/>
  </owl:DatatypeProperty>
  <swrl:Imp>
    <swrl:body>
      <swrl:AtomList>
        <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
        <rdf:first>
          <swrl:ClassAtom>
            <swrl:classPredicate rdf:resource="http://example.org/places#RuralArea"/>
            <swrl:argument1>
              <swrl:Variable rdf:about="urn:swrl#x"/>
            </swrl:argument1>
          </swrl:ClassAtom>
        </rdf:first>
      </swrl:AtomList>
    </swrl:body>
    <swrl:head>
      <swrl:AtomList>
        <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
        <rdf:first>
          <swrl:DatavaluedPropertyAtom>
            <swrl:argument2 rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean"
            >false</swrl:argument2>
            <swrl:propertyPredicate rdf:resource="http://example.org/places#hasHospital"/>
            <swrl:argument1 rdf:resource="urn:swrl#x"/>
          </swrl:DatavaluedPropertyAtom>
        </rdf:first>
      </swrl:AtomList>
    </swrl:head>
  </swrl:Imp>
  <owl:NamedIndividual rdf:about="http://example.org/places#ruralArea1">
    <rdf:type rdf:resource="http://example.org/places#RuralArea"/>
  </owl:NamedIndividual>
</rdf:RDF>

当我在 Protégé 4.x 中加载此本体并使用 Pellet 作为推理器时，并确保有关数据类型属性的推论显示在 UI 中（如中所述）Protégé OWL 邮件列表中的此消息 https://mailman.stanford.edu/pipermail/protege-owl/2013-August/019672.html），推论

ruralArea1 hasHospital false

显示如下图所示。

查看 Pellet 得出此推论的另一种方法是使用 SPARQL 进行询问。例如，使用保存在query.sparql

prefix : <http://example.org/places#>

select ?s ?o where { 
  ?s :hasHospital ?o 
}

and the pellet命令行工具，我们得到以下结果：

$ pellet query -q query.sparql ./places.owl 
Query Results (1 answers): 
s          | o                                              
============================================================
ruralArea1 | false^^http://www.w3.org/2001/XMLSchema#boolean

值得指出的是，您实际上并不需要 SWRL 来执行此特定推理。你可以简单地说

RuralArea subClassOf（hasHospital 值为 false）

并得到相同的结果。在 Protégé 中，这将类似于以下屏幕截图。这样做的优点是，如果您使用不支持 SWRL 的 OWL 推理器，它会给您相同的结果。