论文部分内容阅读
针对领域本体中概念集的一致性检查问题，给出领域本体的形式化定义，阐述领域本体中的公理集，分析概念集的一致性检查方法，将OWL的本体表达方式转化为基于UML的表达方式，对UML进行适当的扩展，提供一种基于图形化的本体一致性检查机制。该方法基于图形化的形式，简洁直观、容易操作，克服了原有检查方法形式化程度高及复杂难操作的缺点。