Вопросы по теме 'hermit'
Как проверить консистенцию ABOX с помощью Hermit Reasoner
Я пытаюсь научиться правильно использовать OWLAPI, но у меня возникают некоторые проблемы: у меня есть онтология, которая структурирует деятельность (например, индивидуальную и социальную деятельность); моя цель — создать простой пример...
179 просмотров
schedule
12.05.2023
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