Эта онтология хорошо сформирована? - PullRequest
1 голос
/ 03 апреля 2020

Я пытаюсь выполнить рассуждения в этой онтологии. Я публикую ниже онтологию.

    <?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 и отшельника в качестве мыслителя. Я новичок в области онтологии! Пожалуйста помоги. спасибо, Рита

...