用于语义Web服务搜索的语义条件表达式的研究

摘要	第1-7页
Abstract	第7-11页
图目录	第11-12页
表目录	第12-13页
第1章 绪论	第13-21页
·研究背景	第13-15页
·研究动机	第15-17页
·研究内容	第17-18页
·论文的组织	第18-21页
第2章 国内外研究现状	第21-47页
·基于OWL-S框架的语义Web服务搜索研究	第21-24页
·语义Web服务描述框架OWL-S	第21-22页
·基于OWL-S框架的语义Web服务搜索	第22-24页
·基于WSMO框架的语义Web服务搜索研究	第24-28页
·语义Web服务描述框架WSMO	第24-26页
·基于WSMO框架的语义Web服务搜索	第26-28页
·基于WSDL-S框架的语义Web服务搜索研究	第28-31页
·语义Web服务描述框架WSDL-S	第28-29页
·基于WSDL-S框架的语义Web服务搜索	第29-31页
·Web服务的语义描述框架RDF4S	第31-40页
·语义Web服务描述框架RDF4S	第31-35页
·基于RDF4S框架的语义Web服务搜索	第35-40页
·描述逻辑及其应用	第40-46页
·基本描述逻辑	第40-43页
·描述逻辑的推理算法	第43-45页
·其它描述逻辑语言	第45-46页
·小结	第46-47页
第3章 语义条件表达式	第47-63页
·语义条件表达式的构成	第47-55页
·表达式构成元素	第47-50页
·表达式语法	第50-53页
·表达式操作语义	第53-55页
·语义条件表达式的良构性	第55-59页
·语义条件表达式使用示例	第59-62页
·小结	第62-63页
第4章 语义条件表达式的处理机制	第63-89页
·语义条件表达式处理过程	第63-64页
·语义条件表达式的推理机制	第64-72页
·语义条件表达式推理的理论基础	第64-69页
·语义条件表达式的推理过程	第69-72页
·语义条件表达式的转换机制	第72-85页
·语义条件表达式的转换目标	第72-73页
·语义条件表达式基本转换规则	第73-78页
·语义标注对象表达式的转换	第78页
·本体对象表达式的转换	第78-79页
·逻辑表达式的转换	第79-80页
·语义条件表达式的转换示例	第80-85页
·服务搜索操作的生成	第85-87页
·小结	第87-89页
第5章 语义条件表达式应用和案例研究	第89-113页
·应用语义条件表达式的过程	第89-91页
·案例场景描述	第91-102页
·案例概要	第91-92页
·支持案例描述的语义基础	第92-95页
·案例中包含的语义Web服务描述	第95-102页
·案例中的语义Web服务搜索过程	第102-105页
·语义条件表达式在案例中的应用	第105-112页
·语义条件表达式在案例中的应用实例	第105-109页
·语义Web服务资源的搜索结果和分析	第109-112页
·小结	第112-113页
第6章 语义条件表达式的支撑工具	第113-129页
·支撑工具概述	第113-115页
·支撑工具的功能需求	第115-118页
·语义条件表达式图形化编辑工具	第115-116页
·语义条件表达式处理引擎工具	第116-118页
·支撑工具的设计	第118-125页
·开发环境和运行环境	第118-120页
·总体设计	第120-121页
·核心类图	第121-124页
·界面设计	第124-125页
·关键实现技术	第125-128页
·XML解析及语法检查	第125-126页
·基于Eclipse的插件开发	第126页
·基于描述逻辑的推理功能开发	第126-127页
·基于浏览器的富客户端开发(RIA)	第127-128页
·小结	第128-129页
第7章 总结与展望	第129-131页
·总结	第129-130页
·展望	第130-131页
参考文献	第131-139页
附录1 攻读博士学位期间发表的文章	第139-140页
附录2 攻读博士学位期间参与的研究项目	第140-141页
致谢	第141页