Результаты поиска по запросу "protege4"

Прошел почти год с тех порНе удалось загрузить плагин Pellet для Protege 4.3 предположил, что это не доступно для этой версии. Что-нибудь изменилось?

restriction ontology type-inference owl

1 ответ

Вывод типа OWL с ограничением

Я изучаю понятие ограничений OWL в Protege 4, используя FaCT ++ и тривиальную онтологию. Предположим, у меня есть человек

owl type-inference ontology restriction

1 ответ

Я изучаю понятие ограничений OWL в Protege 4, используя FaCT ++ и тривиальную онтологию. Предположим, у меня есть человекfoo классаSomething: :Something a owl:Class. :foo a :Something, owl:NamedIndividual.и другой класс, определенный из ...