颗粒传递性protege 5分类器

我正在使用Protege beta 5，并试图使用推理器。由于颗粒不支持个体之间的传递性如果存在任何问题，该问题的解决方案是什么？如果不是有没有支持（等效，transitivty，反思......）越来越不一致本体和多数民众的交代任何推理：颗粒传递性protege 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)

来源

2016-08-02 Muna ar

不支持哪种方式？哪种DL表达性包含这些个人的构造？ – Ignazio

使用OWL，更多的语义我试图使用一个推理器的一致性，虽然与pellet，我得到了传递属性的错误原因关键词TYPE和SAME AS这就是问题，ANd似乎像颗粒不支持这些属性@ Ignazio –

Pellet支持完整的OWL 2 DL！请发布错误信息，即完整的堆栈跟踪。传递性属性的唯一例外是警告：属性的传递性将被忽略，以避免违反OWL 2 DL限制。 – AKSW

颗粒支持传递属性。我相信你偶然发现了简单财产状况中使用的非简单财产。这不是Pellet的限制，而是DL限制 - 不支持某些特性组合，因为它们导致不可判定性。请参阅this question获取相关信息

来源

2016-08-02 20:43:43 Ignazio

谢谢我要检查出 –

它支持Type和SameAs关键词吗？ –

是的，它确实 - 这些都受到任何OWL 2推理器的支持。 – Ignazio

颗粒传递性protege 5分类器

回答

相关问题