这个本体是否形成良好？

Question

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

    <?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 和隐士作为推理器。我是本体领域的新手！！请帮忙。 谢谢，丽塔

Answer 1

这个答案并不完全是在回答“本体是坏的吗？”，但是，它可以为如何检查本体的充分性和防止常见的本体问题提供一些指导，即 IS-A使用OntoClean方法RefRefRefRef的过载问题。

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

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

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

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

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

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

• 将实体分类为类的实例
• 将实体个体化为类的可数不同实例