Пеллеттранзитивность протеже 5 классификаторов

Question

Я использую Protege beta 5 и пытаюсь использовать рассуждение. Так как пеллет не поддерживает транзитивность между людьми, каково решение этой проблемы, если она есть? Если нет, существуют ли какие-либо рассуждения, которые поддерживают (эквивалентность, транзитивность, рефлексивность...) получение противоречивой онтологии, и это объяснение таково:

 A(b) -> ((isComposedOf min 2 ({C})) and (isComposed max 15 ({C})))(b)
  b Type A
  ((isComposed exactly 4 AA) or (isComposed exactly 5 AA)) (?x),L(?x),((hasLength exactly 4 xsd:integer) or (hasLength exactly 5 xsd:integer))(?x)-?SameAs(?x,R)

Answer 1

Пеллет поддерживает переходные свойства. Я полагаю, вы наткнулись на непростые свойства, используемые в простых позициях свойств. Это не ограничение Пелле, это ограничение DL - некоторые комбинации характеристик не поддерживаются, потому что они приводят к неразрешимости. Смотрите этот вопрос для соответствующей информации