一种语境化模糊本体的方法

本文主要研究如何将模糊本体进行语境化,即语境化模糊本体. 具体来说,提出了一种语境化模糊OWL（Web Ontology Language）本体的方法,讨论了如何扩展模糊OWL（F-OWL）本体的语法和语义来处理F-OWL本体无法处理的问题,并进一步提出了一种模糊语境OWL本体语言FC-OWL. 该本体语言FC-OWL是一种扩展的模糊语言,具有丰富的语义,并且允许对模糊本体进行语境化表示.     

基于本体的知识建模技术

为了提高知识检索效率,提出了基于本体的知识建模方法.根据知识与领域本体对应关系,从领域本体构建和基于本体的知识表示两个方面研究确定基于本体的知识建模过程,形成对领域知识的有效组织与表示.讨论了基于OWL语言的领域本体构建过程和基于本体的知识表示方法.该方法保证了本体涉及领域与知识范围的一致性,考虑了本体应用过程中的效果反馈,有利于本体完善和扩展.     

基于模糊描述逻辑F-ALC(G)的模糊OWL扩展

针对OWL在数据类型表示方面存在严重的局限性,即它不能处理在语义Web和本体中广泛存在的不精确以及不确定信息,也不支持自定义数据类型及自定义数据类型谓词的表示,介绍了一种新的模糊描述逻辑F-ALC(G),给出了F-ALC(G)的语法、语义.然后,以F-ALC(G)为逻辑基础,并结合RDF/XML的语法规范,重新编码OWL中的描述算子,用来表示模糊本体知识,形成f-OWL.f-OWL不仅能够表示本体中的模糊知识,而且能够表示本体中含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息,为模糊本体的研究提供了新的表示方法     

基于BNF的OBO规范化和OWL DL转换研究

大多数生物本体包括基因本体这样重要的本体都用OBO表示.这些本体尤其是其中用共享和可控的词汇来注释的实验数据将会融人到语义网中.随着OWL语言成为W3C的本体标准建模语言,将用OBO表示的生物本体转换成用OWL语言表示显得十分必要.本文用BNF范式规范了OBO的语法,设计了一个规则将OBO转换成OWL DL,并且设计和实现了一个简易的转换系统.     

软件分类的OWL知识表示

OWL具备知识表示语言的优良特性,因而成为W3C对本体描述语言的推荐标准。阐述了以简单软件分类为框架,以Web本体语言OWL为标识语言的知识表示方法,给出了具体实现实例。     

图形化本体建模工具GOM的设计与实现

将本体表示语言OWL Lite中相关词条图形化, 以图形化结构表示本体模型, 设计并实现了一种图形化本体建模工具GOM. GOM以图形化结构表示本体, 能够把图形化结构的本体模型转换成OWL Lite语言表示形式; 也可读取OWL Lite表示的本体, 生成本体模型的图形化结构. GOM实现了图形化结构的本体模型和OWL Lite表示的本体模型间的相互转换, 提高了本体模型的可读性, 降低了本体建模的工作强度.     

一种从关系数据库学习OWL本体的方法

提出了一种从关系数据库学习OWL本体的方法.该方法在形式化表示关系数据库模式和OWL本体的基础上,遵循从关系数据库模式到OWL本体的一组通用映射规则.基于Java 2平台的原型工具实现和案例研究证明了该方法的有效性.     

Cloud-ALC:描述逻辑ALC的不确定扩展

描述逻辑是本体的重要表示方式,但只能处理严格的确定性知识,并不能处理自然界中广泛存在的不确定知识。通过对最基本的描述逻辑ALC进行扩展,提出了能够处理不确定知识的基于云模型不确定描述逻辑Cloud-ALC,给出了Cloud-ALC的语法和语义及其蕴涵推理关系。实例分析说明Cloud-ALC可以为扩展本体描述语言以能够处理不确定知识提供语义支持。     

语义Web和知识发现系统模型

文章介绍了语义Web的体系结构和语义Web的关键组成部分及技术,包括XML,RDF,RDFS和OWL.文章给出了本体描述语言OWL的规范化语法和基于本体的语义Web知识发现系统的模型,并讨论了进一步的研究工作.     

基于OWL的文物领域本体设计与解析方法

介绍了文物领域本体的概念模型,研究了用OWL语言建立文物领域本体的设计与实现方法。给出了对OWL本体进行解析和推理的方法。在分布式系统中,解析OWL对本体的知识共享具有很好的效果。     

基于OWL DL的本体推理机设计与实现

语义Web中描述逻辑和本体论日益受到关注,成为学术界的一个研究热点.首先给出了与OWL DL等价的描述逻辑SHOIN(D)的语法和语义,以及OWL DL本体知识库各模型元素的描述形式.然后介绍了OWL-API、Pellet-API、Jena-API推理机的工作原理和推理编程的核心技术,提出一种基于Pellet和Jena的叠加推理机框架.最后开发了一个OWL DL本体推理机原型,实现了本体知识库一致性、分类和可实现性推理服务.     

能处理分层信度知识的描述逻辑PB-SHOIN(D)

对描述逻辑SHOIN(D)进行扩展, 提出一种能处理分层信度知识的描述逻辑PB-SHOIN(D), 给出了PB-SHOIN(D)的语法和语义, 并证明了PB-SHOIN(D)具有超协调性和非单调性, 为表示和处理语义Web中具有分层信度的知识提供了一种有效方法.     

分布式环境下基于形式化领域本体的查询处理

为了提高语义Web查询的查全率和查准率,文中提出了一种基于形式化领域本体的查询处理方法.首先采用描述逻辑表达领域本体的语法和语义,实现领域本体的形式化转换;然后基于转换后的形式化领域本体,采用含半幺群概括演算作为基于形式化领域本体查询转换的目标语言,定义了用户查询到含半幺群同态查询的转换规则和语义优化处理、查询重写规则,最后通过实验验证了该方法的查询性能.     

Cloud-SHOIQ: 描述逻辑SHOIQ的云扩展

经典描述逻辑是本体的重要表示方式,但不能表达不确定知识.分析了扩展描述逻辑表达不确定知识的研究现状及存在的问题,通过结合云模型(Cloud model)、描述逻辑SHOIQ及模糊逻辑提出了一种基于云的模糊描述逻辑C-SHOIQ表达不确定知识,给出了C-SHOIQ的语法、语义,并以实例分析了C-SHOIQ具有处理知识的随机性和模糊性的能力.给出了C-SHOIQ的推理方法,及映射C-SHOIQ知识库为经典SHOIQ知识库的改进规则.分析说明了C-SHOIQ是对模糊SHOIQ表达能力的扩展.     

基于OWL的战场本体构建方法

对使用OWL构建战场本体的方法进行研究.尝试利用骨架法构建战场本体,并用OWL语言对战场本体及其关系进行形式化描述.结合一个具体的战场应用场景,对本体的应用进行说明,为实现基于本体的军事领域战场知识管理奠定基础.     

基于海洋生态本体的知识管理系统的研究与实现

基于本体知识表示,构建了海洋生态本体,对海洋生态领域的概念、属性、关系等知识进行了规范化描述。建立了海洋生态领域知识规则库,用于本体知识推理。设计了一个基于JenaAPI的、支持OWL本体查询和推理的知识管理系统,实现了海洋生态知识的知识查询和初步的海洋生态危机预警功能,解决了海洋生态领域的知识共享和交互问题,为海洋生态的相关服务提供了语义层次的支撑平台。