论文研究-可视化本体编辑器VOEditor中的模型检查机制研究.pdf 上传者：houguof 2020-07-16 04:58:34上传 PDF文件 156.45KB 热度 25次 分析了OWL构造子与图形元素的映射关系，提出了在可视化本体建模中实施模型检查的原理和方法。该方法已成功应用于图形本体编辑器VOEditor的开发实践中。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
