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

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

基于语义Web的常用软件领域知识发现系统研究

当前,在语义Web中,基于OWL的知识表示、知识推理成为了研究和应用的热点.给出了常用软件本体的设计方法、规则定义和谓词扩展,并介绍了常用软件领域知识发现系统的总体模型.     

气象服务形式概念分析模型研究

为了解决气象服务领域隐含知识难以发现、概念处理不够准确的问题,在形式概念分析理论指导下,给出气象服务领域知识发现和表示模型。以互联网联盟（W3C）OWL2描述逻辑本体知识库应用为背景,提出使用一阶谓词定义多值背景属性,利用布尔代数范式表达概念外延的逻辑等价关系,从而获得具有清晰层次关系的概念格,并映射为领域本体,实现了智能代理下领域知识表达。最后以公路交通气象服务和电力气象服务为例,阐述气象服务形式概念分析及实现过程。     

基于本体的几何学知识获取及知识表示

文中研究了基于本体的几何学知识获取,并运用此方法获取几何学领域中的类、属性、关系及公理等;同时,研究了基于本体的知识表示,并将几何学知识转化为该领域本体,用RDF/OWL的形式进行描述.在此基础上构建了一个可共享、可重用、可扩展的几何学本体,形成了一套较完整的几何学知识获取和知识表示体系,将其应用于建立几何学知识库,可大大提高知识搜索和知识推理的效率,并为几何学专家系统、几何学信息检索、几何学教育系统、自然语言理解等领域提供智能基础.     

基于混合推理的知识库的构建及其应用研究

该文提出了基于OWL本体与Prolog规则的平面几何知识库的构建方法,从而可形式化地表示平面几何中丰富的语义信息.一方面,用类型、定义域、值域、分类、属性、实例等本体描述来表达结构化的知识,为领域内概念与概念之间关系的描述提供形式化的语义;另一方面,用Prolog规则来解决本体不能有效表达的诸如属性之间的关系和操作等问题,从而支持复杂关系间的推理.在此基础上,用Protégé和Prolog构建了一个基于本体和规则的平面几何知识库.实验证明:此知识库可实现知识和语义层次上的信息查询,还可进行复杂问题求解,其丰富的语义描述和混合推理能力弥补了传统知识库的不足.     

基于本体的态势估计方法研究

作为一种有效表现概念层次结构和语义的模型,本体被广泛运用到信息科学的众多领域.态势估计在军事领域的意义日渐凸显,针对其智能推理的需求,将本体的知识框架和推理规则应用于态势估计系统的基础概念表示上,通过对本体及态势估计的研究,提出了自己的底层可形式化态势概念模型,综合众多的战场因素,描述组成态势的各个相关元概念和简单刻画其间的关系,并就在此基础上发展态势估计系统作了进一步探讨和展望.     

项目审批本体模型的研究及应用

针对电子政务项目审批在知识表示与理解中存在的语义歧义问题,构建项目审批本体模型.基于电子政务项目审批领域特点,扩充ABC本体,并以扩充后的ABC本体模型为上位本体构建了项目审批本体模型;详细定义了项目审批本体模型中的概念、关系、函数、公理和实例等要素;以科技成果定密、解密、参展的审批为例对该模型进行了验证,验证结果表明了该模型可以较好地实现项目审批知识共享.     

基于间断区间的时间本体表示及应用

通过间断区间的时态理论扩展了OWL-Time,用在本体中表达单个事件带间断时区的情况。在本体中定义了间断区间概念以及间断区间的时态关系,并以物流领域运输事件的表示为例阐述了领域中基于间断区间的时间知识在本体中的表示方式。通过定义Jena中的原语、规则以及扩展对推理模型的操作构建了相应的推理机,对推理机进行实验检验,不仅验证了推理机运行的正确性,同时也保证了时间知识在本体和规则中表示的正确性,解决了带间断区间的时态知识在语义网中表示和推理的问题。     

使用本体和SWRL验证作战计划的方法

计划验证是计划编制过程的重要环节。从知识管理的角度,在已有计划表示和计划推理相关研究的基础上,提出了一种基于本体和规则的计划验证方法框架,通过对计划知识进行基于本体的表示、基于描述逻辑、一阶谓词逻辑的规则知识抽取和计划推理,以实现对计划的验证。并以某排雷作战计划的验证为例进行了实验。实验表明,该方法实现了对专家知识的扩展,提高了作战计划正确性检验的效率。     

基于推理的语义网检索模型及关键技术研究

为解决语义网检索过程中缺少推理导致语义检索性能不高的问题,提出一个基于推理的语义网检索模型,并介绍了该模型实现的关键技术.针对构建的领域本体,使用SWRL规则语言进行本体完善把本体中的隐性知识表示出来;在信息抽取过程中,对于识别出的实体,利用推理规则,获得更加丰富的实例知识库;对于用户输入的查询条件,利用完善的本体知识库及规则得到更多的相似概念实现查询扩展;进行语义匹配,获得更为精准的检索结果.实验结果表明,该模型能提高信息检索的语义性,得到较满意的信息检索结果.