protege

0зной

1ответ

Мы знаем, что в Protege можно создавать аксиомы с цепочкой ролей и, поскольку Protege основано на OWLAPI, должно быть возможно создать их. Я не нашел примеров в официальной документации, так что это м

0зной

3ответ

Онтология - как сказать, экземпляр класса «должен иметь» что-то?

Я создаю онтологию в Protege 5.1, впервые решая настоящую проблему. Я натыкаюсь на основную потребность в создании определенных типов свойств, необходимых для экземпляра класса. Я бы хотел, чтобы Reas

0зной

1ответ

Protege ontology - может ли индивидуальная ссылка на класс?

Есть ли способ иметь свойство (на человека), которое на самом деле является ссылкой на другой класс? Например, в образце вине онтологии (http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine), я хотел

0зной

1ответ

Где находится документация по оператору OWL DL «o»?

Я читал ответ на этот вопрос: How to infer isBrotherOf property between two individuals В скриншотах есть класс выражения, которые используют оператор «о». Я просмотрел документацию OWL 2 и не нашел э

1зной

1ответ

Reasoner in Protege не работает с ограничениями/величинами

В настоящее время я строю/модифицирую большую онтологию. Как у меня были проблемы, чтобы определить ограничения я построить очень короткий пример: У меня есть EuropeanCountry как класс и IslandCountry

1зной

1ответ

онтология Моделирование и опрос

Хороший день В моей онтологии у меня есть понятия (студенты, курс, время), где учащиеся создаются с курсом (student1 и student2) с (английский, французский и т. Д.) Время с экземпляром времени T1 и T2

0зной

1ответ

Извлечь свойство предполагаемого свойства объекта в онтологии OWL

Как я могу получить для каждого класса в своей онтологии O все (выведенные) экзистенциальные ограничения? Мой текущий подход заключается в итерации по всем парам классов и свойств объекта, а также про