資源描述：
《基于動(dòng)態(tài)描述邏輯的語(yǔ)義web服務(wù)匹配研究》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫(kù)。
1、計(jì)算機(jī)研究與發(fā)展ISSN100021239PCN1121777PTPJournalofComputerResearchandDevelopment45(12):210222109,2008基于動(dòng)態(tài)描述邏輯的語(yǔ)義Web服務(wù)匹配研究1,2,31,31,31彭暉陳立民常亮史忠植1(中國(guó)科學(xué)院計(jì)算技術(shù)研究所智能信息處理重點(diǎn)實(shí)驗(yàn)室北京100190)2(湖南科技大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院湖南湘潭411201)3(中國(guó)科學(xué)院研究生院北京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摘要?jiǎng)討B(tài)描述邏輯(dynamicdescriptionlogic,DDL)是描述邏輯(descriptionlogic,DL)的一種動(dòng)態(tài)擴(kuò)展,它支持語(yǔ)義Web環(huán)境下對(duì)動(dòng)作的描述和推理.提出了一種基于動(dòng)態(tài)描述邏輯的語(yǔ)義Web服務(wù)描述與服務(wù)匹配方法:將服務(wù)需求方的目標(biāo)服務(wù)
