INFRAWEBS axiom editor - a graphical ontology-driven tool for creating complex logical expressions

TL;DR

The paper introduces INFRAWEBS Axiom Editor, a graphical tool designed to facilitate the creation and editing of complex logical expressions for Semantic Web Services within the WSMO framework, supporting the full lifecycle of service development.

Contribution

It presents a specialized, user-friendly graphical editor for constructing and maintaining axioms in Semantic Web Services, integrated into the Eclipse platform.

Findings

Supports complex logical expressions for Web Service descriptions

Provides an intuitive graphical interface for axiom editing

Integrates seamlessly with Eclipse environment

Abstract

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.