89、优先EL本体的演化研究

优先EL本体的演化研究

在当今的医学领域，本体并非静态不变，而是会随着时间不断发展。以阿尔茨海默病为例，不同研究对其症状的定义有所不同，新的研究不断定义出新的症状，这就需要对原有的本体进行修订，在保持一致性的前提下插入新的输入信息。

描述逻辑（DL）的演化过程

DL的演化过程是将新的本体融入现有本体，同时考虑可能发生的变化。新本体通常由一组公理表示，这些公理需满足特定属性。若新本体与旧本体产生负面交互，导致本体或其部分不可满足，就不能直接将新本体添加到旧本体中，需要进行调整以避免不可满足性，比如处理与本体冲突的公理。这与命题逻辑中的信念修正问题类似，都是通过添加新公式来修正旧信念。

EL的语法和语义

• 语法 ：EL的语法基于三个两两不相交的集合NC、NR、NI定义。NC表示原子概念集合，NR表示原子角色集合，NI表示个体集合。EL概念表达式的构建规则如下：
  | Syntax | Semantics |
  | ---- | ---- |
  | Atomic concept A | AI ⊆ΔI |
  | Atomic role r | rI ⊆ΔI × ΔI |
  | Individual a | aI ⊆ΔI |
  | Top ⊤ | ΔI |
  | Bottom ⊥ | ∅ |
  | Conjunction C ⊓D | CI ∩DI |
  | Existential restriction ∃r.C | {x ∈ΔI | ∃y ∈ΔI tel que (x, y) ∈rI et y ∈CI} |
  | Nominal {a