标签: owl semantic-web protege
我有一个基类,其中有两个子类。假设,Base是基类,A和B是子类。让我们有个人,我最初属于A级。在满足B类属性后,OWL中是否可能同一个人开始属于B类(并且停止属于A类)?请注意,A类和B类是不相交的。