Синтаксис выражения класса OWL Минимальное и максимальное количество элементов для свойств объекта

Question

В настоящее время я пытаюсь смоделировать онтологию в Protégé. В документации я могу найти все виды выражений классов, но есть ли способ определения минимальной мощности и максимальной мощности одновременно?

Если это невозможно, не могли бы вы рассказать, почему это так?

Answer 1

Если вы хотите создать два кардинала для разных отношений, проблем нет:

(Owner owns min 2 Cats) and (Owner owns max 3 Dogs)

И это также возможно только для одного отношения:

(Owner owns min 2 Cats) and (Owner owns max 3 Cats)

Просто убедитесь, чточто значения являются логическими (min < max) и соблюдайте осторожность в отношении условий «Включение» и «Исключение» для количества элементов.

Это можно сделать в «Редакторе выражений классов».