本体描述语言OWL知识表示的扩展

当前,在语义Web中,基于OWL的知识表示成为了研究和应用的热点。文章基于计算机常用软件领域,介绍了OWL的扩展语言OWLPLUS,包括:用户自定义字符串、数值关系约束和IF-THEN规则表示等方面。     

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

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

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

鉴于经典描述逻辑不能表达不确定知识,文中将云模型、描述逻辑SHOIQ和模糊逻辑相结合,提出了一种基于云的模糊描述逻辑C-SHOIQ,用于表达不确定知识.首先给出了C-SHOIQ的语法和语义,并以实例分析了C-SHOIQ具有处理知识的随机性和模糊性的能力;然后给出了C-SHOIQ的推理方法及映射C-SHOIQ知识库为经典SHOIQ知识库的改进规则,并论证了C-SHOIQ和对应的经典SHOIQ之间概念可满足性的一致性关系;最后论证C-SHOIQ是对模糊SHOIQ表达能力的扩展.     

面向协同设计的产品模型的本体表达及OWL描述

在产品的协同设计过程中,由于现有产品模型表达能力的局限性以及产品数据的复杂性、多样性和异构性,使产品模型缺乏足够的语义来清晰地、形式化地表达产品数据.为了克服这些不足,文中引入本体和网络本体语言OWL来构建产品模型,建立基于语义的信息共享机制,使协同设计能在互联网上、在知识级水平上达到有效的交互、集成和协作.     

软件分类的OWL知识表示

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

OWL DL的知识表示与推理研究

语义Web的逻辑基础是描述逻辑,其出现的目的就是为了解决机器和人对知识理解的问题,因此,可以在语义Web的基础上展开推理。传统的推理系统结合语义Web可以克服知识表示方面的缺点,并且有利于知识的共享。探讨了OWL DL作为知识表示形式的优点;通过实例验证了OWL DL关于描述逻辑的推理。     

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

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

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

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

基于OWL本体和描述逻辑的Web服务匹配模型研究

在WWW世界中,为了获得更多的优质服务。必须提供一种高效的服务发现机制。而要进行有效的服务发现,需要提供一种合理的服务匹配模型及相应的匹配算法。在总结了传统的UDDI标准所存在缺陷的前提下。重点提出了一种Web服务匹配模型．该模型通过本体来增强服务描述语义,将本体与描述逻辑有机结合起来。克服了传统UDDI标准在语法级基于关键字搜索的缺陷．提高了服务匹配能力。讨论了匹配模型各模块的功能。同时提出了一种基于OWL的本体创建方法。     

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

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

基于云变换的农业领域本体概念构建方法研究

针对现有的本体语言不能够表达农业领域知识中存在的诸多模糊概念这一事实,本文提出一种基于云变换的不确定性本体概念的构建方法.设计通过不确定性本体概念的特征属性选择、概念维度数字特征提取与概念层次跃升,得到较粗粒度的不确定性概念的综合形式化表示,并通过实例验证方法的有效性.此外还对传统的云变换算法中熵的估计步骤进行了改进,证明其在时间复杂度上有一定优势.实验结果表明,该方法所提取的概念维度数字特征是有效的,能够较好的表示概念的随机性与模糊性,有助于农业领域本体的客观构建.     

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

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

基于依赖关系图模型的本体演化影响分析

基于描述逻辑子语言SHOIN(D)定义本体中各元素间的依赖关系, 再通过依赖关系建立本体依赖关系图模型, 并给出了变化影响频度的概念及相应的
计算方法.     

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

在传统的信息检索模型中，由于档逻辑视图和用户信息需求逻辑视图不能有效地代表档和用户信息需求，所以尽管根据逻辑视图的特点选取了合适的排序函数，但检索性能总是不能令人满意．提出基于本体的信息检索模型，使用较好的兼顾了知识表达能力和推理效率的描述逻辑来构建本体，利用tableau算法和只含有原子角色情况下个体间的等价关系分别生成概念集和个体集的商集，从而得到具有语义的索引项集合，利用这些具有语义的索引项来生成较好地反映档和用户信息需求语义的档逻辑视图和用户信息需求逻辑视图；由于逻辑视图能够有效地代表档和用户信息需求，再根据逻辑视图的特点选取合适的排序函数，从而可以使检索性能大大提高．     

A Load Balancing Model Based on Cloud Partitioning for the Public Cloud

Load balancing in the cloud computing environment has an important impact on the performance. Good load balancing makes cloud computing more efficient and improves user satisfaction. This article introduces a better load balance model for the public cloud based on the cloud partitioning concept with a switch mechanism to choose different strategies for different situations. The algorithm applies the game theory to the load balancing strategy to improve the efficiency in the public cloud environment.     

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

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