我使用Protege创建了一个本体，并使用Hermit Reasoner添加了SWRL规则，一切都很好，但它没有显示推断的DataProperties。
我尝试使用Pellet，它能够推断DataProperties，但是，我创建的所有SWRL规则都不再有效。
这是Hermit的Bug吗？有解决方案吗？ 最诚挚的问候。
答案 0 :(得分：0)
实际上，事实证明，Hermit不支持DataProperty推理，所以我必须更改为Pellet，当你从Hermit改为Pellet时，你可能会发现这个问题：像swrl中的differentFrom（？a，？b）这样的东西规则变得swrlb：notEqual（？a，？b）等...