可视化本体编辑器VO-Editor中的模型检查机制研究

• 作者: 唐胜群 徐有威 徐杨 杨艳
• 来源期刊: 计算机应用研究
• 关键词: 语义Web 本体 Web本体语言
• 年，卷（期）: 2007,（5）
• 所属期刊栏目: 研究探讨
• 页码范围: 87-89
• 页数: 3页
• 分类号: TP391
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2007.05.027

摘要

分析了OWL构造子与图形元素的映射关系,提出了在可视化本体建模中实施模型检查的原理和方法.该方法已成功应用于图形本体编辑器VO-Editor的开发实践中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨艳	武汉大学软件工程国家重点实验室	93	737	13.0	22.0
2	徐杨	武汉大学软件工程国家重点实验室	9	31	3.0	5.0
3	唐胜群	武汉大学软件工程国家重点实验室	38	896	13.0	29.0
4	徐有威	武汉大学软件工程国家重点实验室	3	4	2.0	2.0