37、本体演化方法 OONNTTOO - EEVVOOAALL：优化与自动化变更管理

本体演化方法 OONNTTOO - EEVVOOAALL：优化与自动化变更管理

1. 不一致模式与替代模式

在本体演化过程中，常常会出现各种逻辑不一致的情况。其中一种不一致模式是“不适用的通用值限制（Inapplicable Universal Value Restriction）”。下面是该不一致模式的详细信息：
| 类别 | 属性 | 描述 | 示例 | 隐含实体 | 涉及实体 | 涉及公理 | 责任公理 |
| — | — | — | — | — | — | — | — |
| 不一致模式 | 不适用的通用值限制 | - | - | 源类 ID（C）、属性 ID（P）、目标类析取 1 ID（C1）、目标类析取 2 ID（C2） | 目标类析取 2 ID（C2）、（目标类析取 1 ID 与目标类析取 2 ID 不相交） | 源类 ID ⊑ ∀属性 ID. 目标类析取 1 ID（C ⊑ ∀ P. C1） | 源类 ID ⊑ ∀属性 ID. 目标类析取 2 ID（C ⊑ ∀ P. C2） |

为了解决这些逻辑不一致问题，提出了替代模式。替代模式旨在对可生成的替代方案类别进行分类，以解决 OONNTTOO - EEVVOOAALL 方法支持的逻辑不一致类型。它可以是与所需变更联合应用的额外变更，也可以是替代所需变更的变更，从而解决逻辑不一致。替代模式被描述为一种变更（基本或复杂），并继承和扩展了变更模式的属性。

例如，当需要应用一个添加两个类之间子类关系的变更（实例化基本变更模式 BChP_AddSubClass），且该变更导致了与新定义的包含关系相关的不相交不一致（实例化不一致模式 IncP_DisjointnessSubsumption）时，CMP