这个本体论形成良好吗？

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>

我希望“菲利波”这个人能被分配到“父亲”班。预期是对的吗？或者本体论是不好形成的？我用OWlAPI 5和隐士做推理者。我是本体领域的新手！请帮帮忙。谢谢，丽塔

Answer 1

这个答案并不完全是回答“本体论是否形成不良？”，但是，它可以为如何检查本体论的不足之处和防止一个常见的本体论问题--使用OntoClean方法论参考 参考 参考 参考的过载问题提供一些指导。

在开发本体时，一个常见的问题是IS-A重载问题。所有的本体论都以分类法为中心，它是类(例如父类)和子类(例如)的层次结构。儿子)。这些类和子类可以用individuals实例化。菲利普个人分配给班级父亲，马泰奥个人分配给班级的儿子)和几个个人可以联系使用ObjectProperty (例如。马泰奥hasFather菲利普( Matteo hasFather Filippo)，其中hasFather是ObjectProperty。

OnoClean中的元属性(如、刚性、和恒等)可以用来描述instanceOf关系，从而开发一个基础完备的本体。

刚性(+R)：一个性质P是刚性的，如果对于每个x，P(x)在一个可能的世界中是真的，那么它在所有可能的世界中也是正确的。人和地点都是僵化的，而学生和高个子则不是。

个人和刚性类之间的instanceOf链接在OntoClean中用术语刚性来描述。

恒等式(+I)：一个性质的恒等准则( IC )是一个二元关系Ip，使得Px ^ Py ^ are -> x=y，如果对于给定的性质P，我们能够定义这样的Ip，那么我们说P带一个IC作为它的实例。

通过应用在刚性和同一性中定义的元属性，可以获得一个有良好基础的本体论：

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