资源描述：
《基于SROIQB的语义Web服务建模和组合.pdf》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第31卷第8A期通信学报Vol.31No.8A2010年8月JournalonCommunicationsAugust2010基于SROIQB的语义Web服务建模和组合1,21,21,2刘大有，刘思培，齐红（1.吉林大学计算机科学与技术学院，吉林长春130012；2.吉林大学符号计算与知识工程教育部重点实验室，吉林长春130012）摘要：提出了一种基于SROIQB的语义Web服务建模和组合方法。首先，从OWL-S所提供的原子服务和组合流程语义描述出发，详细分析了原子服务的IOPE属性与顺序、选择、乱序、条件、迭代、循环、分
2、支和汇合等组合流程的控制结构，将原子服务的输入、输出语义视为描述逻辑的概念，将原子服务和组合流程分别建模为描述逻辑中的原子角色和布尔角色公式，基于概念和角色蕴含公理对语义Web服务的可实现性、可执行等功能语义进行刻画。其次，将本体中概念的上下位关系等价表示为描述逻辑的概念蕴含公理，在描述逻辑的框架下建立了领域本体与语义Web服务的联系，将语义Web服务的并发和顺序组合问题归结为基于描述逻辑知识库的蕴含关系判定和一致性检查等推理问题。从而在描述逻辑的框架内，对语义Web服务组合问题，提出了一种既具有足够的建模能力，又保证组合
3、推理过程可判定的新方法。关键词：语义Web服务；服务建模；服务组合；描述逻辑；布尔角色算子中图分类号：TP39文献标识码：A文章编号：1000-436X(2010)8A-0001-09UsingSROIQBtomodelandcomposesemanticWebservice1,21,21,2LIUDa-you,LIUSi-pei,QIHong(1.CollegeofComputerScienceandTechnology,JilinUniversity,Changchun130012,China;2.KeyLaborat
4、oryofSymbolicComputationandKnowledgeEngineeringofMinistryofEducation,JilinUniversity,Changchun130012,China)Abstract:OnekindofsemanticWebservicemodelingandreasoningmethodbasedondescriptionlogicwithBooleanroleconstructors(SROIQB)wasintroduced.ByusingDLtofigureoutthe
5、hyponymyrelationshipbetweenconceptsindomainontologyandmodelWebservicefunctionalsemanticinServiceProfile,anddefineBooleanroleexpressionstodescribethecompositionprocessinProcessProfilerespectively.Furthermore,Booleanroleexpressionisintroducedtodescribeallpossiblecom
6、positionstructuresofatomicservicesandthensemanticWebservicecompositioncanbere-gardedasaprocessofconsistencecheckingandclasssubsumptioncomputingreasoningonDLknowledgebase.ThusthecomparisonandexamplevalidationshowthatintroducedonekindofnewandreasonablesemanticWebser
7、vicemodelingandcompositionmethodintheframeworkofsemanticWebbyusingSROIQB,whichwithmorestrongexpressivecapa-bilityanddecidabletypeinference.Keywords:semanticWebservice;servicemodeling;servicecomposition;DL;Booleanroleconstructor收稿日期：2010-06-05基金项目：国家自然科学基金资助项目(6060
8、3030,60773099,60873149,60973088)；国家高技术研究发展计划（“863”计划）基金资助项目(2006AA10Z245,2006AA10A309)；欧盟基金资助项目(BridgingtheGap,155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12)F
