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

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

分析了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.