论文部分内容阅读
语义Web服务是语义Web和Web服务相结合的产物，通过赋予Web服务以语义信息来实现服务的自动发现、调用和组合。语义Web服务搜索是语义Web服务研究领域的一个重要的内容，在语义Web服务的生命周期中有着至关重要作用。而语义Web服务搜索条件的表示方法和处理机制又是实现语义Web服务搜索的一个关键问题。本文面向OWL-S服务描述框架，研究OWL-S服务搜索的语义条件表达式及其处理机制，并开发相应的支撑工具软件，使得用户可以便捷、准确地表述语义Web服务的搜索条件。具体而言，本文的研究内容主要有以下三个部分。第一、通过研究已有的语义Web服务搜索条件表达式和相关知识，在此基础上，针对OWL-S描述框架的特征，提出面向OWL-S服务搜索的语义条件表达式，给出其语法规范和操作语义，并用实例来说明表达式的用法。第二、研究面向OWL-S服务搜索的语义条件表达式的处理机制，阐述表达式的处理机制原理和详细的处理过程，提出表达式正确性检查方法和基于Jena推理机对表达式进行的语义推理的方法，给出对语义条件表达式进行处理的算法。第三、设计并实现语义条件表达式的支撑工具软件。该原型工具包括语义条件表达式的构建与编辑、语义条件表达式的语法正确性检查、表达式的语义推理及转换、语义Web服务资源搜索动作的生成等功能模块。