jena - 在耶拿规则中指定类等价

Question

给定一个本体，Class A我Class B正在陈述一个规则：

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

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

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

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

Answer 1

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