资源描述：
《基于动态描述逻辑的语义web服务匹配研究》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、计算机研究与发展ISSN100021239PCN1121777PTPJournalofComputerResearchandDevelopment45(12):210222109,2008基于动态描述逻辑的语义Web服务匹配研究1,2,31,31,31彭晖陈立民常亮史忠植1(中国科学院计算技术研究所智能信息处理重点实验室北京100190)2(湖南科技大学计算机科学与工程学院湖南湘潭411201)3(中国科学院研究生院北京100049)(pengh@ics.ict.ac.cn)SemanticWebServiceM
2、atchingBasedonDynamicDescriptionLogic1,2,31,31,31PengHui,ChenLimin,ChangLiangandShiZhongzhi1(KeyLaboratoryofIntelligentInformationProcessing,InstituteofComputingTechnology,ChineseAcademyofSciences,Beijing100190)2(SchoolofComputerScienceandEngineering,HunanUni
3、versityofScienceandTechnology,Xiangtan,Hunan411201)3(GraduateUniversityofChineseAcademyofSciences,Beijing100049)AbstractDynamicdescriptionlogic(DDL)isanextensionofdescriptionlogic(DL)withadynamicdimension.Inadditiontothereasoningmechanismonstaticknowledgeabou
4、tapplicationdomains,DDLalsoprovidesamechanismforrepresentingandreasoningaboutactionsbyembracingknowledgeofactionsintoDL.Therefore,DDLisapromisingcandidateforlogicfoundationsofsemanticWebservicewheneveryWebserviceisregardedasanactiononWeb.Duetosuchmeritsprovid
5、edbyDDL,theauthorspresentaDDL2basedapproachforthedescriptionandmatchingofsemanticWebservices:BoththegoalserviceofaserviceconsumerandtheatomicservicesfromserviceprovideraredescribedintermsofactionsofDDL.Thenthematchmakermatchesthegoalservicewithsuppliedservice
6、sbyreasoningonactions.ThematchproblembetweengoalserviceandsuppliedservicesisreducedtothesatisfiabilityproblemofformulasinDDL.ComparedwiththesemanticWebservicematchmethodbasedonDL,theDDLbasedmethoddescribesbothstaticinformationandactionsonWebinauniformalwayand
7、thereasoningproblemonactionscanbereducedtothesatisfiabilityproblemofformulas.Comparedwiththefirst2orderpredicatelogic,whichisoftenusedinactionreasoninginsituationcalculus,thesatisfiabilityproblemofformulasinDDLisdecidable.KeywordssemanticWebservice;servicemat
8、ching;descriptionlogic;dynamicdescriptionlogic;action摘要动态描述逻辑(dynamicdescriptionlogic,DDL)是描述逻辑(descriptionlogic,DL)的一种动态扩展,它支持语义Web环境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义Web服务描述与服务匹配方法:将服务需求方的目标服务
