Конфликт собственности одного и того же лица и типа собственности

Question

У меня возникла проблема с "собственностью одного и того же лица" в протеже, когда я запускаю рассуждение (pellet 1.5 или fact ++)

Давайте рассмотрим пример онтологии

у вещи есть сыновья класса A и B, у A есть сыновья C и D.

B, C и D имеют лиц одного и того же класса.

Не могу ли я сказать, что индивид C - это "тот же индивид", что и индивид B, а затем добавить, что индивид D - это "тот же индивид", что и индивид B. Это правда, у них разные имена, но они такие же индивидуальные ... 1009 *

Почему это работает только тогда, когда я установил, что у индивидуума B "один и тот же человек" типа C или D?

Ошибка протеже: «InconsistentOntologyException: Fact ++. Ядро: несогласованная онтология», а пеллет говорит, что онтология несовместима.

РЕДАКТИРОВАТЬ: Кажется, это более глубоко укоренившаяся проблема, этот пример работает :(, буду продолжать проверять.

РЕДАКТИРОВАТЬ 2: После еще нескольких экспериментов, кажется, конфликт со свойствами DataType. Все они имеют общие свойства DataType с одинаковыми именами. В примере доменом свойства будет строка A и диапазон. Есть идеи как решить?

Answer 1

Да, вы решили это - вы путали метки (то, что вы называете вещами) с идентичностью: экземпляр класса уникален (вы можете прикрепить к нему разные метки - т.е. называть его разными вещами), но сам экземпляр может существовать только один раз - и в своем примере вы эффективно утверждали, что есть «три экземпляра одного экземпляра» ... что, конечно, не имеет никакого смысла.