基于用户自定义变更的本体进化

摘要

提出一种基于用户自定义变更的本体进化方法.首先给出了该方法的形式化描述,建立了本体一致性模型和原子变更及冲突消解方法,然后对用户自定义变更模型进行语义描述,将用户自定义变更转换成原子变更,并对其进行了优化.最后给出了用户自定义变更及优化的实例.结果表明:本方法可以很好地满足本体进化过程中用户的复杂需求,并实现了本体变更的形式化描述,解决了各种变更中的冲突问题.