预览加载中,请您耐心等待几秒...
1/9
2/9
3/9
4/9
5/9
6/9
7/9
8/9
9/9
在线预览结束,喜欢就下载吧,查找使用更方便
如果您无法下载资料,请参考说明:
1、部分资料下载需要金币,请确保您的账户上有足够的金币
2、已购买过的文档,再次下载不重复扣费
3、资料包下载后请先用软件解压,在使用对应软件打开
第31卷第8A期通信学报Vol.31No.8A
2010年8月JournalonCommunicationsAugust2010
基于SROIQB的语义Web服务建模和组合
1,21,21,2
刘大有,刘思培,齐红
(1.吉林大学计算机科学与技术学院,吉林长春130012;2.吉林大学符号计算与知识工程教育部重点实验室,吉林长春130012)
摘要:提出了一种基于SROIQB的语义Web服务建模和组合方法。首先,从OWL-S所提供的原子服务和组合
流程语义描述出发,详细分析了原子服务的IOPE属性与顺序、选择、乱序、条件、迭代、循环、分支和汇合等
组合流程的控制结构,将原子服务的输入、输出语义视为描述逻辑的概念,将原子服务和组合流程分别建模为描
述逻辑中的原子角色和布尔角色公式,基于概念和角色蕴含公理对语义Web服务的可实现性、可执行等功能语义
进行刻画。其次,将本体中概念的上下位关系等价表示为描述逻辑的概念蕴含公理,在描述逻辑的框架下建立了
领域本体与语义Web服务的联系,将语义Web服务的并发和顺序组合问题归结为基于描述逻辑知识库的蕴含关
系判定和一致性检查等推理问题。从而在描述逻辑的框架内,对语义Web服务组合问题,提出了一种既具有足够
的建模能力,又保证组合推理过程可判定的新方法。
关键词:语义Web服务;服务建模;服务组合;描述逻辑;布尔角色算子
中图分类号:TP39文献标识码:A文章编号:1000-436X(2010)8A-0001-09
UsingSROIQBtomodelandcomposesemanticWebservice
LIUDa-you1,2,LIUSi-pei1,2,QIHong1,2
(1.CollegeofComputerScienceandTechnology,JilinUniversity,Changchun130012,China;
2.KeyLaboratoryofSymbolicComputationandKnowledgeEngineeringofMinistryofEducation,JilinUniversity,Changchun130012,China)
Abstract:OnekindofsemanticWebservicemodelingandreasoningmethodbasedondescriptionlogicwithBoolean
roleconstructors(SROIQB)wasintroduced.ByusingDLtofigureoutthehyponymyrelationshipbetweenconceptsin
domainontologyandmodelWebservicefunctionalsemanticinServiceProfile,anddefineBooleanroleexpressionsto
describethecompositionprocessinProcessProfilerespectively.Furthermore,Booleanroleexpressionisintroducedto
describeallpossiblecompositionstructuresofatomicservicesandthensemanticWebservicecompositioncanbere-
gardedasaprocessofconsistencecheckingandclasssubsumptioncomputingreasoningonDLknowledgebase.Thusthe
comparisonandexamplevalidationshowthatintroducedonekindofnewandreasonablesemanticWebservicemodeling
andcompositionmethodintheframeworkofsemanticWebbyusingSROIQB,whichwithmorestrongexpressivecapa-
bilityanddecidabletypeinference.
Keywords:semanticWebservice;servicemodeling;servicecomposition;DL;Booleanroleconstructor
收稿日期:2010-06-05
基金项目:国家自然科学基金资助项目(60603030,60773099,60873149,60973088);国家高技术研究发展计划(“863”计划)基金资
助项目(2006AA10Z245,2006AA10A309);欧盟基金资助项目(BridgingtheGa