Непоследовательная классификация лиц в Протеже 4.3

Question

Я изучал Protege, и у меня есть вопрос.Я добавил человека с именем aaa в онтологии " people.owl ", который я скачал из Интернета.

Я устанавливаю утверждение типа как: овец и имеет значение CC 200 , где имеет CC - свойство данных.Затем в классе животных я создал два класса: чч и lll .Я установил чч как эквивалент и там написал: animal и (hasCC некоторое десятичное число [> = 150]) Для lll Я установил: animal и (hasCC некоторое десятичное число [<250]) </strong>

Когда я запускаю рассуждения HermiT, я вижу, что индивидуум aaa классифицируется как lll и чч классы.Но когда я устанавливаю классы lll и hhh как непересекающиеся и запускающие модуль, классы не классифицируются в классе " Nothing ", как, например,класс " mad_cow ".Я получаю сообщение: «Ваша онтология несовместима, что означает, что рассудитель OWL больше не сможет предоставить какую-либо полезную информацию об онтологии».После нажатия кнопки «Объяснить» я получаю:

Не могли бы вы сказать, почему классы lll и hhh нельзя классифицировать как Ничего ?Что я должен исправить, чтобы классифицировать lll и hhh как Nothing ?Спасибо!

Answer 1

"Ваша онтология противоречива, что означает, что рассудитель OWL больше не сможет предоставить какую-либо полезную информацию об онтологии."

Разве это не говорит уже все?Вы жалуетесь, что мыслитель ничего не делает, но он явно говорит вам, что не может предоставить полезную информацию!Сделайте свою онтологию непротиворечивой, тогда вы можете ожидать чего-то от мыслителя.

В любом случае вы не можете ожидать, что класс содержит экземпляр (здесь классы hhh и lll оба должны содержать экземпляр aaa) быть эквивалентным Nothing.Nothing точно означает «класс, у которого нет экземпляра».