reasoning

0зной

1ответ

Минимальный пример иерархии предполагаемого класса в OWL

В редакторе онтологии Protegé есть вкладка с именем Иерархия классов (выведенная). Я ищу минимальный пример для создания такого выведенного класса, например. это в основном то, что :RedCar rdfs:subCla

0зной

1ответ

Вероятностные и/или допустимые аргументы в Protege?

Я нашел несколько многообещающих (старых) статей, но след простудился. Идеально я ищу рабочие плагины/код, но если они просто недоступны, любые конкретные указания о том, как построить вероятностные и

0зной

1ответ

Может ли Protege owl использовать свойства данных?

Я пытаюсь заставить основателя Protege 4 катафорировать людей в соответствии с оценкой свойства данных. Лица с хорошим здоровьем имеют свойство «ambulation Score» из 8 объектов данных. Я пытаюсь заста

0зной

1ответ

Анализатор сплавов: поиск модели для данного экземпляра

Мне интересно, можно ли создать спецификацию модели для данного экземпляра. Моя цель - проверить, соответствует ли экземпляр модели или нет. Я нашел документ, посвященный автоматической спецификации э

1зной

1ответ

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

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

1зной

1ответ

Понимание универсальной количественной оценки в Protege с гранулами и HermiT

Я новичок в Protégé, поэтому у меня есть очень простой вопрос. У меня есть классы Child и Parent. Child имеет подкласс Girl. child1 имеет тип Girl, child2 имеет тип Child и anna и peter иметь как тип

0зной

1ответ

Какие типы данных поддерживаются FACT ++?

Я работаю в онтологии, но когда я использовал FACT ++ в Protege, FACT ++ порождает мне ошибку. Я читаю о ошибке datatypes с FACT ++, но я не могу найти типы данных, поддерживаемые FACT ++. Я читаю в h