owl - 猫头鹰; 属性链

Question

我有没有个人的 OWL 本体。给定两个类

Cs

和

Cd 

查询看起来像什么类型的推理器可用于查找所有属性链，例如：

(Cs subClassOf PropertyP exactly 1 Cd)

其中 Cs 是 PropertyP 的域，Cd 是它的范围。链意味着这个推理必须是传递的，即如果

(Cs subClassOf PropertyP1 exactly one Ctemp) and (Ctemp subClassOf PropertyP2 exactly one Cd) 

那么，{PropertyP1, PropertyP2} 必须被认为是 Cs 和 Cd 之间的一个属性链。

请注意，我不是在谈论 OWL2 中的属性链，因为在 OWL2 的情况下，我必须事先定义这个链，而在我的情况下我不能这样做。