基于描述逻辑的本体检错推理研究——以国共合作领域本体为例

本体检错推理在本体形式化汉语言的描述逻辑基础上,运用Tableau算法对本体的概念层次,声明的实例以及实例间复杂的语义关系进行检测,以保证本体库结构的逻辑一致性和知识描述的正确性。以国共合作领域本体库为例,探讨了本体检错推理的逻辑基础及Tableau算法的原理,分析本体检错推理的内容,并采用描述逻辑推理接口协议DIG集成描述逻辑推理引擎Racer实现了国共合作领域本体检错推理。     

描述逻辑在智能化信息检索中的应用

智能化是信息检索技术发展的一个重要方向,将本体论技术引入信息检索过程实现信息检索智能化得到了广泛的关注和研究.但是,现有的研究仅仅局限于利用本体规范化人-机对篇章词汇概念的一致理解,实现词汇语义级别的信息检索,对本体所具有的推理能力如何应用于信息检索却缺乏有效的解决方法.为了解决这一问题,本文将描述逻辑引入信息检索.一方面,通过建立描述逻辑与领域本体之间的映射关系,规范领域本体的构建,使领域本体具备自动推理能力;另一方面,强调通过语义标注实现领域本体对检索文档的描述.这样,就可以将针对检索文档集合的信息检索转换为针对描述逻辑知识库的推理过程,从而在信息检索过程中引入推理服务,实现智能化检索.文章详细定义了基于描述逻辑的信息检索的概念,阐述了其所提供的各种信息检索服务,并且以一个企业环境中的应用说明基于描述逻辑所实现的信息检索新能力.最后,介绍一种基于描述逻辑的信息检索技术实现方案.     

本体模块化方法研究综述

针对目前已有本体模块化含义界定研究范畴,认为本体模块化方法主要分为本体划分方法和模块抽取方法两类,从图理论和逻辑理论两方面对这两类方法进行综述,指出模块化方法存在的问题,认为今后应根据特定应用或场景需求选择合适的模块化方法或修改已有的模块化方法。     

基于本体模型的信息检索机制研究

本文首先介绍了本体的基本概念 ,然后利用描述逻辑建立了本体的形式化模型 ,并提出了本体术语包含关系的检验算法 ,最后根据所建的本体模型研究了信息检索机制。     

基于本体的电子政务公共服务用户知识管理研究

本体是领域内重要实体、属性、过程及其相互关系形式化描述的基础,在电子政务公共服务用户知识管理中具有重要的作用.本文阐释了电子政务公共服务用户知识管理的意义,阐释了电子政务公共服务用户知识本体构建过程及实例以及电子政务公共服务用户知识的挖掘、转移及策略等内容,为政府知识管理的研究和实践提供了新的视角.     

突发危机事件本体知识库构建方法研究

基于描述逻辑和规则的本体表达方式与关系数据库表达方式相比较,具有更强的语义表述能力,能解决关系数据库传统表达方式存在的问题。结合在危机事件管理和应急决策方面的研究成果,建立基于描述逻辑和规则的突发危机事件本体知识库,完成从关系数据库语义到本体相应部分的转换,并且通过原型系统的实现来验证该方法的有效性,支持逻辑推理和知识发现。     

本体模块化研究综述

近几年,本体模块化研究已成为本体研究领域中的热点之一。文章从本体模块化含义、目的、分类及其各分类对应的方法等方面对本体模块化研究进行综述。最后,分析存在的问题,指出今后本领域的研究方向。     

数字图书馆领域本体构建研究——以数字参考咨询领域为例

以数字参考咨询领域为例,探讨了数字图书馆领域本体构建的必要性,介绍了构建领域本体的知识工程方法中的“七步法”,随后论述了数字参考领域本体构建的设计,给出了数字参考领域本体框架,并采用OWL语言和Prot啨g啨工具实现了对领域本体的形式化描述詈笞芙?了领域本体构建的得失,指出了领域本体构建应当注意的四个方面的问题。     

本体构建中的语义分析方法研究

归纳总结语义分析方法的发展概况,在本体构建中,提炼出一种语义分析方法,并对该方法的要素进行详细分析,结合产品分类开展本体构建的语义分析方法实验,着重于解决现有很多本体中语义表达过于简单的问题,建立大量的概念间关系、属性间关系、概念与属性间关系、实例间关系、概念与实例间关系,并进行形式化逻辑表达。     

基于XML-本体的开放教育个性化学生用户模型设计

个性化学生用户模型是能否顺利实施开放教育个性化网络教学的核心,随着网上教学资源及资源类型的增加,传统的向量表述方式无法准确描述学生的个人兴趣。本文提出了基于领域本体的学生模型。在开放教育网络教学领域,在本体形式化描述基础上,构建了网络教学领域本体,并据此设计了基于XML-本体的个性化学生用户模型。     

学科领域本体的构建与进化*-以经济学领域本体为例

概述国内外领域本体构建方法及本体进化的研究现状；介绍以《中国分类主题词表》为基础构建“经济学领域本体”初始版本的基本过程，阐述经济学领域本体进化的基本设想，以及具体进化过程及方法，包括获取进化实验数据集，抽取候选关键词，获得本体新概念，建立概念关联等。     

本体匹配基本理论框架研究

阐述各种类型的本体异质问题，明确本体匹配的概念及与本体映射的关系。在总结本体匹配主要理论的基础上，初步确立本体匹配基本理论框架，包括匹配粒度、匹配参数、匹配操作、匹配策略及匹配过程等内容，较为全面地阐述本体匹配的基本理论体系。     

近两年来国外有关本体基本问题的主要研究述评

本体的创建、描述、映射、演化与评价是本体研究的基本问题。从基于深层网页的本体创建、基于领域知识自动本体建设系统和本体构建与共享的合作环境等角度概述本体创建的基本研究进展;从本体可视化、Web中本体检索系统的设计和本体演化等角度介绍本体的改进与完善。其它如关于本体与语义Web、本体评价的研究进展,本体应用障碍分析同样值得关注。     

领域本体语言维护:类型与任务

针对领域本体语言维护工作缺乏系统研究的现状,根据对变化内容的可预期程度将领域本体语言的维护工作划分为纠错及改善性、适应性这两大基本类型;以适应性维护工作为例,提出了维护工作的核心问题及相应的两大主要任务.     

中文叙词表本体一致性检测机制研究与实现

本文研究了中文叙词表本体（OntoThesaurus,即基于中文叙词表建立的本体知识库）的一致性检测机制,并将其应用在中文叙词表本体共建共享系统（OTCSS）的修订意见提交、叙词表本体更新和全局检查等相关过程的实现中,取得了良好的应用效果。     

国外本体协调研究前沿进展及热点分析

近年来国际学术界在本体对应研究方面呈现三个主要特征:一是投入了更多关注,使相关研究日臻成熟;二是在开放语义网络环境下,研究人员更青睐于多本体的匹配与对应,并且本体对应已成为学术界构建适于分布式网络结构的多本体协同系统的主要手段;三是越来越多的研究成果已经从基础理论研究转向了针对具体问题的实证研究。但开放性、分布式的语义Web环境对现有不同本体间的协调应用提出了挑战。通过对2000年以来国际学术界关于本体协调相关文献和研究成果的梳理,阐明了以本体映射为核心的本体协调各要素之间的关系,并对本体合并、本体集成与本体对应三条本体协调主要发展路径的前沿热点进行了分析,指出未来本体协调的相关研究将继续沿着"本体构建→本体合并→本体集成→本体对应"这一总体路径向前发展。     

大型Ontology构建工具KAON的使用和评价

分析了大型Ontology构建工具KAON的工作原理和基本功能，分别介绍了其对Ontology的文件处理、内容编辑和功能设置等功能，同时给出相应的使用评价和体会，文章的目的是通过推荐使用KAON，促进我国图书情报领域对Ontology构建的关注和研究，示范本体论的构建方法。     

基于政务主题词表的本体构建研究*

参考国内外本体开发利用的现状,在综合电子政务主题词表的研究基础上,提出基于电子政务主题词表的政务本体构建方法,并开发相应的演示实例。     

本体信息检索情境下相关性理论研究

相关性理论是情报学基础理论之一,是衡量信息检索效能的关键指标,而本体信息检索是信息检索领域研究的前沿课题、发展方向。本文以米扎罗四维相关性模型为基础,对不同类型本体信息检索模型式下的相关性表现进行了对比研究,发现在本体信息检索条件下,相关性得到较大提高。