Семантический ошибка в проектировании онтологии в протеже

Question

Используя протеже 5.0, у меня есть класс А, В и С таким образом, что

В является подклассом А,

С является подклассом В.

я определить объект свойства P1 и P2 такие, что

P2 является под-качеством P1.

Домен P1 представляет собой С

Диапазон Р1 является А,

Домен Р2 представляет собой С,

Диапазон Р2 Б.

Имея экземпляры а, б и в для классов а, в и С, предположим, что

с Р2 б

Бег разумный, которого я ожидаю. Он показал c P1 a, но на удивление он показал c P1 b!

Как я могу изменить свой дизайн, который показывает наглядный пример с P1 a?

Answer 1

Из ваших аксиом нет никакого отношения, которое может быть установлено между отдельными экземплярами A; a и b никоим образом не связаны, поэтому разумник не будет выводить аксиому, которую вы ожидаете. тот факт, что b выведен для меня, экземпляр A не означает, что те же аксиомы, которые включают b, также выводятся для a.

Насколько я могу судить, это может произойти только в том случае, если a и b объявлены одинаковыми друг с другом или если мощность A может быть выведена как 1 - это означает, что любой экземпляр A является таким же, как и все другие случаи А. Но я не думаю, что это то, чего вы хотите достичь.