基于 WSMO 方法的语义 Web 服务声明式功能描述工具的设 计、开发与实现
人工智能
2009-04-03 v1 计算机科学中的逻辑
摘要
语义 Web 服务 (SWS) 是自包含、自描述、语义标记的软件资源，能够以半自动方式在 Web 上发布、发现、组合和执行。它们是未来语义 Web 的关键组成部分，在该网络中，联网计算机程序同时成为信息的提供者和使用者。本工作专注于开发一套全生命周期的软件工具集，用于基于 Web 服务建模本体 (WSMO) 框架创建和维护语义 Web 服务。基于 WSMO 的 SWS 的一个主要部分是服务能力——Web 服务功能的声明式描述。Web 服务建模语言 (WSML) 为此类描述提供了形式化语法和语义，该语言基于不同的逻辑形式体系，即描述逻辑、一阶逻辑和逻辑编程。Web 服务能力的 WSML 描述表示为一组复杂的逻辑表达式（公理）。我们开发了一个专门的用户友好型工具，用于构建和编辑基于 WSMO 的 SWS 能力。由于该工具的用户并非一阶逻辑专家，因此提出了一种图形化的方式来构建和编辑公理。所设计的构建逻辑表达式的过程是本体驱动的，尽可能抽象掉逻辑语言的任何具体语法。我们提出了几种机制来保证所生成逻辑表达式的语义一致性。该工具使用 Java 实现，以 Eclipse 作为 IDE，并使用 GEF（图形编辑框架）进行可视化。
引用
@article{arxiv.0904.0300,
title = {Design, development and implementation of a tool for construction of declarative functional descriptions of semantic web services based on WSMO methodology},
author = {Petar Kormushev},
journal= {arXiv preprint arXiv:0904.0300},
year = {2009}
}
备注
Master's Thesis in Artificial Intelligence, 105 pages, in Bulgarian. Submitted to Faculty of Mathematics and Informatics, Sofia University, 2005