OWL如何使C类等同于A类联合类B的保护

时间:2017-12-12 23:24:33

标签: java owl protege

我有3节课: A级:很高 B级:大 C级:超人

一个人可以是A的实例或两者的实例B的实例。当一个人是A和B的实例时,她就是C的实例。

我把C级等同于“A和B”,我创造了一个又高又大的人。

当我开始我的推理时,我的个人只在C班。但由于C = A联盟B,我的个人必须是A和B和C的实例。所以我怎样才能使他成为A的实例B和C?

1 个答案:

答案 0 :(得分:2)

^CI28表示交叉点。要获得联盟,您必须拥有A and B