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

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

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

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

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

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

基于进化分布式本体的语义Web服务动态发现

在语义Web服务中,确认分布式本体变动、维护其一致性并实现基于进化的分布式本体的Web服务语义查询成为了一个重要挑战．该文使用SHOQ(D)的分布式描述逻辑扩展(DDL)描述相互关联的异构分布式本体,提出了优先分布式知识库(PDK)的概念,探讨了PDK方法的一些重要属性．PDK用来描述分布式本体的进化和更新,它适用于语义Web服务环境．基于PDK,文中还给出了相应的语义查询方法,Web服务的语义查询可以归结为检测同这个查询对应的概念在最优先PDK中的p-可满足性．     

语义Web本体及本体库系统设计技术

当前的Web页面使用格式化表示语言描述信息,由于其以自然语言形式描述信息,因而不利于机器理解,为此而出现了语义Web这一研究领域,旨在实现Web的机器理解.文中介绍了语义Web的结构,然后对语义Web模型中的本体模型作了深入的讨论,包括本体的概念、构建本体的原因以及一个本体库系统所应具有的功能,并给出了有关功能结构图,最后讨论了未来的研究方向.     

语义Web本体及本体库系统设计技术

当前的Web页面使用格式化表示语言描述信息,由于其以自然语言形式描述信息,因而不利于机器理解,为此而出现了语义Web这一研究领域,旨在实现Web的机器理解。文中介绍了语义Web的结构,然后对语义Web模型中的本体模型作了深入的讨论,包括本体的概念、构建本体的原因以及一个本体库系统所应具有的功能,并给出了有关功能结构图,最后讨论了未来的研究方向。     

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

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

以F-Logic为平台本体与规则的集成研究

本文分析了本体与规则集成的重要性及其存在的问题,提出了一种以F-Logic为平台本体与规则的集成方法。     

语义Web的初步逻辑研究

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

语义Web环境中本体库管理系统体系结构研究

近年来,语义Web的提出给传统的本体研究带来了许多新的挑战,其中本体的管理成为一个迫切的普遍的需求.分析了语义Web环境中本体的特点和本体管理的功能需求;提出了通用本体库管理系统体系结构的设计原则;并基于该原则设计了一个新型的多层双库(ML&DR)的体系结构;介绍了其中主要的功能模块;最后,给出了一个遵循该体系结构设计和实现的原型系统--CODERS.     

基于描述逻辑的本体进化框架

以描述逻辑作为本体标准语言的理论基础,研究本体进化的概念和目的,提出一种本体进化框架,并在此基础上探讨本体进化过程和本体进化实现技术,包括本体变化操作语法与语义以及本体变化执行算法。通过图书本体实验平台验证了本体进化框架以及本体变化执行算法的可行性。     

基于本体的推理机研究

语义网技术的兴起促进了本体技术的发展,本体作为语义网的基石,在知识表示与知识推理方面发挥着重要作用。本体表示语言与描述逻辑相结合,为本体推理的合理性和有效性提供了保证。介绍了本体语言、描述逻辑和描述逻辑推理的基本原理,重点介绍了基于SHIQ描述逻辑的推理机Racer的基本功能及其在智能信息检索中的应用。     

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

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

基于ontology的语义搜索引擎研究

在分析搜索引擎的基础上,提出了一种基于ontology的语义搜索引擎系统设想.这个搜索设想不仅能实现关键词的检索,还能让机器理解Web页面的内容、进行语义推理、完成更繁杂细致的搜索任务.将对于提高Web的查全率和查准率有一定的参考意义.     

语义集成:本体映射方法研究

本体是客观世界知识的表现形式,随着语义Web研究的深入,研究者们构建了越来越多的本体,如何实现本体之间的知识共享和重用,成为了语义Web发展的关键。文中对本体映射的方法进行了研究,系统阐述了本体及本体映射的定义、本体映射中的相似度计算和本体映射框架等。如何减少本体映射中的人工干预,实现本体的半自动化或自动化映射将是该领域的发展方向。     

基于本体结构的语义相似度计算

语义相似度是语义网络和信息检索领域的重要内容.本体结构为语义相似度计算提供了新的思路,但现有的方法都存在着不同程度的缺陷.为了提高已有方法的有效性,在分析语义相似度经典方法的基础上,充分利用本体的结构信息,综合考虑概念在本体图中的位置、语义距离,共享属性量和共享信息等因素,提出了一个基于本体结构的语义相似度算法.实验部分以维基百科中公开发布的氨基酸本体为例,通过与经典方法计算结果的对比,证明了算法的有效性.     

面向语义Web的描述逻辑本体构建

随着计算机技术和网络技术的不断发展,网络信息技术已经成了人们生活中不可分割的一部分,但是,如何构建一个更加科学合理的描述逻辑本体,方便人们在数以万计的网络信息中快速、高效的找出所需要的信息和资源是当前世界范围内的迫切性问题。该文就面向语义Web的描述逻辑本体的构建做相关的讨论和研究,希望为我国网络技术中的本体构建技术问题提供一些借鉴和参考。