面向OWL-S服务搜索的语义条件表达式及其处理机制的研究

摘要

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

目录

第一章 绪论

1.1研究背景和意义

1.2国内外研究现状

1.3研究内容及创新点

1.4论文的组织结构

第二章 语义Web服务相关的知识

2.1语义Web服务

2.2 语义Web服务描述模型OWL-S

2.3语义Web服务搜索

2.4描述逻辑

2.5本章小结

第三章 面向OWL-S服务搜索的语义条件表达式

3.1 SCE-OWL的构成

3.2 SCE-OWL示例

3.3本章小结

第四章SCE-OWL的处理机制

4.1处理机制的介绍

4.2 SCE-OWL处理机制的框架及原理

4.3表达式的转换规则

4.4生成Web服务搜索操作的映射规则

4.5表达式转换的示例

4.6 本章小结

第五章 表达式支撑工具的设计与实现

5.1 系统设计

5.2 系统实现的效果

5.3本章小结

第六章 总结与展望

6.1 总结

6.2 展望

参考文献

攻读学位期间主要的研究成果

致谢