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

Research on Model Check Mechanism in Visual Ontology Designer VO-Editor

作　　者：杨艳[1] 唐胜群[1] 徐杨[1] 徐有威[1] 

机构地区：[1]武汉大学软件工程国家重点实验室,湖北武汉430072

出　　处：《计算机应用研究》2007年第5期87-89,共3页Application Research of Computers

基　　金：湖北省信息产业专项基金资助项目(05050)

摘　　要：分析了OWL构造子与图形元素的映射关系,提出了在可视化本体建模中实施模型检查的原理和方法。该方法已成功应用于图形本体编辑器VO-Editor的开发实践中。This paper presented the mappings between OWL constructs and graphical elements, and proposed the principles and methods of model checking in visual ontology modeling, which had been successfully applied to the development of VO- Editor.

关 键 词：语义WEB 本体 WEB本体语言 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]