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

标签 ontology protege pellet hermit reasoner

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

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

这是来自隐士的错误吗?有解决办法吗? 谨致问候。

最佳答案

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

关于ontology - HermiT 似乎没有显示推断的 DataProperties ?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/43653676/

相关文章:

mysql - 线程 "main"java.lang.NoClassDefFoundError : sdb/sdbconfig 中的异常

ontology - OWL 限制中的枚举

java - 如何使用 Java 或 pellet 将 SWRL 规则添加到本体中?

rdf - 用一次观察表示两个属性/特征

java - 使用 Pellet Reasoner 监控推理进度

java - 如何使用自定义 SWRL 内置插件扩展 Pellet 2.4.0?

rdf - 尝试使用 MIREOT Protégé Plugin 重用外部术语时出现问题

rdf - 无法得到结果

semantic-web - 我在哪里可以找到各种领域的公共(public)领域猫头鹰本体的良好集合?

owl - 在本体中使用域和范围的替代方法是什么?