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

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

基于本体的关系数据库语义检索

以经济学领域本体为例,首先研究SemSORD基本原理和方法,然后提出基于关系数据库关键词检索(Keyword Search over Relational Databases,KSORD)技术实现的关系数据库语义检索模型,并实现相应的原型系统Si-SEEKER,最后提出该领域的研究挑战和技术发展趋势。     

语义web中以描述逻辑为本体语言的推理

语义Web是worldwideweb的发展方向,它的实现能有效地提高互联网的智能化程度,进而提高其使用效率。描述逻辑作为语义Web的一个逻辑基础,成为其研究和开发的重要内容。该文讨论了语义Web中以描述逻辑为本体语言的推理方法,并对其应用作了简要的分析。     

基于本体的语义信息查询系统的研究与实现

提出并实现了一个以特定领域的概念化模型－领域本体作为统一语义模型的关系数据库网上发布与集成系统DIDSBS。该系统从领域本体出发，提出并实现了形式化本体和DTD（Document Type Definition,文档类型定义），DTD和关系视图的转换算法，实现了XML文档和数据库视图在语义和结构上的对应关系。     

关系数据库管理系统中支持基于本体的语义匹配

在关系数据库管理系统(RDBMS)中支持基于本体的语义匹配,引入一组SQL操作(即ONT_RELATED, ONT_EXPAND, ONT_DISTANCE和ONT_PATH)来完成基于本体的语义匹配,提供系统定义表存储用OWL表示的本体.使用户直接从SQL(使用语义操作)中引用本体数据,从而与其他操作相结合,使本体驱动的应用易于开发和有效率.相反,其他方法只是使用RDBMS存储本体,本体数据的查询需借助APIs.     

语义Web的初步逻辑研究

阐述了语义Web的本体语言和逻辑基础,针对语义Web本体的一些特殊描述和自动推理的需要,提出对应的描述逻辑扩展研究任务和研究需求,完成语义Web的初步逻辑研究。     

基于关系数据库的语义数据查询方法

针对当前资源描述框架(RDF)查询语言查询数据效率不高且不能查全的特点,通过研究关系数据库模式到RDF视图的映射关系,在基于本体的智能检索方法基础上引进分层思想,设计和实现一种单本体数据源环境下的RDF查询引擎,实现隐含语义的发现。实验表明该引擎能较好地实现高效率的语义查询,并具有更大的灵活性和可扩展性。     

关系数据库的语义可视化表达

关系数据为具有简单、单一的数据结构和成熟的数学理论基础,因而得到广泛的应用。但是,这种数据结构的简单、单一性是以丢失大量数据语义信息为代价的,针对关系数据库语义表达的不足,提出一种建立在基本关系数据结构基础上的可视化语义表达的方法,以实现对关系数据库的语义表达的扩充。     

为本体库提供精确语义的研究

CSCW中经常有多种本体库同时存在,然而这些本体库之间相互独立,不利于协同工作的顺利进行,另外,许多类似于框架表示的本体库缺乏精确的语义。为解决此问题,该文提出了用上层本体将不同本体库关联,并通过描述逻辑本体库为其它本体库提供精确的语义。文章重点介绍了基于描述逻辑的语言CSONTO,提出了相应的算法对术语分类。     

语义Web与推理系统的应用研究

分析了语义Web的体系结构及其相关知识,对本体论的逻辑基础进行了研究.在此基础上提出了一种有效的推理系统.     

语义网的一阶逻辑推理技术支持

研究了一阶逻辑推理工具对语义网的推理支持.语义网的关键推理问题可以化为公式的可满足性判定问题.一阶逻辑的自动定理证明器可以证明不可满足性,而有限模型查找器为可满足的公式在有限域内构造模型.提出在语义网的推理中,同时使用定理证明器和有限模型查找器.实验结果表明,这样可以解决描述逻辑工具的不足,并可以弥补定理证明器对可满足的公式推理的不完备性.     

存储于关系数据库的知识库的语义推理方法

语义推理的功能使得知识库更具人工智能,具有实用意义。文章根据语义模型的特点,构建了基于关系数据库的知识库语义存储体系,该存储体系的模式空间和实例空间相分离,降低了结构和数据的耦合性,使语义的存储范围更具完整性、语义的推理效果更具智能性。面向该存储体系的语义推理方法实现了相关语义(专家知识)的推理和相似语义(词汇)的推理,同时,该方法也考虑到了推理范围的可控能力和推理结果的语义还原能力。分析表明,该方法能应用于实际,但仍存在一些可改进之处。     

基于描述逻辑本体推理的语义级中文校对方法

近年来中文校对技术虽然在字词级和语法级层面取得了较好效果,但是对于语义级层面研究相对薄弱,目前相关研究都有一定局限性. 提出利用本体技术将中文文本中的语义内容提取出来转换为结构化本体,再与正确的领域背景本体库融合,通过描述逻辑推理机来判断提取的语义内容的逻辑一致性,并将检测出的逻辑一致性错误映射为中文语义错误. 此方法在政治敏感错误等领域进行了测试,与其他相关研究相比,具有语义查错的透明性、语义模型的完整性、语义推理的智能型等优势.     

OWL文件向关系数据库的映射及存储研究#br#

 针对现有本体存储模式存在的无法推理及操作不便等缺陷,本文提出一种新的OWL（Web Ontology Language）文件向关系数据库映射及存储的模式。该模式将本体文件数据提取至由本体ER图（Entity Relationship Diagram）设计的底层数据库中,同时在提取过程中自动获取隐含语义数据,再将底层数据库中的数据映射为便于用户操作的数据库。实验结果表明,该模式既保留了本体文件的隐含语义,又提高了查询效率,同时极大地方便了普通用户对本体数据的操作。     

关系数据库范式中的语义定义问题研究

本文介绍了在关系数据库中使用Ｗ文法的集合形式表示３ＮＦ的方法。     

基于语义关键词的本体特征指数获取方法研究

本体作为知识表达的范例工具,依赖于语义来进行逻辑推理.但在本体搜索时依赖于语义进行搜索十分困难.针对当前本体搜索中存在的问题,提出了一种通过拆分概念来获取语义关键词进而通过计算权值来获得一组本体特征指数的方法.详细阐述了如何获取本体的一组特征指数,即能够描述本体的一组相关的关键词.通过该方法所提炼的语义关键词对于本题搜索以及本体构建工作具有指导意义.     

几种语义描述语言之比较

XML是Internet上存储和传送信息方面最有发展前途的程序语言,但在语义上却存在缺陷。本文以研究知识表示语言的语义描述能力为目的,以基于元数据和基于本体的五种语言为研究对象,从语法和语义两个方面对他们进行了分析和比较,给出了各自的特点,同时对RDF和OWL进行简单的逻辑语义分析。     

语义网与本体

深入了解了语义网的由来,研究语义网的结构,通过对Unicode和URI、XML+NS+XML Schema、RDF+RDF Schema、Ontology vocabulary 4个层次模型来铸造稳固的结构。将本体技术融入到语义网运行过程中,实现知识共享和交换的目标。     

从关系数据库到面向对象语义数据库的语义捕捉和模式转换

本文提出了一个从关系数据库到面向对象语义数据库的两段模式转换方法，该方法 以语义确谯基础的，包含在局部关系模式中的语义可分为２类：一类是关系内语义，它是包含在一个避部关系模式内的语义；另一类是关系间语义，它是包含在局部关系模式之间的语义，第１阶段主要是将关系内语义捕捉到全局集成模式中来，而第２阶段则是将关系间语义通过模式重操作添加到全局集成模式中来，本文定离了一套用于建立转换机制的映射规则和转换操     

面向语义Web的领域本体表示、推理与集成研究

语义Web的基础之一是本体,为了让机器能够理解Web的内容并做推理,需要建立本体,并利用本体中定义的术语作为元数据来标记Web的内容．阐明了本体和领域本体的关系;介绍了现有面向语义Web的本体语言的概况;根据表达能力和推理效率的综合权衡,选择OWL Lite作为本体语言;提出了一种面向语义Web的领域本体表示、推理方法DORRSW和一种面向语义Web的多领域本体集成方法MDOISW;最后给出应用实例来说明方法的应用．通过这些论述,阐明面向语义Web的领域本体表示、推理与集成的基本情况,从而为创建面向语义Web的本体提供了基础知识．