20、本体演化涟漪效应模型与生物医学系统语义层需求

本体演化涟漪效应模型与生物医学系统语义层需求

1. 本体演化涟漪效应模型

1.1 变更定义与模型

本体操作会打破系统的平衡，产生涟漪效应，为了使系统恢复平衡，需要对这些效应进行控制。在执行操作并控制其涟漪效应范围时，有三个基本断言需要考虑：
1. 操作执行的必要条件 ：例如，要移除一个概念，该概念必须存在。
2. 操作执行后需检查的条件 ：这些条件参与操作的验证，如删除一个概念后，该概念不应再存在于本体结构中。
3. 操作前后都需检查的条件 ：例如，删除一个概念时，操作后目标类与其他类或属性之间不应存在任何形式的关系。

下面是基本和通用断言的表格：
| Id | Assertion | Signification |
| — | — | — |
| 1 | +Ci | ∃ (Ci ∈ C) |
| 2 | +Ri | ∃ (Ri ∈ R) |
| 3 | +Ai | ∃ (Ai ∈ A) |
| 4 | +Ti | ∃ (Ti ∈ T) |
| 5 | +CARRi | ∃ (CARRi ∈ CARR) |
| 6 | -Ci | ¬ (Ci ∈ C ) |
| 7 | -Ri | ¬ (Ri ∈ R ) |
| 8 | -Ai | ¬ (Ai ∈ A ) |
| 9 | -Ti | ¬ (Ti ∈ T ) |
| 10 | -CARRi | ¬ (CARRi ∈ CARR ) |
| 11 | +HC(C