WSMO 1st F2F meeting SDK cluster working group on Semantic Web Services Wiesbaden, Germany, Christoph Bussler and Dieter Fensel Digital Enterprise Research Institute

Bussler & Fensel2 Agenda of today 09: :00 Welcome 10: :00 WSMO Standard (Dieter Fensel) 11: :30 Break 11: :00 WSMO Lite (Christoph Bussler) 12: :30 WSMO Full (Chris Preis) 12: :00 Lunch 14: :15 Primer (Sinuhe Arroyo) 14: :30 Use Case (Michael Stollberg) 14: :45 Relationship with OWL-S (Ruben Lara) 14: :00 WSMO reasoners (Uwe Keller) 15: :15 Language Evaluation and Comparison (Jos de Bruijn) 15: :30 WSMO editors (Holger Lausen) 15: :45 Reference Implementation (Matt Moran) 15: :15 Break 16: :15 Open discussion 17: :00 Management and next steps

Bussler & Fensel3 Contents Mission of WSMO SDK-Cluster WSMO Working Group WSMO - Deliverable 2v02

Bussler & Fensel4 Mission of WSMO Providing a standard for describing semantic web services. Stands for the Web Service Modeling Ontology WSMO is derived from WSMF

Bussler & Fensel5 SDK-Cluster

Bussler & Fensel6 SDK-Cluster Mission: Strengthening European Research and Industry in Semantic Web and Semantic Web Services Working towards international standardization together with US-based DAML program Promoting research results to industry and academia through joint dissemination Strengthening world-wide research and standardization in Semantic Web and Semantic Web Services field

Bussler & Fensel7 SDK-Cluster SEKT (Semantically-Enabled Knowledge Technologies) DIP (Data, Information and Process with Semantic Web Services) Knowledge Web Aligned with SWWS and DERI

Bussler & Fensel8 SDK-Cluster SDK aligns four IST projects with similar vision: Making Semantic Web and Semantic Web Service technology a reality! SDK aligns four IST project with a total budget of 40 Million Euros! SDK is backed-up by DERI!

Bussler & Fensel9 SDK-Cluster Mission of DERI “Developing Semantic Web Services as a new infrastructure for eWork and eCommerce.” Being the world-leading institute in the Semantic Web Service area.

Bussler & Fensel10 SDK-Cluster DERI International € 33 Mio DERI – Líon DIP ASG Knowledge Web SWWS University Institute Level Centre Level Project + Cluster Level DERI Galway € 23 MioDERI Innsbruck € 10 Mio Knowledge Web DIP SEKT SWWS ONTOWEB Esperonto SWF University ASG Infraweb

Bussler & Fensel11 WSMO Working Group We have set up a SDK-cluster working group on Semantic Web Services called WSMO Working Group Chairs are Christoph Bussler and Dieter Fensel It is 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

Bussler & Fensel12 WSMO Working Group Web site at Mailing list for group members: Mailing list for interested friends: Contact: Activity sheet: Around 30 deliverables with defined editors and deadlineshttp:// Members: 38 members at March 11, 2004, 7pm Galway timehttp:// Presentations: Currently more than 20 presentations on related aspectshttp:// Current working drafts:

Bussler & Fensel13 WSMO Working Group

Bussler & Fensel14 WSMO Deliverable 2v02

Bussler & Fensel15 This document presents an ontology called Web Service Modeling Ontology (WSMO-Standard) 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 an ontology and a formal language (WSML). Two complementary principles: –Maximal decoupling complemented by –scalable mediation service WSMO Deliverable 2v02

Bussler & Fensel16 WSMO Deliverable 2v02

Bussler & Fensel17 WSMO Del 2v02 - Ontologies Non functional properties Used mediators –Building an ontology for some particular problem domain can be a rather cumbersome and complex task. One standard way to deal with the complexity is modularization. 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 for importing ontologies. Axioms The set of axioms that belong to the represented ontology. Concepts The set of concepts that belong to the represented ontology. Relations The set of relations that belong to the represented ontology. Instances The set of instances that belong to the represented ontology.

Bussler & Fensel18 WSMO Del 2v02 - Goals Non functional properties Used mediators –A goal can import ontologies using ontology mediators. –A goal may be defined by reusing an already existing goal. This is achieved by using goal mediators. Post-conditions –Post-conditions in WSMO describe the state of the information space that is desired. Effects –Effects describe the state of the world that is desired.

Bussler & Fensel19 WSMO Del 2v02 - Mediators WSMF strictly enforces safe sex between components. They are never allowed to touch each other without a mediator in-between.

Bussler & Fensel20 WSMO Del 2v02 - Mediators 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 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.

Bussler & Fensel21 WSMO Del 2v02 – Web Service Non functional properties Used mediators By importing ontologies, a web service can make use of concepts and relations defined elsewhere. Capability Interfaces

Bussler & Fensel22 WSMO Del 2v02 – Capability Non functional properties Used mediators 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 Assumptions Assumptions are similar to pre-conditions, however, also reference aspects of the state of the world beyond the actual input. Effects

Bussler & Fensel23 WSMO Del 2v02 – Interfaces Non functional properties Used mediators Choreography A choreography provides the necessary information for the user to communicate with the web service. The choreography in WSMO is further defined in Deliverable 14: Choreography in WSMO. Orchestration An orchestration describes a service makes use of other web service or goals in order to achieve it's capability. The orchestration in WSMO is further defined in Deliverable 15: Orchestration in WSMO.

Bussler & Fensel24 WSMO Del 2v02 – Interfaces An interface describes how the functionality of the service can be achieved (i.e. how the capability of a service can be fulfilled) by providing a twofold view on the operationalization of the competence of the service: –The choreography defines how to communicate with the web service in order to consume its functionality. –The orchestration defines how the overall functionality is achieved by the cooperation of more elementary service providers. With this distinction we provide different decompositions of process/capabilities to the top (service requester) and to the bottom (other service providers). This distinction reflects the difference between communication and cooperation.

Bussler & Fensel25 WSMO Del 2v02 – Interfaces

Bussler & Fensel26 WSMO Del 2v02 – 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.