11、生物医学本体中 “is-a” 结构的完善

生物医学本体中 “is-a” 结构的完善

验证阶段与修复迭代

在修复生物医学本体的 “is-a” 结构时，验证阶段可通过点击 “Validation Done” 按钮结束。之后，系统会计算所选修复操作的结果，并为用户呈现一组新的需要修复的 “is-a” 关系。验证阶段和后续计算构成了修复过程的一次迭代。若两次迭代间的修复结果没有变化，系统将输出最终修复结果。在任何时候，用户都能从 “File” 菜单保存已验证的关系，这使得跨多个会话进行调试成为可能。

实验设置

实验在配备 3.07 GHz Intel Core i7 - 2620M 处理器、4 GB RAM 的 Windows 7 Professional 系统和 Java 1.7 编译器环境下运行，涵盖了两种不同情况。在所有实验中，验证阶段耗时最长，而迭代间的计算耗时不到 10 秒。实验结果总结在图 4 - 5 中，其中 “It” 列表示不同的迭代，“Missing” 行给出每次迭代中缺失的 “is-a” 关系数量。缺失的 “is-a” 关系可通过添加自身（“Repaired by itself”）或添加本体中不可推导的其他 “is-a” 关系（“Repaired using new knowledge”）来修复，“New relations” 行显示添加到本体中的新 “is-a” 关系数量。

案例 1：OAEI 解剖学实验

• 小鼠解剖学（AMA） ：对包含 2744 个概念的小鼠解剖学本体（AMA）进行调试，初始输入 94 个缺失的 “is-a” 关系。经过三次迭代得到最终解决方案，其中 37 个关系通过添加新知识的修复