颗粒传递性蛋白质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的限制，它是DL的限制-不支持某些特征组合，因为它们会导致不确定性。 请参阅此问题以获取相关信息