个体设置为类/子类等价的含义及与普通实例的区别相关问询

这个操作常见于OWL这类知识本体的建模场景中，本质是把目标个体定义为对应类的唯一实例（单例），同时让二者的语义完全绑定：

• 该类有且仅有这一个个体作为实例，不会存在其他属于该类的实例
• 所有定义在类上的属性、约束会直接作用在个体上，反过来给个体添加的属性、特征也会被推理器识别为该类的通用约束

举个实际例子：如果你把个体故宫博物院和类中国故宫管理主体设置为等价，那么所有给中国故宫管理主体定义的约束（比如“负责故宫文物保护工作”）会自动同步到故宫博物院这个个体上，你给故宫博物院添加的属性（比如“行政级别为副部级”）也会被推理器判定为中国故宫管理主体这个类的通用属性。

常规场景下我们只会把个体定义为类的普通实例，不会额外加等价规则，主要有几点原因：

• 避免语义逻辑混乱：普通个体的属性仅属于它自己，不会影响所属类的其他实例。一旦设置等价，修改个体属性相当于修改整个类的通用规则，很容易出现不符合预期的推理结果。比如你给普通个体张三加属性“身高180cm”，只会应用在张三自己身上；但如果张三和类张三的直系亲属等价，你加这个属性后，推理器会默认所有张三的直系亲属身高都是180cm，完全不符合实际逻辑。
• 降低不必要的推理成本：知识本体的推理器处理类等价规则时，需要额外做大量逻辑一致性校验，大量这类冗余的等价规则会大幅拖慢推理速度，严重时还会出现逻辑环导致推理结果不可判定。如果只是普通实例，推理时仅需要做实例归属校验，开销要小很多。
• 符合通用建模规范：绝大多数知识建模场景中，类是对多个具有共同特征的实例的抽象，个体是类的具象化表现，二者的层级划分是明确的。只有当你要建模的是全局唯一的实体对应的类（比如特定主权国家、唯一的官方机构）时，才有必要使用这类单例类等价的操作，普通场景完全没必要破坏类和个体的层级划分。
• 降低后续维护成本：个体和类等价后，该类就被限制为只能有这一个实例，如果后续业务需要给这个类新增其他实例，就会直接触发逻辑冲突，必须先删掉之前的等价规则才能继续操作，反而增加了本体的维护成本。

内容的提问来源于stack exchange，提问作者jarrar