在耶拿规则中指定类等价答案

【问题标题】：Specifying class equivalence in Jena rules在耶拿规则中指定类等价
【发布时间】：2015-05-18 08:01:47
【问题描述】：

给定一个带有Class A 和Class B 的本体，我在陈述一个规则：

[-> (ns:Class_A owl:equivalentClass ns:Class_B)]

但是，耶拿通用规则推理器仅将标签 equivalentClass 应用于 Class A，即。 e.它没有说明Class B equivalentClass Class A。

此外，我有一个object A，它是Class A 的个体，推理器没有将Class B 应用为object A 的类型。

还有其他方法可以通过 Jena 规则指定类等价吗？对于这个推理任务，使用通用规则推理器还是调用内置的 Jena OWL 推理器更好？还是有其他接受耶拿规则的推理者？

【问题讨论】：

【解决方案1】：

这个问题是通过应用 Jena 提供的 owl reasoner 解决的。我们使用通用规则推理器生成模型，然后将该模型提供给 owl 推理器。 owl 推理器继续将等价类标签应用于所有适用的类

【讨论】：