本体演化的修正理论和算法研究

随着本体数量的不断增加和语义Web的发展，如何修改现有本体以适应新知识和变化的需求变得十分重要。现有演化方法的输入不同、本体模型不同、知识要求不同、使用情景不同、修正结果各异，因此需要进一步探讨本体的修正理论，为本体变更找到理性的基本原则和演化算法。此外，在Web这样开放的动态环境中，现有方法还面临一些难于解决的问题，例如有的不相容处理方法不易推广，有的依赖启发式策略；本体错误的诊断方法还有错误诊断或候选诊断过多的问题。为此，本项目研究本体的修正理论和演化算法，包括改进Stojanovic、Foo、Flouris、Schlobach、Zhang等的工作，分析开放环境下的变更依赖、错误传播、变更时序关系，研究不可满足概念的诊断推理、修复推理和变更动作推理等多种支持本体演化的推理方法。