OwlReadyInconsistentOntologyError при запуске резонатора Эрмита с библиотекой OWLReady - PullRequest
0 голосов
/ 09 февраля 2020

У меня есть простой файл онтологии, созданный с использованием python и OWLReady, когда я попытался выполнить резонанс с помощью следующего кода, он показывает

OwlReadyInconsistentOntologyError: 
C:\ProgramData\Anaconda3\lib\site-packages\owlready2\reasoning.py in sync_reasoner_hermit(x, infer_property_values, debug, keep_tmp_file)
    134     except subprocess.CalledProcessError as e:
    135       if (e.returncode == 1) and (b"Inconsistent ontology" in (e.output or b"")):
--> 136         raise OwlReadyInconsistentOntologyError()
    137       else:
    138         raise OwlReadyJavaError("Java error message is:\n%s" % (e.stderr or e.output or b"").decode("utf8"))

OwlReadyInconsistentOntologyError:

это файл онтологии, который я пробовал

<?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="http://elearn.org/onto.owl"
         xmlns="http://elearn.org/onto.owl#">

<owl:Ontology rdf:about="http://elearn.org/onto.owl"/>

<owl:DatatypeProperty rdf:about="#Age">
  <rdfs:domain rdf:resource="#Learner"/>
  <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
</owl:DatatypeProperty>

<owl:DatatypeProperty rdf:about="#Name">
  <rdfs:domain rdf:resource="#Learner"/>
  <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
</owl:DatatypeProperty>

<owl:DatatypeProperty rdf:about="#Gender">
  <rdfs:domain rdf:resource="#Learner"/>
  <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
</owl:DatatypeProperty>

<owl:DatatypeProperty rdf:about="#Qualification">
  <rdfs:domain rdf:resource="#Learner"/>
  <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
</owl:DatatypeProperty>

<owl:DatatypeProperty rdf:about="#Branch">
  <rdfs:domain rdf:resource="#Learner"/>
  <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
</owl:DatatypeProperty>

<owl:DatatypeProperty rdf:about="#Background_Knowledge">
  <rdfs:domain rdf:resource="#Learner"/>
  <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
</owl:DatatypeProperty>

<owl:DatatypeProperty rdf:about="#Active_Reflective">
  <rdfs:domain rdf:resource="#Learner"/>
  <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
</owl:DatatypeProperty>

<owl:DatatypeProperty rdf:about="#AR_Value">
  <rdfs:domain rdf:resource="#Learner"/>
  <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
</owl:DatatypeProperty>

<owl:DatatypeProperty rdf:about="#Sensitive_Intutive">
  <rdfs:domain rdf:resource="#Learner"/>
  <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
</owl:DatatypeProperty>

<owl:DatatypeProperty rdf:about="#S_I_Value">
  <rdfs:domain rdf:resource="#Learner"/>
  <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
</owl:DatatypeProperty>

<owl:DatatypeProperty rdf:about="#Visual_Verbal">
  <rdfs:domain rdf:resource="#Learner"/>
  <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
</owl:DatatypeProperty>

<owl:DatatypeProperty rdf:about="#V_V_Value">
  <rdfs:domain rdf:resource="#Learner"/>
  <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
</owl:DatatypeProperty>

<owl:DatatypeProperty rdf:about="#Global_Sequential">
  <rdfs:domain rdf:resource="#Learner"/>
  <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
</owl:DatatypeProperty>

<owl:DatatypeProperty rdf:about="#G_S_Value">
  <rdfs:domain rdf:resource="#Learner"/>
  <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
</owl:DatatypeProperty>

<owl:Class rdf:about="#Learner">
  <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
</owl:Class>

<Learner rdf:about="#L1">
  <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#NamedIndividual"/>
  <Age rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">18</Age>
  <Name rdf:datatype="http://www.w3.org/2001/XMLSchema#string">L1</Name>
  <Gender rdf:datatype="http://www.w3.org/2001/XMLSchema#string">M</Gender>
  <Qualification rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</Qualification>
  <Branch rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Mathematics with Computer</Branch>
  <Background_Knowledge rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</Background_Knowledge>
  <Active_Reflective rdf:datatype="http://www.w3.org/2001/XMLSchema#string">1</Active_Reflective>
  <AR_Value rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">70</AR_Value>
  <Sensitive_Intutive rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0</Sensitive_Intutive>
  <S_I_Value rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">40</S_I_Value>
  <Visual_Verbal rdf:datatype="http://www.w3.org/2001/XMLSchema#string">1</Visual_Verbal>
  <V_V_Value rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">60</V_V_Value>
  <Global_Sequential rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0</Global_Sequential>
  <G_S_Value rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">50</G_S_Value>
</Learner>


</rdf:RDF>

Это python код

 from owlready2 import *
    from rdflib.graph import Graph
    world = World()
    world.get_ontology("sample_ont.owl").load()
    sync_reasoner(world)
    graph = world.as_rdflib_graph()

Я использовал этот же код для открытия другого файла (не той же онтологии), который я создал с помощью Jena API, ошибки не было Что такое OwlReadyInconsistentOntologyError? Как я могу решить эту проблему?

1 Ответ

2 голосов
/ 10 февраля 2020

Это дает вам эту ошибку, потому что мыслитель-отшельник обнаружил, что ваша онтология противоречива. При этом используются процедуры рассуждения искусственного интеллекта, основанные на логиках описания, для поиска логических ошибок в утверждениях вашей онтологии. Ваша другая онтология не выдала ошибку, потому что не обнаружила никаких логических несоответствий. Вы можете проверить это самостоятельно, используя Protege, который вы можете скачать здесь .

Если вы откроете свою онтологию в Protege и запустите мышление Отшельника, он сообщит, что ваша онтология несовместима, и предоставит причины несоответствия. Вот скриншот несоответствий, отображаемых в Protege: Explanations for inconsistent ontology

Глядя на первое несоответствие, оно заявляет

 Global_Sequential Range: xsd:integer
 L1 Global_Sequential "0" ^^xsd:string

В первой строке указывается, что Global_Sequential свойство данных имеет диапазон, равный xsd:integer. Это означает, что всякий раз, когда индивид связан со значением через свойство данных Global_Sequential, ожидается, что это значение будет целым числом.

Во второй строке указывается, что индивид L1 связан через Global_Sequential свойство данных до xsd:string. Вот почему онтология противоречива. То есть для отдельного Li вы должны предоставить целочисленное значение, , а не строковое значение.

Для отдельного L1 были допущены аналогичные ошибки для свойств данных Active_Refelective Visual_Verbal и Age. В случае Sensitive_Intuitive свойство data ожидает строку, но было предоставлено целое число.

Исправление всех этих значений для индивидуума L1 приведет к согласованности вашей онтологии.

...