发帖
雷达卡
摘要翻译：
语义web服务（Semantic web services，SWS)是自包含、自描述、语义标记的软件资源，可以以半自动的方式在web上发布、发现、组合和执行。它们是未来语义网的关键组成部分，在未来语义网中，联网的计算机程序同时成为信息的提供者和使用者。本文的工作重点是基于Web服务建模本体(WSMO)框架开发一个用于创建和维护语义Web服务(SWSs)的全生命周期软件工具集。基于WSMO的SWS的一个主要部分是服务能力--Web服务功能的声明性描述。Web Service Modeling Language(WSML)为这种描述提供了形式化的语法和语义，它基于不同的逻辑形式化，即描述逻辑、一阶逻辑和逻辑编程。Web服务功能的WSML描述表示为一组复杂的逻辑表达式（公理）。我们开发了一个专门的用户友好的工具，用于构造和编辑基于WSMO的SWS功能。由于该工具的用户不是一阶逻辑专家，因此提出了一种对公理进行压缩和编辑的图形化方法。所设计的逻辑表达式构造过程是本体驱动的，它尽可能地从逻辑语言的任何具体语法中抽象出来。我们提出了几种机制来保证所生成的逻辑表达式的语义一致性。该工具使用Eclipse for IDE和GEF（Graphical Editing Framework）实现。
---
英文标题：
《Design, development and implementation of a tool for construction of
declarative functional descriptions of semantic web services based on WSMO
methodology》
---
作者：
Petar Kormushev
---
最新提交年份：
2009
---
分类信息：
一级分类：Computer Science 计算机科学
二级分类：Artificial Intelligence 人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--
一级分类：Computer Science 计算机科学
二级分类：Logic in Computer Science 计算机科学中的逻辑
分类描述：Covers all aspects of logic in computer science, including finite model theory, logics of programs, modal logic, and program verification. Programming language semantics should have Programming Languages as the primary subject area. Roughly includes material in ACM Subject Classes D.2.4, F.3.1, F.4.0, F.4.1, and F.4.2; some material in F.4.3 (formal languages) may also be appropriate here, although Computational Complexity is typically the more appropriate subject area.
涵盖计算机科学中逻辑的所有方面，包括有限模型理论，程序逻辑，模态逻辑和程序验证。程序设计语言语义学应该把程序设计语言作为主要的学科领域。大致包括ACM学科类D.2.4、F.3.1、F.4.0、F.4.1和F.4.2中的材料；F.4.3（形式语言）中的一些材料在这里也可能是合适的，尽管计算复杂性通常是更合适的主题领域。
--
---
英文摘要：
Semantic web services (SWS) are self-contained, self-describing, semantically marked-up software resources that can be published, discovered, composed and executed across the Web in a semi-automatic way. They are a key component of the future Semantic Web, in which networked computer programs become providers and users of information at the same time. This work focuses on developing a full-life-cycle software toolset for creating and maintaining Semantic Web Services (SWSs) based on the Web Service Modelling Ontology (WSMO) framework. A main part of WSMO-based SWS is service capability - a declarative description of Web service functionality. A formal syntax and semantics for such a description is provided by Web Service Modeling Language (WSML), which is based on different logical formalisms, namely, Description Logics, First-Order Logic and Logic Programming. A WSML description of a Web service capability is represented as a set of complex logical expressions (axioms). We develop a specialized user-friendly tool for constructing and editing WSMO-based SWS capabilities. Since the users of this tool are not specialists in first-order logic, a graphical way for constricting and editing axioms is proposed. The designed process for constructing logical expressions is ontology-driven, which abstracts away as much as possible from any concrete syntax of logical language. We propose several mechanisms to guarantees the semantic consistency of the produced logical expressions. The tool is implemented in Java using Eclipse for IDE and GEF (Graphical Editing Framework) for visualization.
---
PDF链接：
https://arxiv.org/pdf/0904.0300
京公网安备 11010802022788号
