Вопросы по теме 'hermit'

Как проверить консистенцию ABOX с помощью Hermit Reasoner
Я пытаюсь научиться правильно использовать OWLAPI, но у меня возникают некоторые проблемы: у меня есть онтология, которая структурирует деятельность (например, индивидуальную и социальную деятельность); моя цель — создать простой пример...
179 просмотров

Reasoner устанавливает два разных класса, эквивалентных друг другу и owl:Thing.
Я работаю над онтологией для видеоигр для проекта университетского курса, специально ориентированного на отношения между различными жанрами. Я включил эту онтологию в свой проект и расширил ее. Текущее состояние документа OWL приведено здесь ....
207 просмотров
schedule 19.06.2023

OWLApi: не удалось создать экземпляр отшельника
Доброе утро, я пытаюсь написать класс Java, который мог бы управлять онтологией, в частности, я хочу найти все свойства (имя, подклассы, суперклассы и т. д.) одного OWLClass, но мне не удается экземпляр Hermit и я не могу понять почему. Я использую...
348 просмотров
schedule 15.08.2022

Рассуждения об ограничении кардинальности OWL
Я думаю, что у меня все еще есть фундаментальное непонимание аксиом OWL :(. Вот небольшая тестовая онтология, которую я создал: @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . @prefix rdf:...
83 просмотров
schedule 19.05.2022

Резонер owlready2 не генерирует утверждения предполагаемых свойств объекта с правилом SWRL
Предположим, что онтология OWL содержит следующее правило SWRL: has_part(?x, ?y) ^ participates(?x, ?z) -> participates(?y, ?z) и следующие утверждения свойства объекта: o1 has_part o2 o1 participates p1 Когда я запускаю средство...
53 просмотров
schedule 23.05.2023