标签： owl protege
我使用Protege 4.3来创建我的第一个本体，所以我遇到了一些问题
我们说我们有课程Person和Department以及属性employs和hasPart
Person
Department
employs
hasPart
所以问题是：我将BigShop等一些类定义为employs min 6 Person和hasPart some Department的等价物，但是当我激活推理器时，我没有得到结果我和＃39 ;我等着，我也试过SubClass Of同样的两个限制但没有发生任何事情
BigShop
employs min 6 Person
hasPart some Department
知道为什么吗？