Я пытаюсь сделать запрос с ограничением кардинальности. Запрос выглядит так Класс A и (роль A минимум 2 класса B) но это возвращает пустой набор. С другой стороны, когда я делаю запрос Класс A и (роль A некоторые класса B)...

Я создал простую онтологию OWL в Protege , которая описывает человеческие отношения: Классы : человек, мужчина, женщина Person is super class of Man and Woman Man and Woman are disjoint Свойства объекта : hasChild Its...

В SHOIN(D) это эквивалентно семейству DL, используемому OWL-DL; Правомерно ли это выражение: F ⊑ (≤1 r. D) ⊓ (￢ (=0 r. D)) Где F, D — концепты, r — роль. Я хочу показать, что каждый экземпляр F связан не более чем с одним экземпляром D...