领域本体的一致性检查

摘要

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