У нас есть онтология, но нам нужно использовать аргумент HermiT, чтобы вывести тональность данного выражения. Мы понятия не имеем, как использовать и реализовать рассуждающий механизм в Python, и мы не смогли найти хорошее объяснение в Интернете. Мы обнаружили, что для этого можно использовать sync_reasoner (), но что именно он делает? И надо ли каждый раз вызывать рассуждателя вручную или это происходит автоматически?






Реализовывать логику не нужно. Функция sync_reasoner() уже вызывает HermiT изнутри и выполняет рассуждения за вас.
Автор рассуждений переклассифицирует людей и классы за вас, что означает, что он создает иерархию родительско-дочерних классов и индивидов. Когда вы загружаете онтологию, представляются только явные родительско-дочерние отношения. Однако, когда вы вызываете механизм рассуждений, иерархия родитель-потомок обновляется, чтобы включить также предполагаемые отношения.
Пример этого приведен в Owlready2-0.5/doc/intro.rst. Перед вызовом sync_reasoner() вызов test_pizza.__class__ распечатывает onto.Pizza, который является явной информацией. Однако после вызова sync_reasoner() вызов test_pizza.__class__ распечатывает onto.NonVegetarianPizza, который является предполагаемой информацией.
Да, проверка согласованности является частью процесса рассуждений.
Спасибо за ответ. Я столкнулся с трудностями при отслеживании вывода. У меня есть одна онтология, которая содержит ошибку, потому что я поместил Student и Unit как несвязанный класс, а также как эквивалентный класс, чтобы увидеть, что дает мне отшельник на выходе. Но он показывает одинаковый результат как для правильного, так и для неправильного файла. Пожалуйста, взгляните на этот вопрос. stackoverflow.com/questions/51147628/… Заранее спасибо.
Привет, проверяет ли функция sync_reasoner () согласованность онтологии?