ontology - HermiT 似乎没有显示推断的 DataProperties ？

Question

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

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

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

Answer 1

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