语义Web服务框架比较及本体异构协调

文章对语义Web服务框架OWL-S与WSMO的结构特点和适用范围进行比较分析。OWL-S的目标是实现机器的可理解性和易用性,WSMO研究语义Web服务语言的标准,它由本体、目标、Web服务和中介器组成。WSMO缺乏对具体操作进行形式化建模,仅适用于自己的语言WSML。OWL-S是Web的本体语言,支持RDF和OWL等语言,语义Web环境下适用性强。针对两种框架结构下本体的异构冲突问题,给出了OWL-S表示WSMO中Mediator的本体-本体中介器、目标-目标中介器和服务-服务中介器的方案。通过网络教学平台的应用,验证了解决方案的有效性。     

语义Web服务发现模型和匹配算法研究

在研究语义Web描述模型OWL-S基础上,针对OWL-S的缺点.对OWL-S进行了有效扩展,增加了地域位置信息和时间、费用、可靠性等质量描述信息,得到一个扩展的语义Web服务描述模型---OWL-S+.针对OWL-S+模型,提出了一种综合考虑服务功能和质量性能的、有助于提高匹配效率的匹配策略.最后通过一个实例,交通建设项目质量检验与评估服务的发现证明了OWL-S+模型和匹配策略的有效性.     

基于相似度的语义Web服务发现技术研究

针对传统Web服务在服务发现中存在效率低的问题,应用语义Web技术和本体理论,提出了一种基于相似度的语义Web服务发现模型。采用Web本体语言(OWL-S)描述Web服务,发布服务时包含充分的语义信息,在服务搜索中加入本体推理过程,综合度量服务的功能匹配程度和信誉值。实验结果表明,语义Web服务发现方法的查准率和查全率高于UDDI基于关键字的查找方法。     

一种基于描述逻辑的语义Web服务发现方法

针对传统语义Web服务搜索技术的局限性,提出一种基于描述逻辑和推理规则的Web服务发现方法,可用来发现符合OWL-S语言描述的Web服务。给出了表达用户搜索需求的表达式定义、语义运算符操作的完整语义及表达式良构性检测算法,并展示出搜索表达式的使用示例。     

语义Web服务发现研究与实现

语义Web服务是在Web服务中加入语义元素,利用语义相关的技术给Web服务指定一个语义.语义Web服务可以实现Web服务的自动发现、执行和组合.阐述了语义Web服务和语义Web服务发现以及相关的技术,提出了一种语义Web服务发现框架,并利用标签语言描述本体和Web服务,设计了语义匹配算法,并在应用中实现了这种语义Web服务发现框架.     

多级分布式语义Web服务自动组合

基于用语义Web服务自动组合解决复杂任务，本文作者提出了一种形式化的多级分布式语义Web服务自动组合框架MUDICS（MUltilevel Distributed automatic Composition semantic web Services）。在系统接收到一个服务请求后，中心Agent（HA）首先用HTN规划器完成第一阶段的规划，将复杂问题划分成一组与领域紧密相关的子任务，然后将这些子任务发送给相应的带有UDDI注册中心的子Agent（SAWU）进行第二阶段规划。本文通过扩展OWL-S建立Web服务本体OWL-S4SAWU（OWL-S for SAWU），并用其来描述SAWU的功能，然后将SAWU的功能描述注册到HA作为HTN规划的资源。     

语义Web服务建模框架比较分析

传统的Web服务技术由于缺乏机器可理解的语义而限制了Web服务的自动化,文中从语义层面对Web服务的能力和属性进行描述,将Web服务机制和语义Web技术相结合,为服务用户提供本体描述方法.以教学资源本体为例,建立排课规则,将推理系统模型应用于排课系统,验证了服务语义的建模框架,从行为、体系结构和服务本体的角度比较分析了OWL-S、IRS、WSMO主流语义Web服务建模框架的异同.     

一种新的语义Web服务描述模型

在已有的语义Web服务描述框架基础上,定义了一种新的语义Web服务描述模型WFIEQ,从功能、接口、执行和Qos4个层面描述服务资源的语义信息,并给出此描述模型和其他语义Web服务描述模型的比较,该工作对基于语义信息进行服务的发现、组合和调用具有一定的参考作用.     

构造语义Web服务工作流的模型

随着Web服务数量的不断增加,为了实现对复杂业务流程的处理。通过将OWL-S/UDDI协调器应用到Web服务工作流的构造当中,提出了一种用于构造语义Web服务工作流的模型,并给出了相应的实现步骤。这个模型能够利用Web服务的语义描述自动地查找和匹配Web服务,实现Web服务工作流的自动构造。     

基于模型检测技术的语义Web服务自动组合

提出一种以OWL-S和模型检测技术为基础的Web服务自动组合方法,通过时间自动机建立语义Web服务的模型,能够刻画接口和过程交互的语义信息,并且能够表达复合用户需求。利用对应的模型检测工具,可以实现高效的自动组合。仿真实验证明,该方法有效地提高了服务组合的效率及质量,同时在状态空间的表示和维持方面具有显著的优势。     

一种基于本体的空间信息Web服务实现方法

为了提高空间信息Web服务的互操作性，提出了一种利用本体技术实现空间信息Web服务发现与检索的解决办法.通过Web服务本体描述语言（OWL-S）实现对空间信息Web服务能力知识表达，在标准的开放地理信息系统协会(OGC）空间信息Web服务基础上，建立了一个基于本体目录服务的空间信息服务框架.并给出了基于这一框架服务请求的实现过程.结果表明，本体技术可以扩展空间信息Web服务的语义，能将服务匹配过程中得到的相似的Web服务复用于当前服务请求，提高知识推理的效率.     

基于智能体的OWL-S过程模型验证

为保证基于OWL-S的web服务组合的正确性和可靠性,对OWL-S过程模型进行时态和认知属性的验证.将原子过程视为单个服务作为Agent,将组合过程抽象为多智能体系统,把对OWL-S过程模型的验证转换成对多智能体系统的验证.提出了OWL-S语言的形式化模型OWL-S2FSM,设计从OWL-S2FSM到模型检测工具MCTK输入语言之间的转换算法,并应用MCTK对多智能体系统的规范进行验证.实验结果表明,该方法可以有效地验证多智能体系统的时态属性和认知属性.     

基于语义网构建的MISKSS

通过对语义网技术、语义网应用系统的深入研究，并把语义网技术应用到知识服务中，构建了一套导弹实体语义网知识服务系统（missile instances semantic knowledge service system，MISKSS）。它将武器装备中导弹实体进行了语义化组织、语义查询、语义推理，其目的是通过以导弹领域本体的构建过程作为例子，其他的飞机、舰艇等的领域本体的构建过程与此类似，综合形成武器装备领域本体的知识服务系统，为军队装备科技提供准确、权威、及时、持续的信息资源保障及决策支持。     

基于领域本体的Web服务发现

Web服务应用的一个关键问题是如何发现需要的服务。传统的基于关键字的服务发现机制UDDI缺乏语义支持,搜索效率低。据此该文研究基于领域本体的Web服务发现技术,对发布服务和请求服务都采用OWL-S描述以支持基于语义的服务搜索能力,并且提出了一种基于图匹配的Web服务发现算法。试验结果表明服务发现方法在查准率和查全率方面都要优于UDDI。     

智能家庭中一种基于本体的机器人服务认知机制

为增强机器人提供不同类型服务的能力,针对智能家庭环境中的服务机器人提出一种基于语义网规则语言的机器人分类服务推理方法。利用本体技术建立智能家庭的本体模型,通过该模型集成来自不同数据源的数据,消除设备之间的异构性。根据智能家庭机器人服务系统的服务特点划分服务类型,利用历史上下文信息生成服务规则库。通过推理引擎匹配实时的上下文信息与服务规则实现机器人的服务推理。智能家庭背景下的系统运行试验结果表明,机器人服务推理方法能够完成智能家庭环境中不同类型的服务推理,从而进一步提高机器人服务的智能性。     

Web服务语义安全供求策略研究

目前,Web服务安全供求策略的表示与匹配是句法层次的,通过比较策略在结构和词法上的相似性来确定其兼容性,容易导致错误的匹配结果.为此,提出了基于语义思想来表示和匹配Web服务安全供求策略的方法.通过构造一个一般性的安全本体,提出了Web服务语义安全供求策略的定义方法和匹配算法,将策略的匹配问题转化成语义概念的包含推理问题.理论分析和实验结果表明,本文提出的方法能使策略内容包含必要的语义信息,可有效提高匹配结果的准确性,克服句法级方法存在的不足,同时也能在一定程度上简化策略的定义与管理,从而为Web服务环境下的安全供求策略表示与匹配问题提供了一个更为有效的解决方案.     

一种基于本体服务索引的Web服务扩展方法

传统的获取Web服务的方法是通过关键字匹配,由于此方式在发现潜在语义相符的Web服务时较为困难,越来越多的学者研究如何基于语义检索Web服务。本文设计了一种新的语义匹配模式：基于本体服务索引的服务匹配。通过建立从服务到本体库的索引,将本体库和Web服务库关联成一个逻辑整体。通过UDDI,用户请求会直接发送给推理规则库,在得到服务请求后,通过相应推理规则得到领域本体中与服务请求在一定相似度范围内的类及实例,而后将这个结果集输入到本体服务索引,经过匹配可输出较符合的Web服务结果集。