資源描述：
《基于動態(tài)描述邏輯的語義web服務匹配研究》由會員上傳分享，免費在線閱讀，更多相關內容在行業(yè)資料-天天文庫。
1、計算機研究與發(fā)展ISSN100021239PCN1121777PTPJournalofComputerResearchandDevelopment45(12):210222109,2008基于動態(tài)描述邏輯的語義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摘要動態(tài)描述邏輯(dynamicdescriptionlogic,DDL)是描述邏輯(descriptionlogic,DL)的一種動態(tài)擴展,它支持語義Web環(huán)境下對動作的描述和推理.提出了一種基于動態(tài)描述邏輯的語義Web服務描述與服務匹配方法:將服務需求方的目標服務
