中文摘要：

科学工作流是数字化科研的强有力工具,其基本构成部分是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.