颗粒传递性保护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

Pellet支持传递属性。我相信你偶然发现了简单属性位置中使用的非简单属性。这不是Pellet的限制，它是DL限制 - 不支持某些特征组合，因为它们会导致不可判定性。有关相关信息，请参阅this question