猫头鹰;物业链

Question

我有没有个人的OWL本体论。鉴于两个班级

Cs

和

Cd 

查询将如何看起来像什么类型的reasoners可用于查找所有属性链，如下所示：

(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的情况下，我必须先定义这个链，而在我的情况下，我不能这样做。