10.3969/j.issn.1000-3428.2009.01.018
领域本体的一致性检查
针对领域本体中概念集的一致性检查问题,给出领域本体的形式化定义,阐述领域本体中的公理集,分析概念集的一致性检查方法,将OWL的本体表达方式转化为基于UML的表达方式,对UML进行适当的扩展,提供一种基于图形化的本体一致性检查机制.该方法基于图形化的形式,简洁直观、容易操作,克服了原有检查方法形式化程度高及复杂难操作的缺点.
领域本体、UML语言、一致性检查
35
TP311(计算技术、计算机技术)
国家部委预研基金
2009-03-13(万方平台首次上网日期,不代表论文的发表时间)
共4页
55-57,64