基于政务知识的服务集成模型和服务集成方法

分析电子政务应用集成发展的五个阶段以及当前面临的主要问题.针对电子政务领域应用的特殊性,提出了适合电子政务应用集成的知识本体模型,该模型具有基于规则推理和面向场景导航等特点.在服务集成模型的基础上,还提出一种服务集成方法.该方法通过场景导航、服务组合和服务调解等三个步骤实现Web服务的自动集成.利用该服务集成模型和方法可以有效解决传统服务集成模型在规则描述和推理能力方面、目标发掘方面以及服务自动组合能力上的不足.     

基于动态描述逻辑的语义Web服务推理

语义Web服务的提出是为了解决Web服务资源在语义Web中的自动发现、组合和执行等问题,基本思路是将本体承载的静态知识与对Web服务动态功能的描述有机地结合起来.动态描述逻辑是描述逻辑的一种动态扩展,支持面向语义Web的对动作的描述和推理.文中利用动态描述逻辑DDL(SHOIN(D))的描述和推理功能,提出对语义Web服务进行建模和推理的一种有效途径.从OWL-S中的Process Model出发,将语义Web服务建模为基于DDL(SHOIN(D))的动作理论,其中,对应于Process Model中的原子过程,可以对输入、输出、局部变量、前提条件、结果等多个方面进行建模;对应于Process Model中的复合过程,可以相应地对数据流以及顺序、选择、乱序、条件、迭代、循环等控制结构进行刻画.以建模后得到的动作理论为基础,应用动态描述逻辑的推理机制,可以分别对语义Web服务的可实现性、可执行性、投影、规划等问题进行推理.这些推理功能为语义Web服务的自动发现和自动组合提供了有效的支持.     

一种基于情境推理的语义Web服务发现方法

传统的语义Web服务发现方法,由于受到用户所处的情境因素的约束,所发现的服务很多不能满足用户的情境期望.文中提出了一种基于情境和推理规则的Web服务发现方法,使用该方法可以得到适宜用户情境的Web服务.分别建立了用户情境本体和Web服务情境本体来描述情境信息,建立了用户情境和Web服务情境之间的推理元规则,提出了相应的推理算法,并基于该算法实现了情境推理模块.实验结果表明,与现有语义Web服务发现的方法相比,文中方法能够在增加合理的时间开销的前提下为用户提供更加准确的服务查询结果.     

信息网格中基于本体的Web服务动态集成和重构

基于语法的Web服务资源组织和管理策略不能满足信息网格中服务请求多样性和信息关联的需要.提出了一种基于本体的Web服务动态集成和重构策略(Web service dynamic integrating and constructing,简称WS-DIC).该策略以本体及其推理能力为核心,复用信息网格中已有服务,生成优化重构路径集合完成服务集成,满足请求多样性和信息关联的需要.通过对该策略的抽象和形式化描述,讨论了动态重构和集成规则,并设计了动态重构和集成算法.模拟实验表明,与传统的全文检索和数据库查询方式相比,该策略可以按照用户请求,通过服务重构集成,满足请求多样性并准确、全面地获取关联信息.     

基于本体的多域访问控制策略集成研究

本体是共享概念模型的形式化规范说明,是一种能在语义和知识层次上描述信息系统概念模型的建模工具,为解决多域环境中的安全互操作提供了一种新的方法.使用本体及其描述语言,对基于角色的访问控制策略进行了描述,形成一个概念和属性的公理集合（TBox）,并采用ALCN（含有个数限制和补算子的描述逻辑语言）对TBox进行形式化的描述.利用域间角色映射方法来解决多域访问控制策略的集成.使用基于规则的推理技术,定义多域访问控制中的一系列推理规则,实现访问控制领域的推理.基于前述方法实现了OntoAC系统,实验结果表明该方法是有效的.     

基于OWL的本体集成

提出一种新的本体集成方法。分析了本体集成的原因,阐述了本体集成时应遵循的4条基本原则,并给出了集成的分类,提出了一种基于OWL DL图闭包的本体集成方法。该方法将OWL DL本体抽象为RDFS图模型,根据给定的OWL DL推理规则生成OWL DL本体的图闭包,在此基础上进行本体集成,同时提出了几种计算实体相似度的方法,将本方法与COMA++和FCA-merge进行实验对比,本方法在准确率和召回率上占优势。     

产品数据模型的本体知识表达

针对数据建模不能很好满足产品知识集成与共享的需求,提出产品数据建模需要引入基于本体的形式化语义信息表达机制;在分析EXPRESS语义的基础上,构建描述逻辑语言ALCNRP(D)表达EXPRESS SCHEMA中本体语义知识,为产品全生命周期知识交换与共享建立描述和推理的基础．     

一种面向服务体系结构的服务组合方案求解方法*

面向服务体系结构的出现为分布式应用集成提供了一种解决方案,如何快速准确地指定具体服务或求解出服务的组合方案的问题尚待解决。根据对抽象服务的输入/输出等功能性属性的描述,完成了抽象服务组合流程建模,为了对抽象层粗粒度服务的求精,提出了一种基于语义Web服务和图规划技术的服务自动组合机制,该方法将Web服务映射为规划动作的形式化描述,形式化推理得出Web服务的组合方案。在具体的服务或方案选择上,利用服务相似度优化服务或服务组合方案的选取。最后通过模拟实验验证了该方法的有效性。     

基于证书的语义Web服务访问控制方法

为了实现语义Web服务环境中的访问控制机制,研究了基于证书授权的访问控制方法.在对语义Web服务的访问控制需求进行分析的基础上,提出了将简单公钥基础设施/简单分布式安全基础设施(SPKI/SDSI)证书与OWL-S本体描述集成的访问控制方法,该方法将访问控制描述与服务功能描述集成在一个统一的框架中,既便于管理又提高了用户访问Web服务的效率.     

基于用例的领域业务服务本体建模

业务服务本体的作用是规范化描述领域业务活动及其之间关系,形成领域业务的基本知识体系。如何让涉众参与本体的设计,是目前联合本体工程研究的热点问题。通过将概念建模时常用的用例图与迭代式本体构建方法相结合,一方面使用领域本体建立规范的业务模型,另一方面基于用例,从用户视角优化本体模型。该建模方法有助于对领域业务的全面理解,所得到的本体模型可满足不同涉众需求。     

基于语义的服务混合匹配方法研究

为了提高Web服务匹配的效率和灵活性,提出了一种基于语义的Web服务混合匹配方法。该方法首先扩展了服务的功能描述模型,并基于该扩展模型进行混合服务匹配。混合匹配方法联合使用了两种匹配策略：基于推理的匹配策略,通过本体概念的逻辑关系实现匹配;基于相似性计算的策略,通过本体概念间相似度计算进行服务的匹配。在服务匹配过程中,首先使用基于推理的匹配策略将服务分成4个匹配等级,然后,采用基于相似性计算的匹配策略对候选服务进行进一步地匹配。实验结果表明该方法是可行而有效的。     

基于扩展颜色Petri网的Web服务组合建模及应用

该文提出一个基于扩展颜色Petri网的Web服务组合描述模型,该模型在描述组合流程的控制流和数据流的同时还能描述流程中的参数、操作的语义和服务质量,能较全面地刻画Web服务组合流程;最后通过该建模方法给出一个建模实例。     

语义Web服务组合中的服务建模及规划算法

Web服务的语义建模是指对Web服务的属性、功能和结构等进行语义描述,使用户能够对服务自动地定位、选择、使用和组合.本文以动作理论和描述逻辑为基础对服务的逻辑层信息(控制流和数据流)进行语义建模,用带前提和结果的原子动作描述简单服务,复杂动作描述组合服务的控制流,服务间的依赖关系描述数据流,并提出一个基本的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层2部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.最后给出一种新的自动组合规划算法,该算法充分考虑了语义推理和智能规划的结合,在对问题的描述能力和运行效率上做了较好的平衡.     

面向Web服务自动集成的目标描述语言

提出了目标驱动的Web服务自动集成协议栈来实现过程的自动建模;基于本体描述语言OWL,开发了位于集成协议栈最高一层的目标描述语言,来描述需要实现的目标、目标之间的关系以及实现目标的各种约束,并提出在目标描述中不一致的检测方法。目标描述语言是实现Web服务自动集成的第一步工作。     

基于本体的液压系统故障诊断知识建模与推理

为了实现液压系统故障诊断知识集成与共享,提高知识组织和维修技术支持效率,论文引入本体作为知识建模的技术工具,在分析液压系统故障诊断知识结构、体系的基础上,利用protégé3.3.1、protégé3.4.7、protégé4.2系列版本软件和本体构建方法构建了液压系统故障诊断知识模型,并使用OWL语言描述了该本体,实现了本体的机器可读,通过Pro-Race、Pellet、JESS推理器和SWRL语言构建的液压系统液压油检测规则对构建的本体进行推理,实现了液压系统常见的故障诊断。初步实现了基于本体的知识建模,验证了模型的推理能力并应用于具体诊断,为有效地管理使用液压系统领域知识提供了新的技术手段。     

基于RDFS的本体集成方法

现实中的数据源一般具有半结构化、异构性和分布性等特点,而许多应用需要对不同的相关数据源进行联合操作。本体集成是解决知识共享、异构数据源语义互操作的有力工具。首先分析了本体集成的原因,提出了本体集成时应遵循的4条基本原则;然后提出了一种基于RDFS图闭包的本体集成方法,该方法将RDFS本体抽象为图模型,根据RDFS推理规则和扩展规则生成RDFS本体的图闭包,在此基础上进行本体集成,同时提出了几种计算实体间相似度的方法。最后,将该方法与FCA-merge和COMA++进行实验对比。     

一种服务Agent 的可信性评估方法

提出了一个基于服务Agent的计算框架,并从社交认知的角度建立了一个服务Agent的信任本体,支持服务Agent对信任信息进行推理.根据该信任本体,提出一系列基于信任推理的计算规则支持信任值的计算,帮助服务Agent进行理性的选择决策.案例研究结果表明,该方法能够有效地帮助服务请求方进行信任评价以及服务选择.     

基于领域本体的Web服务动态组合

随着Web环境下服务数量的快速增长,如何自动地根据服务请求,进行服务的动态组合成为一个迫切需要解决的问题,该文提出了一种基于领域本体的服务动态组合方法,该方法利用领域本体及其推理能力,生成一个优化的服务组合图,然后基于该图给出了一个高效的服务组合算法．与已有的方法相比,该文的方法综合考虑了服务语义、服务组合的质量和服务组合的效率等因素,可以自动地根据服务请求实现服务的动态组合．同时保证了服务组合的效率和质量．     

基于分布式本体的服务选择方法

面对分布式环境下涌现的海量Web服务选择问题,本文提出基于本体的企业信息集成框架,以此为基础研究如何加强语义对企业信息交互的支持.首先,提出支持多企业共建服务描述信息的分布式本体构建方法,其间给出业务信息的规范化模板,进而利用本体映射使多本体间相互理解;在此基础上提出一种依靠语义相似度进行服务发现的方法.该方法能够较好地支持由不同企业常用数据格式创建的分布式本体间的信息理解,实现对服务请求方和服务提供方的语义描述,从而提高服务匹配的查准率和查全率.     

多Chord环境下基于规则的服务推荐

传统的服务发布和搜索难以支持语义表示和服务推理。针对该问题,提出一种基于概念划分和规则推理的服务推荐方法,通过服务分类本体的构建、Chord网络与服务分类本体的动态映射以及本体规则推理,动态生成服务推荐关系,实现服务的语义扩展查询以及对潜在需求业务的服务推荐。实验结果证明,该方法具有较高的查全率和查询效率。