考虑到Class A和Class B的本体论，我正在陈述规则：
[-> (ns:Class_A owl:equivalentClass ns:Class_B)]
然而，Jena通用规则推理器仅将标记equivalentClass应用于Class A，i。即它没有说明Class B equivalentClass Class A。
此外，我的object A是Class A的个人，推理人没有将Class B应用为object A的类型。
还有另一种通过Jena规则指定类等价的方法吗？使用通用规则推理器进行推理任务还是调用内置的Jena OWL推理器更好？还是有另一个接受耶拿规则的推理者吗？
答案 0 :(得分：0)
通过Jena提供的猫头鹰推理器的应用解决了这个问题。我们使用通用规则推理器生成模型，然后将该模型提供给owl推理器。 owl推理器继续将equivalentClass标记应用于所有适用的类