标签: 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?
答案 0 :(得分:2)
^CI28表示交叉点。要获得联盟,您必须拥有A and B。
^CI28
A and B