OWL / Protégé: определение класса EquivalentTo

Мне кажется, что определение класса EquivalentTo не работает должным образом в Protégé 5.2.0. Надеюсь, это недоразумение с моей стороны.

Вот пример: Ссылка на простую онтологию, дающую неожиданный результат.

Проблема возникает, когда я использую условие мощности min для некоторых ObjectProperties. В приведенном примере классификация в SubClassObject из Object (с использованием гранул) не работает для hasPart min 2 Part, но работает для hasPart min 1 Part. Как видите, element5 имеет 4 Parts, как определено.

Кто-нибудь когда-нибудь встречал подобную проблему?

Заранее спасибо,


ontology owl protege pellet
person Gilles-Antoine Nys    schedule 13.03.2018    source источник
comment
В Protégé: Редактировать ›Сделайте всех разными. Возможный дубликат Получение знаний в OWL путем подсчета свойств   -  person Stanislav Kralin    schedule 13.03.2018
comment
min 2 нужны явные отдельные лица ... OWL не имеет допущения уникальных имен   -  person UninformedUser    schedule 14.03.2018
comment
Спасибо вам обоим! Очевидно, это работает!   -  person Gilles-Antoine Nys    schedule 14.03.2018

Ответы (1)


arrow_upward
0
arrow_downward

Как сказал @StanislavKralin: Изменить> Сделайте всех людей разными.

По моему личному опыту, знайте, что это значительно увеличит время вычисления аргументов.

person Gilles-Antoine Nys    schedule 11.06.2018