INFRAWEBS Capability Editor - A graphical ontology-driven tool for creating capabilities of Semantic Web Services

File Description SizeFormat 
Agre_iTECH-2005.pdfAccepted version194.4 kBAdobe PDFView/Open
Title: INFRAWEBS Capability Editor - A graphical ontology-driven tool for creating capabilities of Semantic Web Services
Authors: Agre, G
Kormushev, P
Dilov, I
Item Type: Conference Paper
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. SWSs are self-contained, self-describing, semantically marked-up software resources that can be published, discovered, composed and executed across the Web in a task driven semi-automatic way. 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). The paper describes a specialized user-friendly tool for constructing and editing WSMO-based SWS capabilities. Since the users of that tool are assumed to be SWS providers, which are not the specialists in first-order logic, it is proposed a graphical way for constricting and editing the axioms abstracting away 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 correct names of concepts, attributes, relations and parameters as well as their types rather than with expressing logical dependences 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 existing ontologies that are consistent with already constructed part of the axiom. From this point of view the created axiom is always semantically consistent with ontologies used for it construction. 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.
Issue Date: 27-Jun-2005
Date of Acceptance: 27-Jun-2005
URI: http://hdl.handle.net/10044/1/26092
Start Page: 228
End Page: 228
Journal / Book Title: Third International Conference on Information Research, Applications and Education i.TECH-2005
Copyright Statement: © 2005 The Author
Conference Name: Third International Conference Information Research, Applications and Education
Publication Status: Published
Start Date: 2005-06-27
Finish Date: 2005-06-30
Conference Place: Varna
Appears in Collections:Dyson School of Design Engineering



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commonsx