可视化本体编辑器VOEditor中模型检查机制研究.docVIP

可视化本体编辑器VOEditor中模型检查机制研究 　　摘要：分析了OWL构造子与图形元素的映射关系，提出了在可视化本体建模中实施模型检查的原理和方法。该方法已成功应用于图形本体编辑器VO－Editor的开发实践中。?? 　　关键词：语义Web；本体；Web本体语言?? 　　中图分类号：TP391文献标志码：A 　　文章编号：1001－3695(2007)05－0087－03 　　 　　互联网上信息资源整合问题一直是困扰电子政务、电子商务应用设计者的难题。要更好地解决网上资源整合问题，仅仅依靠语法层的标准统一是不够的，必须要对数据从语义层次上加以整合。为此，本文研究开发了一套基于语义Web技术的网上资源整合平台。它采用了可视化的图形本体建模方法、有效的模型检查机制、独特的选择性推理算法以及语义标注体系，有助于提高网上信息资源整合的效率。?? 　　这套平台重要的核心基础部件是可视化的本体编辑器VO－Editor，通过它可以在图形方式下进行本体的浏览、创建和编辑等。?? 　　 　　1可视化本体编辑器VO－Editor?? 　　 　　图形化的本体建模工具VO－Editor是平台中相对独立的一套工具，它能够辅助本体工程师更直观、高效地建立本体。该编辑器是基于Eclipse平台开发的，它支持以图形化的方式来进行本体的显示和编辑，并能同步生成本体的OWL文件。图1展示了VO－Editor的图形编辑界面。其中，图1左上部分为大纲视图，左下部分为缩略图，右边为工作区。?? 　　 　　在本体的图形编辑窗口中，提供了所有的OWL元素选项。建立本体的工作是通过拖拽这些本体元素到工作区来实现的。通过大纲视图可以列出本体中所有的对象及其对应的属性，并通过缩略图的形式显示给用户。多层编辑视图分为Class编辑视图和Property编辑视图两个部分。在Class的编辑视图中，显示类、实例以及类的继承、等价、类与实例的映射关系；而在Property的编辑视图中，显示属性以及属性的继承、等价关系。同目前种类繁多的本体建模工具如Ontolingua、Ontosaurus、WebOnto、Protégé相比，这套本体编辑工具具有较强的图形化浏览和编辑功能，可以更清晰直观地表达出本体元素间丰富而复杂的联系。?? 　　 　　2VO－Editor中的模型检查?? 　　 　　 VO－Editor所支持的本体语言是OWL，OWL具有一定的语法约束。作为图形化OWL本体编辑器，VO－Editor必须要能够在本体的创建和编辑过程中体现并实施这种语法约束（以及图形操作方面的一些约束）；另外，还必须能够对用户所建立的整个本体模型进行检查，对于模型中的不一致、继承循环等错误给出提示。?? 　　OWL提供了三种表达能力递增的子语言，即OWL Lite、OWL DL与OWL Full。OWL Lite只使用了OWL的部分语法元素，用于提供给那些只需要一个分类层次和简单属性约束的用户。OWL DL已包含OWL中所有的语言约束。由于基于比较成熟的逻辑体系DL，OWL DL不仅表达能力丰富，还能保证推理的计算完整性和可判定性。OWL Full则允许本体在预定义的RDF和OWL词汇表以外增加词汇，但无法提供上述计算保证。本文在设计开发这套平台的过程中，考虑到OWL Full的复杂程度过高以及后续推理的需要，VO－Editor主要提供对OWL DL本体和OWL Lite本体的支持。?? 　　2．1OWL构造子与图形元素的映射?? 　　图形化本体编辑器VO－Editor通过对图形的操作，提供对本体模型的创建、添加、编辑、删除、维护等功能。首先需要将OWL构造子映射到编辑器中的图形元素。?? 　　这里将OWL构造子分为两类，即基本构造子和关系构造子。基本构造子描述类、属性、实例等基本概念；关系构造子描述类继承、属性继承、值域、定义域等关系。基本构造子和关系构造子分别映射图形元素的节点和关系连线（表1）。关系连线是有向的，它的两端各连接一个节点（分别称为源节点和目标节点）。?? 　　 　　2．2模型检查?? 　　2．2．1全局检查?? 　　全局检查主要是对整个本体模型是否存在错误进行检查（也可以检查单个元素的模型是否正确）。全局检查在用户点击工具栏上的相关按钮以及导出OWL文档时执行。?? 　　VO－Editor图形编辑器是基于MVC框架开发的，以模型为中心。模型管理器ModelManager是模型层的核心部件，它实现了IModelManager接口，可用来统一管理各种OWL节点元素模型的算法；管理各个OWL节点元素的相关信息（如全局唯一的名字、命名空间、某些实例的属性值存储等）；管理与整个本体有关的信息（如本体文件的头信息和命名空间的管理）；并提供