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