OWL DL的形式化基础研究

W3C正在制定的OWL DL是一种面向语义Web的知识表示标记语言，具有较强的知识表达能力并适合大规模应用的推理效率，是语义Web领域对适合语义Web应用的知识表示标记语言进行研究的最新综合．在知识表示领域，为了对知识表达能力和推理效率做合适的折衷，进行了大量关于描述逻辑的研究，本文以描述逻辑作为OWL DL的形式化基础，详细分析了OWL DL和描述逻辑间的对应关系，用描述逻辑的语义解释了OWL DL的各个基本元素，从而可以将描述逻辑领域研究的大量成果应用到OWL DL上来，为进一步研究OWL DL的知识表示、推理等问题奠定了基础．     

语义Web中的本体推理研究

从语义Web的基本概念开始，介绍了语义Web的层次结构；介绍了本体的基本概念以及用于本体描述的几种语言。用W3C推荐的本体描述语言OWL描述了一个本体实例，通过此实例对本体推理在本体建立中的冲突消解、描述优化、本体的合并和实例归类中的应用进行了研究，说明了本体推理在本体建立及本体应用中的作用。本体技术是语义Web的核心技术，所以建立和维护本体是语义Web中的主要工作之一，而基于本体的推理可以帮助建立和维护本体。     

基于语义网规则语言的推理机制框架设计

分析了本体描述语言OWL DL在表达能力上局限于描述逻辑的缺陷以及语义网规则语言(semantic web rule language,SWRL)的特点,在已有时本体和规则结合推理的研究基础上,提出了一个基于SWRL的推理机制框架.该框架在OWL本体中引入了规则的表示,弥补了OWLDL在推理机制上的不足,经该框架推导出的新本体在原本体的基础上增加了概念间的语义关联,将隐性知识显示化,完善了本体知识库的内容.在语义Web领域,该框架的应用能够提高本体知识的利用率.     

基于本体DL的语义推理研究

随着Internet的迅速发展,语义Web作为新一代Web正倍受关注,因为语义表述与推理是语义网需要解决的关键问题。为了解决这一问题,文中在概述了本体语言、描述逻辑的概念和描述逻辑的原理的基础上,提出了一种新的方法：让本体表示语言与描述逻辑相结合,从而为语义推理的合理性和有效性提供了保证。文中重点介绍了通过对基于本体DL的语义推理机制进行阐述分析,较详细地探讨了在本体构建过程中,运用基于描述逻辑的语义推理进行一致性判定和相容性判定的重要性和实现技术,并以果品领域的本体构建为例,对构建过程中的推理判定进行了验证。     

基于本体的业务源模型知识库构建及应用研究

针对当前网络业务源模型领域的知识表示及复用问题,采用本体技术实现了业务源模型领域本体的建模,形成一种标准化格式的异构信息知识库。通过分析业务源模型领域的相关知识,以改进的本体构建七步法为指导,利用Web本体语言OWL(Web Ontology Language)对业务源模型领域中的概念、属性及概念和属性之间的关系进行知识表示,将语义特征引入业务源模型知识库;利用本体查询语言和本体推理机,结合具体应用场景实现基于语义的知识检索,以验证其实用价值;在上述基础上设计开发了业务源模型智能检索系统,验证了所建本体的合理性和通用性。实验结果表明,采用本体技术能有效提高查询和推理的准确度。     

特定领域本体的构造方法

提出了一种领域本体构造方法OntoMerge，通过该方法构造得到领域本体，再利用领域本体对构件进行本体描述。基于本体、面向服务的构件描述，具有语义推理功能，能极大地提高构件检索的查全率和查准率，并为构件入库、检索、组装等工作奠定基础。     

本体表示语言研究综述

随着Semantic Web的出现，本体作为人工智能领域中知识的核心已经越来越受到研究者的重视。特别是近十年来，涌现出许许多多本体表示语言，为本体的开发和研究提供了有力的帮助。本文主要介绍了传统的本体语言以及目前常用于万维网的本体语言的特点，并从表达和推理能力等方面对各种本体表示语言进行了分析和比较。在此基础上，总结出本体语言应用的一些规律，对于在开发工作中选择合适的本体语言具有一定的参考价值。     

面向语义集成--本体在Web信息集成中的研究进展

本体（Ontology）是描述概念及概念之间关系的概念模型，通过概念之间的关系来描述概念的语义，作为一种有效表现概念层次结构和语义的模型，本体在Web信息集成中得到广泛的应用，文中就目前本体在Web信息集成中的应用做了分析与探讨，以期对相关领域的同行有参考作用。     

一种基于本体的语义检索系统的研究

面向语义是提高检索效率的有效途径。基于本体技术,提出了一个面向特定领域的信息检索模型,重点研究了结合本体的信息收集、信息抽取以及语义推理技术,并分析了模型在手机本体领域的应用。通过本体的语义推理,提高了检索系统的查全率和查准率。     

军事通信领域本体构建与分析

构建军事通信领域本体主要是用于支持基于领域本体的数据库语义查询.基于本体模型的知识表示技术,概述了军事领域本体的整体结构,分析了军事通信领域本体的特点.对军事通信领域本体的构建方法进行了阐述,详细描述了定义类和类的属性和关系,并根据领域知识中提取公理,说明了领域本体知识进行一致性分析和推理的方法.根据这些方法,采用Stanford大学开发的Prot龟6的本体编辑工具实现了一个军事通信本体模型.对下一步将该本体应用到数据库语义查询的问题,提出了一种解决方案.