基于本体和描述逻辑的Web服务查找技术研究

基于本体和描述逻辑的Web服务查找技术研究作者：任涛学位授予单位：山东大学参考文献(42条)1.EhnebuskeD.RogersD.RiegenCUDDIVersion2.0DataStructureReferenceUDDIOpenDraftSpecification820012.StavroulasY.VarvarigouTAtechniqueforsemi-automaticdatabaseintegrationindatabasefederation20023.BernsteinA.KleinMDiscoveringservices:TowardsHigh-PrecisionServiceRetrival20024.ESPEAKHewlettPackard'SServiceFrameworkSpecification20005.RamanR.LivnyMSolomonMatchMaking:anextensibleFrameworkfordistributedresourcemanagement1999(02)6.MassimoR.TakahiroKSemanticMatchingofWebServiceCapabilities20027.SheilaASemanticWebService2001(04)8.BursteinM.HobbsJ.LassilaODAML-S:semanticmarkupforwebservices20019.DeborahL.HarmelenFOWLWebOntologyLanguageOverview200310.OWLServicesCoalitionOWL-S:SemanticMarkupforWebServices200311.AnupriyaA.HuchFConcurrentSemanticsfortheWebServicesSpecificationLanguageDAML-S200212.AnkolekarA.BursteinMDAML-S:WebServiceDescriptionfortheSemanticWeb200213.TrastourD.BartoliniCASemanticWebApproachtoServiceDescriptionforMatchmakingofService200114.PaolucciM.KawamuraTImportingtheSemanticWebinUDDI200215.PaolucciM.KawamuraTSemanticMatchingofWebServicesCapabilities200216.CardosoJ.ShethASemantice-WorkflowComposition200317.ShenD.YuG.YangDAnEnablingSystemforWebServicesComposition[会议论文]200318.NechesR.FikesRE.GruberTREnablingTechnologyforKnowledgeSharing1997(03)19.GruberTRATranslationApproachtoPortableOntologySpecification1997(05)20.BorstWNConstructionofEngineeringOntologiesforKnowledgeSharingandReuse199721.StuderR.BenjaminsVR.FenselDKnowledgeEngineering,PrinciplesandMethods1998(1-2)22.查看详情23.IanHorrocksDAML+OIL:ADescriptionLogicfortheSemanticWeb2002(01)24.OWLWebOntologyLanguageOverview,W3CWorkingDraft200325.王洪伟.吴家春.蒋馥基于描述逻辑的本体模型研究[期刊论文]-系统工程2003(3)26.李善平.尹奇(韦华).胡玉杰.郭鸣.付相君本体论研究综述[期刊论文]-计算机研究与发展2004(7)27.ArishaK.KrausS.OzcanF.RossR,SubrahmanianV.SIMPACT:TheinteractiveMarylandplatformforagentscollaboratingtogether1999(02)28.KatiaSycara.MatthiasKlusch.SethWioffLARKS:DynamicMatchmakingamongHetergeneousSoftwareAgentsinCyberspace200229.JavierGonzalez-Castillo.DavidTrastour.ClaudioBartoliniDescriptionLogicsforMatchmakingofServices200130.LeiLi.IanHorrocksASoftWareFrameworkforMatchmakingBasedonSemanticWebTechnology200331.LiuChih-HsiungWebServiceMatchmakingBasedonOWLOntologiesandDescriptionLogicInferences200432.岳昆.王晓玲.周傲英Web服务核心支撑技术:研究综述[期刊论文]-软件学报2004(3)33.吴强语义web中以描述逻辑为本体语言的推理[期刊论文]-计算机工程与应用2003(33)34.邓志鸿.唐世渭.张铭.杨冬青.陈捷Ontology研究综述[期刊论文]-北京大学学报(自然科学版)2002(5)35.申德荣支持Web服务合成的关键技术研究[学位论文]博士200436.王丰锦基于语义Web服务的动态服务组合技术研究[学位论文]博士200437.VHaarslev.RmollerRacerUser'sGuideandReferenceManualVersion1.5.6200138.Protédgé200039.ProtédgéOWLPlug40.MatthewHorridge.HolgerKnublach.AlanRector.RobertStevensAPracticalGuidetoBuildingOWLOntologiesUsingTheProtédgé-OWLPluginanCOODETools200441.UweKeller.HolgerLausen.AxelPolleresWSMODisvoveryEngine,WSMLWorkingDraft200442.VolkerHaasrslev.RalfMollerRacerSystemDescription2000相似文献(10条)1.期刊论文史忠植.常亮.SHIZhong-Zhi.CHANGLiang基于动态描述逻辑的语义Web服务推理-计算机学报2008,31(9)语义Web服务的提出是为了解决Web服务资源在语义Web中的自动发现、组合和执行等问题,基本思路是将本体承载的静态知识与对Web服务动态功能的描述有机地结合起来.动态描述逻辑是描述逻辑的一种动态扩展,支持面向语义Web的对动作的描述和推理.文中利用动态描述逻辑DDL(SHOIN(D))的描述和推理功能,提出对语义Web服务进行建模和推理的一种有效途径.从OWL-S中的ProcessModel出发,将语义Web服务建模为基于DDL(SHOIN(D))的动作理论,其中,对应于ProcessModel中的原子过程,可以对输入、输出、局部变量、前提条件、结果等多个方面进行建模;对应于ProcessModel中的复合过程,可以相应地对数据流以及顺序、选择、乱序、条件、迭代、循环等控制结构进行刻画.以建模后得到的动作理论为基础,应用动态描述逻辑的推理机制,可以分别对语义Web服务的可实现性、可执行性、投影、规划等问题进行推理.这些推理功能为语义Web服务的自动发现和自动组合提供了有效的支持.2.学位论文李英杰知识路由中基于描述逻辑的语义Web服务复合的研究2007语义Web通过本体技术为Web资源提供了丰富的可供机器处理的语义信息，使得机器可以利用这些语义元数据进行自动化的信息访问，从而提供一种高质量的新服务。同时，语义Web研究的兴起也为Web服务技术带来了新的活力，这两种技术的结合产生了另一个新兴的研究课题——语义Web服务。语义Web服务是指用语义Web标记语言来描述服务的语义，使Web服务成为计算机可以理解的实体，从而支持服务的自动发现、执行和复合等。其中，服务的复合体现了Web服务的重要思想：未来的应用将由一组利用网络的服务复合而成。同时，随着语义Web和语义Web服务的不断发展，面对语义Web上分布的海量服务和知识，如何在这些海量服务和知识中按照用户的需求快速准确的定位目标知识，如何将已有的Web服务自动地复合起来、协同工作完成用户的任务，使服务可以灵活地满足用户的需求，实现“按需服务”，也成为迫切需要解决的问题。本文正是针对上述问题，结合国家自然科学基金《知晓内容和环境的本体知识路由研究》，利用语义Web相关技术、以P2P网络为底层架构、以本体为知识标记方法、以描述逻辑为语义Web服务复合逻辑基础，提出了一种用户需求驱动的、结合P2P网络和描述逻辑的本体知识路由机制，并以此为背景，对其中语义Web服务复合进行了更为深入的研究和探讨。主要工作成果包括以下四个方面：(1)将P2P技术和本体技术相结合，利用描述逻辑概念包含性的基本原理，采用动态虚拟社区的思想，结合传统P2P网络结构所具有的分布性和开放性等特点，提出了一种本体驱动的基于P2P网络结构的本体知识路由机制，并详细讨论了知识路由算法的设计与实现。(2)在此知识路由中，通过考虑用户需求偏好信息和扩展原有OWL-S模型，提出一种将用户需求偏好信息考虑在内的扩展XOWL-S模型：(3)将描述逻辑所具有的良好知识表示能力和强大推理能力与AI规划所具有的行为变化建模能力相结合，以扩展XOWL-S模型为基础，提出一种面向知识路由的基于描述逻辑的语义Web服务动态复合机制DLAIP(AIPlanningbasedonDL)，并对其进行形式化证明。(4)设计和开发基于本体的E-learning教学平台OBETP(OntologyBasedE-learningTeachingPlatform)，该平台是知识路由实验系统的基础性工作，为系统的最终完成提供了有价值的开发经验。3.学位论文陈丁剑基于语义的Web服务发现和组合技术研究2006语义Web服务是语义Web和Web服务的结合体，能够以一种明确的、计算机能够理解的语言来描述Web服务的功能和内容，可为Web服务的发现、执行、解释和组合的自动化提供有效的支持。因此，对语义Web服务的研究主要在两个方面：一是创建一种计算机之间能够互相理解，并能充分表示Web服务的内容、功能、属性、接口以及规则和限制条件的语言；另一方面是在这种语言基础之上，提出一种使Web服务之间能够实现自动发现、选取、执行、组合以及交互的模型或体系结构。前者已经有了诸如DAML-S(现在是OWL-S)和WSML等较为成熟的研究成果；后者现有的研究内容则还停留在基本的原理性试验阶段，不能满足实际需要，也不能很好地解决Web服务自动化问题。有鉴于此，本文对语义Web服务自动发现和组合技术进行了深入地探讨，主要研究工作和创新点如下：1．提出了一种基于OAA的分布式构架体系的语义Web服务框架——XUMI。XUMI是一种自组织分布式体系架构，它使用OWL-S及XUMITask本体来为Web服务和Web服务事务建模，并能提供完善的自动化Web服务发现、组合和执行的解决方案。同时，XUMI具有资源管理能力和可视化工具，使用户便于管理和使用。相对于OWL-S、WSMO以及METEOR-S等技术而言，X