owl - Pellet 及物性 protege 5 分类器

Question

我正在使用 Protege beta 5 并且正在尝试使用 reasoner 。由于颗粒不支持个人之间的传递性，如果有的话，该问题的解决方案是什么？如果没有，是否有任何推理者支持（等价性、传递性、自反性......）获得不一致的本体，这就是解释：

 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 限制 - 不支持某些特征组合，因为它们会导致不可判定性。有关相关信息，请参阅此问题