Допустим, онтология определяется как:
classA:
rel1 some classB
classB
-------------------
individual_1 rel1 individual_2
individual_2
-------------------
objectProperty: rel1
rel1 domain :classA
rel1 range: classB
rel1 inverse of rel2
objectProperty: rel2
Пеллет выводит individual2 rel2 individual2 - это нормально, но не выводит classB rel2 some classA.
, почему вывод между индивидом и классом отличается?
Также рассудитель ничего не говорит о домене и диапазоне rel2.
(я ожидаю объявить classB доменом и classA как диапазон rel2)