INFRAWEBS公理编辑器-用于创建复杂逻辑表达式的图形本体驱动工具
INFRAWEBS axiom editor - a graphical ontology-driven tool for creating complex logical expressions
摘要：
目前的INFRAWEBS欧洲研究项目旨在开发信息和通信技术框架，使软件和服务提供商能够生成和建立开放和可扩展的网络服务应用开发平台。具体的项目目标之一是开发一个全生命周期的软件工具集，用于创建和维护语义Web服务（SWSs）支持特定的应用程序的基础上Web服务建模本体（WSMO）框架。根据WSMO，SWS的功能和行为描述可以通过复杂的逻辑表达式（公理）来表示。本文介绍了一个专门的用户友好的工具，用于构建和编辑这样的公理- INFRAWEBS公理编辑器。在讨论了编辑器的主要设计原则后，简要介绍了编辑器的功能结构。该工具是在Eclipse图形环境框架和Eclipse富客户端平台上实现的。
英文摘要：
The current INFRAWEBS European research project aims at developing ICT framework enabling software and service providers to generate and establish open and extensible development platforms for Web Service applications. One of the concrete project objectives is developing a full-life-cycle software toolset for creating and maintaining Semantic Web Services (SWSs) supporting specific applications based on Web Service Modelling Ontology (WSMO) framework. According to WSMO, functional and behavioural descriptions of a SWS may be represented by means of complex logical expressions (axioms). The paper describes a specialized user-friendly tool for constructing and editing such axioms - INFRAWEBS Axiom Editor. After discussing the main design principles of the Editor, its functional architecture is briefly presented. The tool is implemented in Eclipse Graphical Environment Framework and Eclipse Rich Client Platform.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
