Imperial College London

DrPetarKormushev

Faculty of EngineeringDyson School of Design Engineering

Lecturer
 
 
 
//

Contact

 

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

 
 
//

Location

 

10-12 Prince's GardensSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@phdthesis{Kormushev:2005,
author = {Kormushev, P},
title = {Design, development and implementation of a tool for construction of declarative functional descriptions of semantic web services based on WSMO methodology},
url = {http://arxiv.org/abs/0904.0300v1},
year = {2005}
}

RIS format (EndNote, RefMan)

TY  - THES
AB - Semantic web services (SWS) are self-contained, self-describing, semanticallymarked-up software resources that can be published, discovered, composed andexecuted across the Web in a semi-automatic way. They are a key component ofthe future Semantic Web, in which networked computer programs become providersand users of information at the same time. This work focuses on developing afull-life-cycle software toolset for creating and maintaining Semantic WebServices (SWSs) based on the Web Service Modelling Ontology (WSMO) framework. Amain part of WSMO-based SWS is service capability - a declarative descriptionof Web service functionality. A formal syntax and semantics for such adescription is provided by Web Service Modeling Language (WSML), which is basedon different logical formalisms, namely, Description Logics, First-Order Logicand Logic Programming. A WSML description of a Web service capability isrepresented as a set of complex logical expressions (axioms). We develop aspecialized user-friendly tool for constructing and editing WSMO-based SWScapabilities. Since the users of this tool are not specialists in first-orderlogic, a graphical way for constricting and editing axioms is proposed. Thedesigned process for constructing logical expressions is ontology-driven, whichabstracts away as much as possible from any concrete syntax of logicallanguage. We propose several mechanisms to guarantees the semantic consistencyof the produced logical expressions. The tool is implemented in Java usingEclipse for IDE and GEF (Graphical Editing Framework) for visualization.
AU - Kormushev,P
PY - 2005///
TI - Design, development and implementation of a tool for construction of declarative functional descriptions of semantic web services based on WSMO methodology
UR - http://arxiv.org/abs/0904.0300v1
UR - http://hdl.handle.net/10044/1/26079
ER -