华中科技大学孙小林在其博士论文中提出了基于2一型模糊逻辑推理的本体进化方法,弥补了本体系统对模糊信息研究很少的现状。该方法采用2一FSWRL本体存放知识库,以数据挖掘中增量式层次聚类算法为基础,构造一种基于2一型模糊描述逻辑的本体进化模型来实现2一型模糊本体半自动的构建与进化,不仅可以大大减轻本体构建初期的人工参与力度与工作量,而且能够使本体在环境发生改变的时候迅速做出反应。
2.2基于本体版本的方法和理论
为了完成本体版本交互和共享的功能,近年来研究者们开发了许多致力于管理、修改、进化本体的工具和系统。很多本体编辑工具,像prot6g6、OntoEdit都会有一个本体变更日志来记录本体的版本变化,但是本体变更日志在不少情况下是难以获取的,比如在语义网中,我们仅能得到新老版本的本体,而不是它们在变更时的纪录。鉴于此,MichelKlein等建立了一个改变设置,与日志不同的是,它只记录必要的操作记录、操作不需要按顺序记录以及记录方式不唯一。既然变更的方式不唯一,那么必须有一个统一的方法来整合这众多的变更,因此,MichelKlein等又提出了一个集成所有变更的框架,实现了本体一致性的要求。
针对当前本体变化研究中本体变化的约束模型和算法缺失问题,柯贤达引入了本体变化表达的元数据模型,以一个类/概念来表达本体的某种变化,扩展建立一个Modify—Inst类,描述和记录知识实例的变化,这一点与MichelKlein等的想法一致,不过后者的本体用于记录基本变更操作和复杂变更操作。为了保证变化操作发生后本体的一致性,柯贤达提出用特定的算法来表示每一种类型的本体变化的约束。如果某一本体变化类型t对应的约束算法为C,则这种对应关系可以表达成为二元关系Corresp。ndence(t,c)。其中t∈Cchg,C∈{RulesCheckAlgorithm}。RulesCheckAl—gorithm算法用于检测该本体变化操作是否可以执行。每一种类型的本体变化对应一个检测算法。而所有这些约束算法构成的集合称之为ChangeCheckAlgorithmBase。
本体版本的研究的另一个方面是版本的匹配问题,不同版本间的单向匹配不能够满足用户的不同需求,如何实现版本问的双向匹配,实现数据共享和重用的能力,是本体版本研究的一个重要问题。中科大赵思阳等提出了一种新的本体版本匹配方法,方法可以对同一本体的两个版本同时进行正向和逆向匹配,将不同版本中的相似元素联系起来并相互转换。其中,本体的双向匹配用一个五元组{E1,E2,R,TE,M}来表示,E1,E2一两种不同本体版本的匹配元素,R一匹配关系,TE一转换表达式,M一元数据。在匹配方法的实现上,采用双向转换表达式来描述双向转换,提出使用单向表达式求逆的方法来将单向匹配表达式扩展到双向转换表达式,从而简化了匹配算法。
PieterDeLeenheer提出了一个管理和修改多本体版本的独立于模型的框架。为了保持表示模型的独立性,它选择可能世界本体来抽象地表示本体及其进化过程;此外,它受信度网的启发,对版本的转化进行了分类,它们是修改,扩展,压缩和维持原状。在研究的最后,作者介绍了框架实现必须具备的元件:本体格浏览器,用于定义转化的编辑器及告示agent。
3基于本体的实现工具
Pr0t∈是斯坦福大学开发的本体编辑和知识获取软件,它提供版本间的日志变更,但是在语义网中,Prot6g6就显得不足,因为本体的变更变得难以获得,此外,Prot6g6是手动的输入本体的内容,必须记住其他的方法才能实现数据库与本体库的自动转化。