Pellet transitivity protege 5 分类器
Pellet transitivity protege 5 classifiers
我正在使用 Protege beta 5 并且正在尝试使用推理器。
由于 pellet 不支持个体之间的传递性如果有的话，该问题的解决方案是什么？
如果没有，是否有任何推理者支持（等价性、传递性、自反性……）
变得不一致 ontology，这就是解释：
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)
Pellet 支持传递属性。我相信您偶然发现了用于简单 属性 位置的非简单属性。这不是 Pellet 的限制，而是 DL 的限制——不支持某些特征组合，因为它们会导致不可判定性。相关信息见this question
我正在使用 Protege beta 5 并且正在尝试使用推理器。 由于 pellet 不支持个体之间的传递性如果有的话，该问题的解决方案是什么？ 如果没有，是否有任何推理者支持（等价性、传递性、自反性……） 变得不一致 ontology，这就是解释：
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)
Pellet 支持传递属性。我相信您偶然发现了用于简单 属性 位置的非简单属性。这不是 Pellet 的限制，而是 DL 的限制——不支持某些特征组合，因为它们会导致不可判定性。相关信息见this question