Я новичок в OWL и все еще изучаю ограничения. Я пытаюсь смоделировать эти утверждения: Человек (P) может быть мужчиной (M) или женщиной (F), но не одновременно Человек должен быть мужчиной или женщиной У мужчины нет платьев У женщины есть...

Я хочу определить выражение диапазона данных для диапазона свойств данных, которое определило бы, что диапазон представляет собой список uris или строку, содержащую список uris. Это возможно?

Является ли подсвойство иррефлексивного свойства в OWL иррефлексивным? Аналогичным образом, является ли подсвойство асимметричного свойства также асимметричным? По логике, так и должно быть, но в документации OWL я не могу найти ничего, что...

Я изучаю онтологию, и язык DL для меня сложен, я нашел в Интернете хорошие упражнения, и вот один вопрос: учитывая следование онтологии: Есть два непересекающихся вида сущностей: города и страны. Каждая страна имеет единую столицу, город....

Я не очень ясно понимаю этот пример. Пример взят из Руководства по логике описания. В последней строке примера «требуется индукция, следовательно, такое рассуждение не первого порядка». Эта фраза полностью вывела меня из себя. ваше...

Вот простой вопрос из руководства по онтологии Pizza. Пожалуйста, помогите мне прояснить мои сомнения по этому поводу. Я имею в виду номера страниц, так как не могу написать здесь весь абзац. Со страницы 61: есть 2 важных примечания, в которых...

Не могли бы вы объяснить мне основные различия между QL (DL-Liteᴿ), EL (EL++) и RL (DLP) с точки зрения: отрицание квалифицированная количественная оценка функциональные возможности ролей обратные свойства симметричные свойства иерархия...

Мы определяем диапазон свойства как ⊤ ⊑ ∀ r.C в DL. Я не понимаю идею этого определения. Почему T (то есть owl:Thing) определяется как подкласс ∀ r.C ? Что это значит? Есть ли случай, когда T на самом деле меньшее множество, чем ∀ r.C?...