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