在 Jena 规则中指定 class 等价
Specifying class equivalence in Jena rules
给定一个 ontology 和 Class A 和 Class B 我声明一个规则：
[-> (ns:Class_A owl:equivalentClass ns:Class_B)]
然而，Jena 通用规则推理器仅将标签 equivalentClass 应用于 Class A，即。 e.它没有说明 Class B equivalentClass Class A.
此外，我有一个 object A 是 Class A 的一个个体，推理者没有将 Class B 作为 object A 的一种。
是否有另一种方法可以通过 Jena 规则指定 class 等价？对于这个推理任务，使用通用规则推理器还是调用内置的 Jena OWL 推理器更好？或者是否有另一个接受耶拿规则的推理机？
此问题已通过 Jena 提供的 owl 推理机的应用得到解决。我们使用通用规则推理器生成模型，然后将该模型提供给 owl 推理器。 owl 推理器继续将 equivalentClass 标签应用于所有适用的 类
给定一个 ontology 和 Class A 和 Class B 我声明一个规则：
[-> (ns:Class_A owl:equivalentClass ns:Class_B)]
然而，Jena 通用规则推理器仅将标签 equivalentClass 应用于 Class A，即。 e.它没有说明 Class B equivalentClass Class A.
此外，我有一个 object A 是 Class A 的一个个体，推理者没有将 Class B 作为 object A 的一种。
是否有另一种方法可以通过 Jena 规则指定 class 等价？对于这个推理任务，使用通用规则推理器还是调用内置的 Jena OWL 推理器更好？或者是否有另一个接受耶拿规则的推理机？
此问题已通过 Jena 提供的 owl 推理机的应用得到解决。我们使用通用规则推理器生成模型，然后将该模型提供给 owl 推理器。 owl 推理器继续将 equivalentClass 标签应用于所有适用的 类