HermiT 似乎没有显示推断的 DataProperties ？
HermiT does not seem to show inferenced DataProperties ?
我使用 Protege 创建了一个 ontology，并使用 Hermit Reasoner 添加了 SWRL 规则，一切都很好，但它没有显示推断的 DataProperties。
我尝试使用 Pellet，它能够推断 DataProperties，但是，我创建的所有 SWRL 规则都不再起作用。
这是隐士的Bug吗？有解决办法吗？
最好的问候。
实际上，事实证明Hermit不支持DataProperty推理，所以我不得不换成Pellet，当你从Hermit换成Pellet时你可能会发现这个问题：比如differentFrom(?a, ?b)在 swrl 规则中变为 swrlb:notEqual(?a, ?b) 等...
我使用 Protege 创建了一个 ontology，并使用 Hermit Reasoner 添加了 SWRL 规则，一切都很好，但它没有显示推断的 DataProperties。
我尝试使用 Pellet，它能够推断 DataProperties，但是，我创建的所有 SWRL 规则都不再起作用。
这是隐士的Bug吗？有解决办法吗？ 最好的问候。
实际上，事实证明Hermit不支持DataProperty推理，所以我不得不换成Pellet，当你从Hermit换成Pellet时你可能会发现这个问题：比如differentFrom(?a, ?b)在 swrl 规则中变为 swrlb:notEqual(?a, ?b) 等...