论文部分内容阅读
Web经过十余年的发展,已成为一个巨大的全球化信息空间。由于信息资源在语法表示与结构上的异构性,使得传统数据库方法以及基于统计学分析方法的搜索引擎技术,无法有效实现对Web资源的管理、查询以及机器自动化处理。语义Web是为解决上述问题而新兴的研究领域。基本思想是用机器可处理的语义元数据描述Web资源,使得软件Agent能对Web资源进行自动化处理,并智能地提供语义Web服务。实现异构资源的语义级共享与互操作,是语义Web成功的关键,它严重依赖于对Web资源的有效组织和管理。本文主要研究语义Web资源的组织和管理模型,以及相关的主体技术。介绍了语义Web的发展根源,综述了语义Web的研究现状,主要研究工作包括以下四个部分:提出了一个基于知识的数据模型,其基本思想是用领域本体知识结构组织资源,以明确体现资源间的语义关系。首先,深入分析了语义Web资源的组织和管理需求,讨论了语义、元数据以及本体三个要素;并考察了关系模型、XML,RDFS等数据模型的不足。然后,定义了一个基于知识的数据模型,模型包括知识模式、资源实例库和完整性约束三部分。知识模式用于表示领域概念知识,资源实例库是对领域资源的抽象,完整性约束表示了知识模式无法表示的领域规则知识。最后,定义了模型的RDF Schema。提出了一个基于描述逻辑的资源演算和一个资源代数系统。定义了抽象的资源演算及其形式语义,目的是为资源查询语言的设计提供基础,资源演算可以为资源查询语言提供清晰的说明性语义解释。资源查询代数用于描述高级查询语言的操作语义,与说明性的资源演算相比,查询代数是一种过程性的查询语言。更重要的是查询代数为查询优化提供了基础。为此,本文定义了基于知识的数据模型的代数系统,并给出了若干等价规则。设计了一种面向用户的高级资源操作语言RML。RML包括资源查询与资源更新两个子语言。在查询部分,RML的特点是能够支持查询组合,支持知识级查询、路径查询以及资源视图的定义机制;在资源更新部分,RML支持资源实例和属性的插入、删除以及更新操作。最后,RML与已有的资源操作语言作了详细比较。提出了一种基于主体通信语言FIPA ACL的多主体团队交互协议。首先,分析了现有FIPA ACL支持团队联合求解的充分性问题。在概念上明确区分了联合请求与委托请求,指出委托请求言语动作不能充分支持团队协作。扩展定义了联合请求,讨论了相关定理。然后,基于联合请求动作,提出一种主体团队交互协议,并给出了协议的形式化语义,最后讨论了协议的实际应用。区别于现有的基本动作请求协议、合同网协议以及拍卖协议,团队交互协议描述了另一类主体交互模式,对团队型语义Web组合服务的开发具有指导意义。基于上述研究,本文最后讨论了基于知识的数据模型的存储与查询处理等实现问