HermiT 似乎没有显示推断的 DataProperties ？答案

【问题标题】：HermiT does not seem to show inferenced DataProperties ?HermiT 似乎没有显示推断的 DataProperties ？
【发布时间】：2017-04-27 09:20:28
【问题描述】：

我使用 Protege 创建了一个本体，并添加了 SWRL 规则，使用 Hermit Reasoner，一切都很好，但它没有显示推断的 DataProperties。

我尝试使用 Pellet，它能够推断 DataProperties，但是，我创建的所有 SWRL 规则都不再起作用了。

这是来自隐士的虫子吗？有解决办法吗？最好的问候。

【问题讨论】：

我也有同样的问题
我也遇到了同样的问题：/ sa7bi il zouch

标签： ontology protege pellet hermit reasoner

【解决方案1】：

实际上，Hermit 不支持 DataProperty 推理，所以我必须更改为 Pellet，当您从 Hermit 更改为 Pellet 时，您可能会发现这个问题：swrl 中的 differentFrom(?a , ?b) 之类的东西规则变成 swrlb:notEqual(?a, ?b) 等等...

【讨论】：