论文部分内容阅读
本体是动态变化的。在本体的进化过程中,一个关键的问题就是要确保本体的一致性。本文主要关注于本体中概念集的一致性检查。在文中,首先分析了当前的关于概念集的一致性检查方法,然后将目前比较流行的OWL的本体表达方式转化为基于UML的表达方式,并对UML进行了适当的扩展,在此基础上提供了一种基于图形化的本体一致性检查机制。该方法基于图形化的形式,简洁直观,容易操作,克服了原有检查方法形式化程度高以及复杂难操作的缺点。