在耶拿规则中指定类对等 [英] Specifying class equivalence in Jena rules

问题描述

给出Class A和Class B的本体，我要说明一个规则:

Given an ontology with Class A and Class B I am stating a rule:

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

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

However the Jena generic rule reasoner is only applying the tag equivalentClass to Class A, i. e. it is not stating Class B equivalentClass Class A.

此外，我有一个object A是Class A的一个个体，推理机未将Class B用作object A的类型.

Furthermore, I have an object A that is an individual of Class A, the reasoner is not applying Class B as a type of object A.

还有另一种通过耶拿规则指定类对等的方法吗?在此推理任务中使用通用规则推理器还是调用内置的Jena OWL推理器更好?还是有另一个接受耶拿规则的推理机?

Is there another way to specify class equivalence through Jena rules? And is it better to use the generic rule reasoner for this reasoning task or call the in-built Jena OWL reasoner? Or is there another reasoner that accepts Jena rules?

推荐答案

此问题已通过耶拿提供的猫头鹰推理程序的应用得以解决.我们使用通用规则推理器生成了模型，然后将该模型提供给了猫头鹰推理器.猫头鹰推理程序会继续将等效类标签应用于所有适用的类

This problem was solved through the application of the owl reasoner Jena provides. We generated the model using the generic rule reasoner and then fed that model to the owl reasoner. The owl reasoner proceeds to apply the equivalentClass tag to all applicable classes

这篇关于在耶拿规则中指定类对等的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！