指定类等价于耶拿规则(Specifying class equivalence in Jena ru

考虑到与本体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 。

是否有另一种方式，通过耶拿规则来指定类等价？ 而且是它更好地使用通用规则推理这个推理任务或致电内置耶拿OWL推理？ 或者是有一个接受耶拿规则另一个推理？

Answer 1:

这个问题是通过猫头鹰推理耶拿提供的应用解决。 我们生成使用通用规则推理模型，然后送入该模型猫头鹰推理。 猫头鹰推理进行到equivalentClass标签适用于所有应用类

文章来源: Specifying class equivalence in Jena rules