面向科学工作流服务发现的语义查询、匹配与组合  

Semantic Query,Matching and Composition for Scientific Workflow Service Discovery

作　　者：李进华[1] 全薇[1] 孙祚旭 

机构地区：[1]华中师范大学信息管理学院,湖北武汉430079

出　　处：《情报理论与实践》2015年第6期115-120,共6页Information Studies:Theory & Application

基　　金：国家社会科学基金项目"语义网络环境下面向数字化科研的分布式知识发现研究"(项目编号:11BTQ040);华中师范大学中央高校基本科研业务费专项资金项目"基于统计本体学习方法的文本领域本体自动抽取与演化研究"(项目编号:CCNU13A05048)的成果

摘　　要：科学工作流是数字化科研的强有力工具,其基本构成部分是Web服务。在生物信息学应用领域,Web服务一般通过本体进行语义描述,并封装成语义Web服务。文章以描述逻辑及其SHIQ语言为基础,研究目的在于定义生物信息学领域的Web服务语义描述框架,主要方法包括服务的语法与语义定义,语义Web服务的查询与匹配以及多服务的组合机制。最后以DNA序列查询以及格式转换为例,论述了具体的应用方式,实际使用有较好的效果。研究结论是:语义封装以及语义查询可以很好解决无状态Web服务查询匹配的精确度问题。Scientific workflow is a powerful tool for digital research, which is composed of web service. In bioinformatics appli- cation domain, web service is packaged into semantic web service by ontology semantic description. Based on description logic and SHIQ language, the target of this paper is to define the semantic description framework of web service in bioinformatics domain. The research methods include service syntax and semantic definition, query matching of semantic web service, and composition mechanism of multiple services. Finally, taking query and formation transformation of DNA sequence as an example, the paper states the specific application methods with good effectiveness. The result of the paper is that semantic encapsulation and semantic query can well solve the problem of the accuracy of web service query matching.

关 键 词：语义WEB服务 语义网 语义查询 形式化描述 查询匹配 

分 类 号：TP393.09[自动化与计算机技术—计算机应用技术] TP391.1[自动化与计算机技术—计算机科学与技术]