基于标签Petri网的OWL-S建模与分析

提出了OWL-S过程模型的标签Petri网建模方法,给出了过程模型到LPN的转换规则,利用LPN分析方法对模型进行了可达性分析、死锁检测,能有效地检验过程模型描述的正确性。在OWL-S编辑器中嵌入该功能,完善了编辑器的功能。

基于OWL-S的高校毕业生就业平台分析

基于语义的思想,应用OWL-S设计了一种新型的高校毕业生就业支持平台,称为StuEmp。StuEmp的特点是以毕业生就业本体为核心,具有可扩充、自组装和可定制等性能,而且可随着用户的使用不断深化其知识库,从而扩充系统平台的功能。对StuEmp在理论上进行了模型分析,认为StuEmp能实现高校毕业生就业各方面的要求。实例分析表明,StuEmp在技术上是可行的,而且具有目前毕业生就业支撑平台所没有的多种优点。

基于OWL-S/UDDI的Web服务发现机制

提出了一种基于OWL-S/UDDI的Web服务发现机制,实现了基于语义的Web服务发现。此外,它采用了一种高效的匹配机制,使得查询语义Web服务的效率得到提高。该机制使用自行开发的OWL/UDDI服务发现系统进行了实现和验证。

基于语义网格的OWL-S服务本体的语义匹配研究

研究了本体、本体匹配、NBC文本分类和OWL-S。OWL-S把网格中的资源组织为服务,并用服务本体来表示和描述,不但可以描述服务的语义,而且还能够进行适当的推理。针对OWL-S服务本体的异构性,利用OWL、OWL-S的元素值和文本内容,从本体结构、功能和文本信息等多个维度分析本体间的语义匹配问题,并给出了相应的语义等价匹配规则和基于NBC的文本分类式语义相似匹配算法,为语义网格中的服务本体共享、交互和集成等技术的实现提供了基础。

一种基于OWL-S的Web服务体系结构

Web服务是一个新的分布式计算模型,是Web上数据和信息集成的有效机制。文中分析了当前Web服务体系结构,提出了一种基于OWL-S的Web服务体系结构,并给出在新型Web服务体系结构下的服务发现和调用机制,实现了Internet环境下的动态查找、合成和动态绑定,有效地支持Web服务的动态组合和协调。

基于OWL-S的制造网格服务发现研究

结合语义Web技术,设计了制造网格服务本体开发步骤,对制造网格服务进行语义描述,提出了基于OWL-S的制造网格服务发现模型。将本体匹配技术引入制造网格的服务匹配中,并改进了本体匹配中概念相似度算法,为解决服务匹配问题提供一个有益的尝试。实验表明,该语义模糊匹配技术能有效地弥补基于关键词的服务发现查全率和查准率较低的不足,提高服务发现的质量。

基于QoS和OWL-S的Web服务发现研究

建立了原子服务发现模型,探讨了原子级服务匹配的4个过程,并重点对输入输出匹配和QoS匹配进行了研究。在QoS匹配中,给出了服务性价比概念,并提出了高性价比的服务选择原则。

应用OWL-S实现Web服务的语义描述

从OWL-S顶级本体结构入手,详细介绍了应用OWL-S实现服务概貌、服务过程模型以及服务 绑定等语义描述的方法,并通过一个网上售书的电子商务实例具体说明。

基于OWL-S的服务发现语义匹配机制

本文提出一种基于OWL-S的语义web服务匹配系统的机制,将语义元素引入UDDI系统中,从而在UD-DI中保存语义信息.系统通过语义服务匹配算法提高web服务匹配的准确度和召回率,并通过数据映射机制保证模型对于当前的服务发现标准UDDI基础架构的兼容以及UDDI标准操作接口的透明性.系统使用本体概念的索引机制提高服务发现的效率.而且,系统在建立和维护索引的过程、或服务的匹配过程中使用近似概念搜寻算法进一步提高本体概念搜寻和服务匹配的效率.

OWL-S的形式语义

本文分析了目前语义Web服务的研究现状和存在的问题,特别是语义Web服务描述本体OWL-S的形式语义研究中存在的问题,在 Srini Narayanan等人研究的基础上,用情景演算理论进一步研究了 OWL-S中组合服务描述的形式语义,从而完善了OWL-S的形式语义,为语义Web服务提供了合理的理论基础。

基于扩展CPN的OWL-S过程语义建模及分析方法研究

OWL-S过程语义的建模与分析是语义Web服务相关领域需要重点研究的问题。分析了目前OWL-S过程语义研究中存在的问题,提出了一种扩展的着色Petri网PM_net(过程模型网,Process Model net)来对OWL-S的过程语义进行转化与分析。结合OWL-S过程模型元素的特点,PM_net对基本着色Petri网的变迁和触发规则进行了扩展,使OWL-S的原子过程、组合过程和数据流等核心元素能够等价映射到PM_net。同时说明了如何基于PM_net对OWL-S的过程语义一致性进行分析,为OWL-S本体演化、语义Web服务组合和验证提供了合理的理论基础。

基于OWL-S的服务发现算法研究

Web服务的大量涌现对服务发现提出了挑战,UDDI上基于关键字和简单分类的服务发现机制已经不能很好地满足需要。本文在分析现有相关研究的基础上提出了基于OWL-S的Web服务发现改进方法,通过引入OWL-S的过程模型实现了对服务中原子服务和子服务的匹配,提高了查准率;提出了构建依赖关系网的算法,通过对图中结点标注颜色的方法实现了对满足用户需求的服务过程的发现。算法不仅返回满足用户需要的匹配结果,还可以在匹配不成功时给用户建议得到全部要求的额外输入。

采用扩展OWL-S的决策模型表示框架

通过对OWL-S(Web Ontology Language for Service)进行必要的扩展,提出了包括模型表示、解程序表示、数据表示和相关本体库在内的综合表示框架来表示决策模型及其相关组件。该表示框架具有充分兼容网络和语义Web技术,适用范围广,易于用户交流,数据参数的设计考虑全面且有利于模型、解程序和数据的匹配等优点。以施工现场设施布置问题为例,说明了表示框架对模型的表示,重点对数据参数和模型内部结构的表示进行了描述。

基于OWL-S过程模型的Web服务发现方法

现有Web服务发现方法未考虑过程行为的相关信息,导致所发现的服务不能较好地满足用户需求且查准率较低。针对该问题,提出一种基于OWL-S过程模型的Web服务发现方法。将OWL-S过程模型转化为过程图,根据两过程图的相似度,判断两服务过程的匹配程度。实验结果表明,该方法能准确地匹配两服务的过程模型,具有较高的执行效率和较好的匹配效果。

扩展UDDI以支持OWL-S

在对UDDI和OWL-S研究的基础上,提出扩展UDDI,以支持用OWL-S描述的Web服务的推广和请求。OWL-S可以通过服务提供功能的语义信息来描述服务,以实现更好的服务发现。而且,也提出了一种基于服务的输入输出描述本体的匹配机制。通过扩展JUDDI实现了OWL-S信息的存储和匹配机制。实验证明这是实现语义Web服务注册和发现的一种合理机制。

OWL-S服务操作语义的Petri网描述新方法

提出对基于OWL-S描述的语义Web服务操作语义的Petri网描述新方法。选择动态描述逻辑的动作理论作为语义Web服务描述的逻辑基础,一个OWL-S原子进程可以作为一个动态描述逻辑动作进行描述,实现了对OWL-S原子进程的动态执行和相关执行条件静态逻辑推理的有机结合,进一步通过将Petri网与动态描述逻辑的动作理论结合,得到OWL-S进程(尤其复合进程)操作语义的Petri网描述,为组合语义Web服务的自动组合和动态性质分析提供了更为有效的逻辑依据和方法。

基于OWL-S的三层服务匹配模型

随着XML及语义技术的发展,Web服务已经在电子商务领域得到了广泛应用。然而,如何有效地发现Web服务仍是该领域中研究的热点。提出了一种基于OWL-S语言的三层服务匹配结构并设计了一个框架模型,该模型利用了OWL-S语言支持Web服务的自动发现、调用、合成和运行监测的特点。同时,原型系统的开发与应用表明:该模型能够提高Web服务发现和匹配的效率,并且对动态电子商务的系统个性化及界面集成提供了一个值得借鉴的解决方案。

一种基于OWL-S的语义Web服务自动组合方法

提出了一种基于OWL-S的语义Web服务自动组合的方法。该方法充分利用OWL-S的顶层本体结构,基于最小满意度阈值,从网络上获取满足要求的Web原子服务并将其存储在两个DAG图中;然后基于该图生成Web服务组合候选集;最后从该候选集中随机选取最终的Web服务组合。该方法在保证Web服务组合质量的前提下,实现了根据服务请求对Web服务的自动化组合。

一种基于规则的OWL-S本体语法一致性维护方法

OWL-S本体语法一致性维护是语义Web服务维护工程中需要重点研究的问题。提出一个一致性维护框架指导知识工程师进行OWL-S本体语法一致性维护,定义并抽象出OWL-S本体基本变化,提出变化关联矩阵分析基本变化间的依赖关系,基于关联矩阵提出额外变化序列生成算法分析基本变化对全局的影响,并分析了算法时间复杂性。对OWL-S本体语法一致性规则进行了形式化定义,使机器能够自动检测这些规则,辅助知识工程师完成OWL-S本体语法一致性维护工作。

从RDF(S)到OWL,什么在改变之中?

作为一种 Ontology 描述语言,需要具有丰富的语义表达能力、精确的语义表述性能和有效的可计算性。鉴于 RDFS 语义表达能力的有限,OWL 借鉴了 DAML,OIL 和 DAML+OIL 的经验,在 RDFS 的基础之上,通过增加语言构成要素,扩充了 RDFS 的语义表达能力,并且提高了语义表述的精确性,然而随之而来的是计算复杂性和推理难度的增加,有效可计算性的降低。描述逻辑的存在为 OWL 语言的设计打下了重要的基础,使 OWL 能够在表达能力和可计算性之间找到平衡。