web service modeling ontology (wsmo)

Copyright © 2004 DERI®1

Web Service Modeling Ontology (WSMO)

Christoph Bussler and Dieter Fensel DERI International

16th of February 2004


Contents

Mission of DERI Mission of WSMO WSMO Working Group WSMO - Del 2 SDK-Cluster


Mission of DERI

“Developing Semantic Web Services as a new infrastructure for eWork and eCommerce.”


Mission of DERIDERI International € 33 Mio

DERI – Lion

DIP

ASG

Knowledge Web

SWWS

University

Institute Level

Centre Level

Project + ClusterLevel

DERI Galway € 23 Mio DERI Innsbruck € 10 MioKnowledge Web

DIP

SEKT

SWWS

ONTOWEB

Esperonto

h – Techsight

COG

Austrian projects

University

ASG


Mission of DERI

Co-ordinates

Co-ordinates

€ 64 Mio

SWWS ONTO WEB

€ 3 Mio € 3 Mio

DIP

Integrated Project

Leading IP on SWS

€ 18 Mio € 7.2 Mio

Knowledge

Web

Leading Network

of Excellence on SWS

DERI

€ 33 Mio


Mission of WSMO

Providing a standard for describing semantic web services.

Stands for the Web Service Modeling Ontology

WSMO is derived from WSMF


WSMO Working Group

Web site with public information: http://www.nextwebgeneration.org/proj

ects/wsmo/ Mailing list:

[email protected] Contact:

[email protected]


WSMO Working Group1 Website ongoing2 WSMO-Standard

WSMO-Standard x v0.1WSMO-Standard 31.03.2004 v0.2

3 Showcasing3.1 WSMO Primer3.2 Case Study eTourism 18.02.2004 First Draft

4 Relation to OWL-S 4.1 Conceptual 28.02.2004 First Draft 4.2 Formal 28.02.2004 First Draft 4.3 Mapping Tool 15.03.2004 First Draft

5 WSMO Reasoner 19.02.20046 Activity Sheet ongoing7 Mission Statement x8 Language Evaluation and Comparison 28.02.2004 First Draft9 Editor

10 Repository (Storage, Retrieval) 10.1 Navigation based Retrieval 10.2 Query based Retrieval

11 WSMO-Lite 28.02.2004 v0.112 WSMO-Full 31.03.2004 v0.1


WSMO Working Group

Chairs of the working group:Christoph Bussler and Dieter Fensel

Members of the working group:Sinuhé Arroyo, Michael Breu, Jos de Bruijn Emilia Cimpian, Ying Ding, Juan Miguel Gomez, Sung-Kook Han, Uwe Keller, Rubén Lara, Holger Lausen, Adrian Mocan, Matthew Moran, Axel Polleres,Dumitru Roman, Michael Stollberg, Laurentiu Vasiliu, Michal Zaremba


WSMO Working Group

Current working drafts:


WSMO Del 2


WSMO Del 2

This document presents an ontology called Web Service Modeling Ontology (WSMO) for describing various aspects related to Semantic Web Service.

Having the Web Service Modeling Framework (WSMF) as a starting point, it refines this framework and develops a formal ontology and a formal language.


WSMO Del 2

Two complementary principles: Maximal decoupling

complemented by scalable mediation service


WSMO Del 2


WSMO Del 2 - Ontologies

Non functional properties Used mediators

Imported ontologies allow a modular approach for ontology design. By importing other ontologies, one can make use of concepts and relations defined elsewhere. Nevertheless, when importing an arbitrary ontology, most likely some steps for aligning, merging and transforming imported ontologies have to be performed. For this reason and in line with the basic design principles underlying the WSMF, we use ontology mediators (ooMediators) for importing ontologies.

Concept definitions The set of concepts that belong to the represented ontology.

Relation definitions The set of relations that belong to the represented ontology.

Axioms The set of axioms that belong to the represented ontology.

Instances The set of instances that belong to the represented ontology.


WSMO Del 2 - Goals


By importing ontologies, a goal can make use of concepts and relations defined elsewhere. A goal can import ontologies using ontology mediators (ooMediators). A goal may be defined by reusing an already existing goal or by combining existing goals. This is achieved by using goal mediators (ggMediators).

Post-conditions Post-conditions in WSMO describe what a web service

returns in response to its input. They define the relation between the inputs and the outputs.

Effects Effects describe the state of the world after the execution of

the service.


WSMO Del 2 - Mediators

We distinguish between four different mediators: ggMediators: mediators that link two goals. ooMediators: mediators that import ontologies and resolve

possible representation mismatches among all imported ontologies.

wgMediators: mediators that link web service to goals, i.e. they explicitly state the difference (reduction) between the two components and map different vocabularies.

wwMediators: mediators linking two Web Services.



Non functional properties Source component

The source component defines one of the two logically connected entities.

Target component The target component defines one of the two logically connected entities.

Mediation Service The mediation service points to a goal that declarative describes the mapping or to a wwMediator that links to a web service that actually implements the mapping.

Reduction A reduction only exists in a wwMediator or a ggMediator. It describes in a logical formula the differences between the functionality described in the goal and the one of the web service (if any) or another goal.


WSMO Del 2 – Web Service

Capability A capability defines the web service by means of its

functionality . Interfaces

An interface extends the description of the capability to a higher level of complexity.

Groundings A grounding specifies how to access the service. It

has mainly to do with protocol and message formats, serialization, transport and addressing. The grounding is a mapping from the abstract specification to a concrete specification of the elements that describe a service, which are required for interacting with the service.


WSMO Del 2 – Capability


By importing ontologies, a capability can make use of concepts and relations defined elsewhere. A capability can import ontologies using ontology mediators (ooMediators). A capability can be linked to a goal using a wgMediator.

Pre-conditions Pre-conditions in WSMO describe what a web service expects for enabling it to provide its service. They define conditions over the input.

Post-conditions Post-conditions in WSMO describe what a web service returns in response to its input. They define the relation between the input and the output.

Assumptions Assumptions are similar to pre-conditions, however, also reference aspects of the state of the world beyond the actual input.

Effects Effects describe the state of the world after the execution of the service.


WSMO Del 2 – Interfaces

Non functional parameters Errors Choreography defines the sequence and conditions under which multiple

cooperating proxies exchange information in order to achieve some useful function.

A proxy is defined as being either a goal or a wwMediator. Proxies are used when a web service invokes other web services in order to provide its service. Each time a web service needs to be invoked, a proxy needs to be declared (by either declaring a goal or linking it to a wwMediator). This way both dynamic (on the fly) composition (by declaring proxies consisting of goals descriptions) and static composition (by linking proxies to wwMediators) are supported.

In addition, choreography describes an access to the intermediate states of the service. Very related to choreography are data and control flow – both implementing the external accessible part of the business logic of the web service.

Compensation When an invoked service fails (i.e. an error code is returned), the service that

invoked it may implement a strategy for compensation. The compensation in fact represents either a wwMediator or a goal.

Message exchange A message exchange pattern describes the temporal and causal relationships, if

any, of multiple messages exchanged.


WSMO Del 2 – Language

F-Logic combines the advantages of conceptual high-level approaches typical for frame-based language and the expressiveness, the compact syntax, and the well defined semantics from logics.

it provides a standard model theory

it is a full first order logic language

it provides second order syntax while staying in the first order logic semantics

it has a minimal model semantics

implemented inference engines are already available.


SDK-CLuster - Mission

Strengthening European Research and Industry in Semantic Web and Semantic Web Services

Working towards international standardization together with US-based DAML

Promoting project‘s research results to industry and academia through joint dissemination

Strengthening world-wide research and standardization in Semantic Web and Semantic Web Services field


SDK-CLuster - Projects

SEKT (Semantically-Enabled Knowledge Technologies)http://sekt.semanticweb.org/

DIP (Data, Information and Process with Semantic Web Services)http://www.nextwebgeneration.org/projects/dip/

Knowledge Webhttp://knowledgeweb.semanticweb.org/

Aligned with SWWS and DERI


SDK-CLuster - WSMO

We will set up a SDK-cluster working group on WSMO in March 2004.

Chairs will be Christoph Bussler and Dieter Fensel

It will be open to all members of SEKT, DIP, Knowledge Web, SWWS, and DERI.

We are also open to experts in the field from outside of these projects.

After having achieved significant results we may further cooperate with initiatives such as SWSI, W3C, and OASIS.

web service modeling ontology (wsmo)

Documents