INFRAWEBS Axiom Editor – A Graphical Ontology-Driven Tool for Creating Complex Logical Expressions

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 userfriendly 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.

INFRAWEBS BPEL-Based Editor for Creating the Semantic Web Services Description

INFRAWEBS project [INFRAWEBS] considers usage of semantics for the complete lifecycle of Semantic Web processes, which represent complex interactions between Semantic Web Services. One of the main initiatives in the Semantic Web is WSMO framework, aiming at describing the various aspects related to Semantic Web Services in order to enable the automation of Web Service discovery, composition, interoperation and invocation. In the paper the conceptual architecture for BPEL-based INFRAWEBS editor is proposed that is intended to construct a part of WSMO descriptions of the Semantic Web Services. The semantic description of Web Services has to cover Data, Functional, Execution and QoS semantics. The representation of Functional semantics can be achieved by adding the service functionality to the process description. The architecture relies on a functional (operational) semantics of the Business Process Execution Language for Web Services (BPEL4WS) and uses abstract state machine (ASM) paradigm. This allows describing the dynamic properties of the process descriptions in terms of partially ordered transition rules and transforming them to WSMO framework.

XML Editors Overview and the Challenge to Build XML-Oriented Editor for Mediaeval Manuscript Descriptions

* The research presented here is partially supported by the project KT-DigiCult-Bg (FP6) and by the ICT Agency in Bulgaria.

Upgradable Tree Levels Editor of Metaontologies, Ontologies and Knowledge for a Chemistry

* This paper has supported by Far Eastern Branch of the Russian Academy of Sciences, the project 06-III-A-01-005 and Russian Fund of Fundamental Investigation, the project 06-07-89071-a

Letter to the Editor. Remarks on Some Inequalities for Polynomials

MSC 2010: 30A10, 30C10, 30C80, 30D15, 41A17.

Cuba in Splinters: Eleven Stories from the New Cuba, Book Presentation by Editor Orlando Luis Pardo Lazo

This flyer promotes the event "Cuba in Splinters: Eleven Stories from the New Cuba, Book Presentation by Editor Orlando Luis Pardo Lazo" held at Books & Books in Coral Gables.

A Dispersed People: Social and Cultural Dimensions of the Cuban Diaspora, Book Presentation with Volume Editor Jorge Duany

This flyer promotes the event "A Dispersed People: Social and Cultural Dimensions of the Cuban Diaspora, Book Presentation with Volume Editor Jorge Duany, comments by Lillian Manzor" sponsored by the School of International and Public Affairs at Florida International University. This event was held at Books and Books in Coral Gables.

PhiloEditor 3.0 : un web editor per la ricerca filologica

All'interno della presente dissertazione vengono illustrate le scelte progettuali e l'implementazione dell'applicazione "PhiloEditor 3.0", un web editor per lo studio filologico delle variati d'autore.