0

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

4

0 回答 0