Это дает вам эту ошибку, потому что мыслитель-отшельник обнаружил, что ваша онтология противоречива. При этом используются процедуры рассуждения искусственного интеллекта, основанные на логиках описания, для поиска логических ошибок в утверждениях вашей онтологии. Ваша другая онтология не выдала ошибку, потому что не обнаружила никаких логических несоответствий. Вы можете проверить это самостоятельно, используя Protege, который вы можете скачать здесь .
Если вы откроете свою онтологию в Protege и запустите мышление Отшельника, он сообщит, что ваша онтология несовместима, и предоставит причины несоответствия. Вот скриншот несоответствий, отображаемых в Protege:
Глядя на первое несоответствие, оно заявляет
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
приведет к согласованности вашей онтологии.