Imperial College London


Faculty of EngineeringDyson School of Design Engineering




+44 (0)20 7594 9235p.kormushev Website




10-12 Prince's GardensSouth Kensington Campus






BibTex format

author = {Agre, G and Kormushev, P and Dilov, I},
pages = {228--228},
title = {INFRAWEBS Capability Editor - A graphical ontology-driven tool for creating capabilities of Semantic Web Services},
url = {},
year = {2005}

RIS format (EndNote, RefMan)

AB - The current INFRAWEBS European research project aims at developing ICT frameworkenabling software and service providers to generate and establish open and extensible development platforms forWeb Service applications. One of the concrete project objectives is developing a full-life-cycle software toolset forcreating and maintaining Semantic Web Services (SWSs) supporting specific applications based on Web ServiceModelling Ontology (WSMO) framework. SWSs are self-contained, self-describing, semantically marked-upsoftware resources that can be published, discovered, composed and executed across the Web in a task drivensemi-automatic way. A main part of WSMO-based SWS is service capability – a declarative description of Webservice functionality. A formal syntax and semantics for such a description is provided by Web Service ModelingLanguage (WSML), which is based on different logical formalisms, namely, Description Logics, First-Order Logicand Logic Programming. A WSML description of a Web service capability is represented as a set of complexlogical expressions (axioms). The paper describes a specialized user-friendly tool for constructing and editingWSMO-based SWS capabilities. Since the users of that tool are assumed to be SWS providers, which are not thespecialists in first-order logic, it is proposed a graphical way for constricting and editing the axioms abstractingaway as much as possible from a concrete syntax of logical language used for implementing them.Our analysis has shown that the main problems arising during axiom creating are associated with using of correctnames of concepts, attributes, relations and parameters as well as their types rather than with expressing logicaldependences between axiom parts. So the process of constructing logical expressions in the tool is ontologydriven,which means that in each step of this process the user may select only such elements of existingontologies that are consistent with already constructed part of the axiom.
AU - Agre,G
AU - Kormushev,P
AU - Dilov,I
EP - 228
PY - 2005///
SP - 228
TI - INFRAWEBS Capability Editor - A graphical ontology-driven tool for creating capabilities of Semantic Web Services
UR -
UR -
ER -