开放环境下本体演化方法

（1）提出一种基于Alloy的本体一致性非标准推理方法。（2）提出一种改进的基于SAT的本体一致性非标准推理方法。（3）提出开放环境下本体演化变更序列的冲突检测算法。（4）提出开放环境下本体演化变更序列语义冲突诊断算法。（5）提出一种具有变化冲突诊断与消解能力的本体演化框架。（6）提出一种基于概念格的本体版本差异检测算法。