Research on Model Check Mechanism in Visual Ontology Designer VO-Editor
Youwei Xu · Jisuanji yingyong yanjiu · 2007
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.