Protégé & Reasoning: выводите sameIndividualAs с перечисленными классами

Question

Итак, вот что-то с OWL / Protégé, я не совсем понимаю:
Допустим, у меня есть класс Clazz, который является перечисляемым классом, содержащим только отдельных лиц I1 и I2. Затем я создаю третьего человека I3 и объявляю его типом Clazz. Если бы я сейчас начал рассуждать, я бы ожидал, что он выведет sameIndividualAs между всеми (или, по крайней мере, некоторыми) из индивидов. Это не тот случай, который я тестировал с помощью рассуждений отшельника и Пеллета.

Если я прямо заявляю, что эти три человека отличаются друг от друга, онтология становится противоречивой. Может кто-нибудь сказать мне, почему люди не появляются, чтобы быть sameIndividualAs в Protégé в первом случае?

Answer 1

Поскольку в OWL нет предположения об уникальном имени, онтология остается неизменной до тех пор, пока не будет явным образом утверждено, что вручную набранный индивид равен owl:differentFrom всем индивидам, определяющим класс (набор ограничен owl:oneOf). Если это не подтверждено, в случае, если существует более одного человека, можно сделать единственный вывод, что в вашем случае I1 и I2 являются членами класса Clazz. I3 должен быть таким же, как один из людей, но нет информации, чтобы решить, какой именно. Вы можете устранить эту двусмысленность, задав Clazz, определенную как owl:oneOf :I1. Тогда не будет никакой двусмысленности и достаточной информации, чтобы сделать вывод, что :I3 owl:sameAs :I1.