基于SROIQB的语义Web服务建模和组合

作     者：刘大有 刘思培 齐红 

作者机构：吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 

出 版 物：《通信学报》 (Journal on Communications)

年 卷 期：2010年第31卷第S1期

页      面：1-9页

核心收录：

学科分类：08[工学] 080402[工学-测试计量技术及仪器] 0804[工学-仪器科学与技术] 

基　　金：国家自然科学基金资助项目(60603030 60773099 60873149 60973088) 国家高技术研究发展计划("863"计划)基金资助项目(2006AA10Z245 2006AA10A309) 欧盟基金资助项目(Bridging the Gap 155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12) 

主　　题：语义Web服务 服务建模 服务组合 描述逻辑 布尔角色算子 

摘      要：提出了一种基于SROIQB的语义Web服务建模和组合方法。首先,从OWL-S所提供的原子服务和组合流程语义描述出发,详细分析了原子服务的IOPE属性与顺序、选择、乱序、条件、迭代、循环、分支和汇合等组合流程的控制结构,将原子服务的输入、输出语义视为描述逻辑的概念,将原子服务和组合流程分别建模为描述逻辑中的原子角色和布尔角色公式,基于概念和角色蕴含公理对语义Web服务的可实现性、可执行等功能语义进行刻画。其次,将本体中概念的上下位关系等价表示为描述逻辑的概念蕴含公理,在描述逻辑的框架下建立了领域本体与语义Web服务的联系,将语义Web服务的并发和顺序组合问题归结为基于描述逻辑知识库的蕴含关系判定和一致性检查等推理问题。从而在描述逻辑的框架内,对语义Web服务组合问题,提出了一种既具有足够的建模能力,又保证组合推理过程可判定的新方法。