(最新)基于动态描述逻辑的语义web服务匹配研究

(最新)基于动态描述逻辑的语义web服务匹配研究

ID:37535735

大小:415.37 KB

页数:8页

时间:2019-05-24

(最新)基于动态描述逻辑的语义web服务匹配研究_第1页
(最新)基于动态描述逻辑的语义web服务匹配研究_第2页
(最新)基于动态描述逻辑的语义web服务匹配研究_第3页
(最新)基于动态描述逻辑的语义web服务匹配研究_第4页
(最新)基于动态描述逻辑的语义web服务匹配研究_第5页
资源描述:

《(最新)基于动态描述逻辑的语义web服务匹配研究》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库

1、计算机研究与发展ISSN100021239PCN1121777PTPJournalofComputerResearchandDevelopment45(12):210222109,2008基于动态描述逻辑的语义Web服务匹配研究1,2,31,31,31彭晖陈立民常亮史忠植1(中国科学院计算技术研究所智能信息处理重点实验室北京100190)2(湖南科技大学计算机科学与工程学院湖南湘潭411201)3(中国科学院研究生院北京100049)(pengh@ics.ict.ac.cn)SemanticWebServiceMatchingBasedonDynam

2、icDescriptionLogic1,2,31,31,31PengHui,ChenLimin,ChangLiangandShiZhongzhi1(KeyLaboratoryofIntelligentInformationProcessing,InstituteofComputingTechnology,ChineseAcademyofSciences,Beijing100190)2(SchoolofComputerScienceandEngineering,HunanUniversityofScienceandTechnology,Xiangtan

3、,Hunan411201)3(GraduateUniversityofChineseAcademyofSciences,Beijing100049)AbstractDynamicdescriptionlogic(DDL)isanextensionofdescriptionlogic(DL)withadynamicdimension.Inadditiontothereasoningmechanismonstaticknowledgeaboutapplicationdomains,DDLalsoprovidesamechanismforrepresent

4、ingandreasoningaboutactionsbyembracingknowledgeofactionsintoDL.Therefore,DDLisapromisingcandidateforlogicfoundationsofsemanticWebservicewheneveryWebserviceisregardedasanactiononWeb.DuetosuchmeritsprovidedbyDDL,theauthorspresentaDDL2basedapproachforthedescriptionandmatchingofsem

5、anticWebservices:BoththegoalserviceofaserviceconsumerandtheatomicservicesfromserviceprovideraredescribedintermsofactionsofDDL.Thenthematchmakermatchesthegoalservicewithsuppliedservicesbyreasoningonactions.Thematchproblembetweengoalserviceandsuppliedservicesisreducedtothesatisfi

6、abilityproblemofformulasinDDL.ComparedwiththesemanticWebservicematchmethodbasedonDL,theDDLbasedmethoddescribesbothstaticinformationandactionsonWebinauniformalwayandthereasoningproblemonactionscanbereducedtothesatisfiabilityproblemofformulas.Comparedwiththefirst2orderpredicatelo

7、gic,whichisoftenusedinactionreasoninginsituationcalculus,thesatisfiabilityproblemofformulasinDDLisdecidable.KeywordssemanticWebservice;servicematching;descriptionlogic;dynamicdescriptionlogic;action摘要动态描述逻辑(dynamicdescriptionlogic,DDL)是描述逻辑(descriptionlogic,DL)的一种动态扩展,它支持语义Web环

8、境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义Web服务描述与服务匹配方法:将服务需求方的目标服务

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。