许勇
- 作品数：3 被引量：15H指数：1
- 供职机构：解放军理工大学指挥自动化学院更多>>
- 发文基金：国家部委预研基金武器装备预研基金国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 领域本体的一致性检查被引量：15
- 2009年
- 针对领域本体中概念集的一致性检查问题,给出领域本体的形式化定义,阐述领域本体中的公理集,分析概念集的一致性检查方法,将OWL的本体表达方式转化为基于UML的表达方式,对UML进行适当的扩展,提供一种基于图形化的本体一致性检查机制。该方法基于图形化的形式,简洁直观、容易操作,克服了原有检查方法形式化程度高及复杂难操作的缺点。
- 许勇王智学李宗勇
- 关键词：领域本体UML语言
- 基于图形化的本体一致性检查
- 本体是动态变化的。在本体的进化过程中,一个关键的问题就是要确保本体的一致性。本文主要关注于本体中概念集的一致性检查。在丈中,首先分析了当前的关于概念集的一致性检查方法,然后将目前比较流行的 OWL 的本体表达方式转化为基...
- 许勇王智学李宗勇
- 关键词：本体OWLUML
- 基于图形化的本体一致性检查
- 本体是动态变化的。在本体的进化过程中,一个关键的问题就是要确保本体的一致性。本文主要关注于本体中概念集的一致性检查。在文中,首先分析了当前的关于概念集的一致性检查方法,然后将目前比较流行的OWL的本体表达方式转化为基于U...
- 许勇王智学李宗勇
- 关键词：网络本体语言UML技术
- 文献传递
