用描述逻辑实现语义主题web服务组合的方法

《用描述逻辑实现语义主题web服务组合的方法》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第30卷第10期计算机应用V0I．30No．102010阜10月JournalofComputerApplications0et．2010文章编号：1001—9081(201o)10—2763—05用描述逻辑实现语义主题Web服务组合的方法周相兵(阿坝师范高等专科学校计算机科学系，成都611741)(3dsmaxmaya@163．con)摘要：针对面向服务计算所具有的分散性、不确定性等因素的影响，以及服务发现、选择和组合存在技术和高效应用上的瓶颈，提出一种用描述逻辑实现主题服务组合的方法。该方法将主

2、题图与Web服务用描述逻辑进行融合，并在融合过程借助本体实现主题图与Web服务间的描述，进而形成一种语义主题Web服务。最后用基于SHOIQ的Tahleau决策算法实现语义Web主题服务组合。案例分析表明该方法可行且有效。关键词：描述逻辑；主题图；本体；语义Web服务；Tableau决策算法中图分类号：TP311文献标志码：ASemanticstopicmapWebservicecompositionapproachusingdescriptionlogicZHOUXiang—bing(Depart

3、mentofComputerScience，AbaTeachersCollege，ChengduSichuan611741，China)Abstract：ConcerningthedispersibilityanduncertaintyofService—OrientedComputing(SOC)，aswellasthebottleneckofservicediscovery，selectionandcompositionintechnologyandapplication，anapproacho

4、ftopicmapservicecompositionwasproposed．ItemployeddescriptionlogictomergetopicmapandWebservices，andatopicmapsemanticsWebservicewasgotbyusingontologytoachievethedescriptionbetweentopicmapandWebservicesinmerging．TableaudecisionalgorithmbasedonSHOIQwasadop

5、tedtoaccomplishtopicmapsemanticsWebservicecomposition．Thecaseanalysisshowsthatthemethodisfeasibleandeffective．Keywords：descriptionlogic；topicmap；ontology；semanticsWebservice；TableaudecisionalgorithmSchema)语义方法，其目的是为语义Web提供强有力的语义，0引言目前其语义本质就是用本体进行描述；同时还

6、提出了当前主面向服务计算(Service—OrientedComputing，SOC)一直都题图与RDF相关的转化方法。文献[8]提出了一种基于约束是学术界研究热点，具体体现在服务高效组合⋯。但因服务和模式的主题图融合和匹配方法。这些方法都为语义Web自身存在处理语法、语义、识别、抽取等方面的问题，因此众多服务与主题图融合提供了方法。研究者从形式化描述、智能计算、语义识别、逻辑推理等角度进行研究，提出了许多解决方法，直接表现在服务组合的1语义主题服务组合基础理论知识有效性、智能化和自动化上，但大多只

7、是在一定程度上改进了服务组合体系，未解决服务的快速、精确组合。目前，语义服1．1相关概述务组合是对传统服务组合更深层次的研究，采用基于本体由概念、属性、关系、功能、实例、公理以及事件来描Ontology的OWL—S(OntologyWebLanguageforServices)和述、抽象客观存在的事物，并用关系、公理来具体实现语义。WSMO(WebServiceModelingOntology)进行服务功能等多种它的描述基础是OWLDL(OntologyWebLanguageDescription语

8、义的描述，主要聚焦在编制和编排J，对传统服务组合模Logic)，包括OWL语言的全部约束(如表1、2所示)，并允许型处理语义等方面进行改进和增强，提高了服务组合效率，实相关基元随意地与RDF和RDFS相互结合。现了不同程度的服务识别和抽取。主题图(topicmap)是一种表1OWL中的类构造算子与DL的关系信息资源定位的本体(语义)，与SemanticWeb(语义Web)有类构造算子DL语法FOL(一阶逻辑)Syntax重要的区别：语义Web用于概念形式化描述和分类，