1

我正在尝试在这个本体中进行推理。我在本体下面发帖。

    <?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
         xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
         xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
         xmlns:owl="http://www.w3.org/2002/07/owl#"
         xml:base="C:/Users/Rita/Desktop/parenthood.owl"
         xmlns="C:/Users/Rita/Desktop/parenthood.owl#">

<owl:Ontology rdf:about="C:/Users/Rita/Desktop/parenthood.owl"/>

<owl:ObjectProperty rdf:about="#has">
  <rdfs:domain rdf:resource="#Man"/>
  <rdfs:range rdf:resource="#Son"/>
</owl:ObjectProperty>

<owl:Class rdf:about="#Man">
  <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
  <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">This is man</rdfs:comment>
</owl:Class>

<owl:Class rdf:about="#Woman">
  <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
  <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">This is woman</rdfs:comment>
</owl:Class>

<owl:Class rdf:about="#Son">
  <rdfs:subClassOf rdf:resource="#Man"/>
  <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">This is son</rdfs:comment>
</owl:Class>

<owl:Class rdf:about="#Daughter">
  <rdfs:subClassOf rdf:resource="#Woman"/>
  <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">This is son</rdfs:comment>
</owl:Class>

<owl:Class rdf:about="#Father">
  <rdfs:subClassOf rdf:resource="#Man"/>
  <owl:equivalentClass>
    <owl:Class>
      <owl:intersectionOf rdf:parseType="Collection">
        <rdf:Description rdf:about="#Man"/>
        <owl:Class>
          <owl:unionOf rdf:parseType="Collection">
            <owl:Restriction>
              <owl:onProperty rdf:resource="#has"/>
              <owl:someValuesFrom rdf:resource="#Son"/>
            </owl:Restriction>
            <owl:Restriction>
              <owl:onProperty rdf:resource="#has"/>
              <owl:someValuesFrom rdf:resource="#Daughter"/>
            </owl:Restriction>
          </owl:unionOf>
        </owl:Class>
      </owl:intersectionOf>
    </owl:Class>
  </owl:equivalentClass>
  <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">This is father</rdfs:comment>
</owl:Class>

<Man rdf:about="#filippo">
  <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#NamedIndividual"/>
  <has rdf:resource="#matteo"/>
</Man>

<Son rdf:about="#matteo">
  <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#NamedIndividual"/>
</Son>


</rdf:RDF>

我希望“filippo”个人被分配到“父亲”类。期望这样对吗？还是本体不好形成？我使用 OWlAPI 5 和隐士作为推理器。我是本体领域的新手！！请帮忙。谢谢，丽塔

4

1 回答 1

0

这个答案并不完全是在回答“本体是否形成错误？ ”，但是，它可以为如何使用OntoClean方法检查本体充分性并防止称为 IS-A 重载问题的常见本体问题提供一些指导。参考 参考 参考 参考.

开发本体时的一个常见问题是 IS-A 重载问题。所有本体都以分类为中心，分类是类（例如父亲）和子类（例如儿子）的层次结构。这些类和子类可以用个体实例化（例如，分配给父亲类的 Filippo 个体，分配给儿子类的 Matteo 个体），并且可以使用ObjectProperty关联多个个体（例如，Matteo hasFather Filippo），其中 hasFather 是 ObjectProperty .

OnoClean 中的元属性（例如Rigidity和Identity）可用于描述instanceOf关系，以开发有充分根据的本体。

刚性（+R）：一个性质 P 是刚性的，如果对于每个 x，P(x) 在一个可能世界中为真，那么它在所有可能世界中也为真。人物和位置是固定的，而学生和身高则不是。

个体和刚性类之间的 instanceOf 链接由 OntoClean 中的刚性术语描述。

身份 (+I)：属性的身份标准 (IC) 是二元关系 Ip，使得 Px ^ Py ^ A Ip xy -> x=y。如果对于给定的属性 P，我们能够定义这样的 Ip，那么我们说 P 为其实例携带了一个 IC。

通过应用 Rigidity 和 Identity 中定义的元属性，期望获得一个有充分根据的本体，它：

  • 将实体分类为类的实例
  • 将实体个体化为类的可数不同实例
于 2021-12-14T10:15:29.970 回答