Semantic Web Services (SWS) are Web Services (WS) whose description is semantically enhanced with markup languages. This semantic description will enable external agents and programs to discover, compose and invoke SWS.
However, as a previous step to the specification of SWS in any language, the semantic description must be designed at a conceptual level to guarantee its correctness and avoid inconsistencies among its internal components. We present a framework, ODESWS, for the design and (semi) automatic composition of SWS at a language-independent and knowledge level, by means of problem-solving methods. This framework is based on a stack of ontologies that (1) describe the different parts of a SWS; and (2) contain a set of axioms that are really design rules to be satisfied by the ontology instances. Based on these ontologies, the design and composition of SWS can be viewed as the correct instantiation of the ontologies themselves.
Once the service has been designed or composed in a language independent manner, it can be translated automatically to one of the SWS representational languages that coexist nowadays.
Rafael González-Cabero received a B. Sc. in Computer Engineering in 2003 from the Facultad de Informática, Universidad Politécnica de Madrid. Currently, he is a first year Ph. D student and a member of the Ontology Engineering Group from the Universidad Politécnica de Madrid. His research interests focus on the description, discovery and composition of Semantic Web Services and in the expressivity and reasoning capabilities of Semantic Web languages.