基于互表性的动态本体描述语言的研究

语义网作为互联网发展的蓝图,是指能够根据语义进行判断的网络,它不但要能理解人类的语言,还能识别信息的语义,更要能够对信息进行自动解释和处理。作为语义网架构的核心层,本体是解决语义层次上WEB信息交换和共享的基础,这也是语义网技术里最关键的部分,而本体描述语言正是用来描述本体的,可以说一个本体描述语言的的好坏关系到一个本体创建的成功与否,所以有必要对本体描述语言做重点研究。本体是描述特定研究领域的一个形式化的、共享的概念化模型。其实,本体就是通过对概念、术语及其相互关系的规范化描述,勾画出的某一领域的基本知识体系和描述语言。 目前的本体理论都是把资源的信息和资源间的关系描述为确定不变的。然而,在不同的领域、不同的文化、不同的社会环境中,信息的语义是有所不同的；同时,随着外界因素发生变化,信息的语义也会随之而变化,所以本体理论有待扩充。本文在研究互表性、模糊性、演化性原理,主体、动态本体及其体系结构等现有理论的基础上,给出了一动态本体描述语言(DODL)的基本词汇、语法结构和语义描述,并用这一DODL语言对两个Agent联合搬积木时的状态进行了描述。 具体来说,本文主要完成了如下的研究内容： (1)对本体的概念以及本体描述描述语言,特别是RDF和OWL做了深入的讨论。 (2)对主体理论做了深入的研究,包括主体的定义、主体与对象的联系、BDI模型等,重点是对主体的实用推理做了研究。 (3)对互表性、模糊性、演化性原理进行了研究,对动态本体的AOR形式化模型、体系结构及其相关理论进行了研究。 (4)通过对动态本体主要组成成分Agent、Object、Class和Ontology等的形式化定义,给出了这一动态本体描述语言的基本词汇、语法结构和语义描述,并给出了这一DODL语言的BNF。 (5)用DODL语言对两个Agent联合搬积木时的状态进行描述,并设计实现了两个Agent联合搬积木的程序。