1st F2F meeting SDK cluster working group on Semantic Web Services Wiesbaden, Germany, 2004-03-15 Jos de Bruijn

Digital Enterprise Research Institute Innsbruck [email protected]

Agenda

• Participants • Motivation • Evaluation Framework • Languages to be evaluated • Towards a formal foundation for WSMO and WSML 2004-03-15 Jos de Bruijn 2

Participants

Editors Uwe Keller Jos de Bruijn Co-Authors

2004-03-15

Ying Ding Axel Polleres Rubén Lara Juan M. Gomez

Jos de Bruijn 3

Motivation

• Languages for the Semantic Web need formal Semantics!

• In WSMO and WSML we specify static knowledge: – WSMO itself – Ontologies – Knowledge transferred between Web Services • We specify dynamic knowledge: – Web Services change the state of both the information space and the state of the world – We need to reason over these state transitions, for example: • Proving a composition of web services matches a capability • Proving a Web Service choreography matches the Web Service Capability – Dynamics in Choreography and Orchestration • Different existing efforts for formally specifying static and dynamic knowledge 2004-03-15 Jos de Bruijn 4

Evaluation Framework

• • • Syntax – usability – web syntax – states / state-transitions Semantics – model-theoretic / minimal model semantics – states / state transitions Operationalization – Proof system – (average and worst-case) Complexity and Decidability – Existing implementations?

• • Representing Statics Representing Dynamics • Can the language be easily extended or combined?

2004-03-15 Jos de Bruijn 5

Languages to Compare

• Static Languages: – F-Logic – OWL (+SWRL) – TRIPLE • Dynamic Languages: – Transaction Logic – Dynamic Logic – Temporal Logic – Modal Change Logic – Abstract State Machines • Current interaction and protocol standards: – BPEL4WS – BPML/WSCI – WSCL – RosettaNet 2004-03-15 Jos de Bruijn 6

Towards a formal foundation for WSMO and WSML

• D16.6: WSML-Full (Full FOL) • D16.7: WSML-DL (Description Logic fragment of WSML-Full) • D16.8: WSML-HL (Horn fragment of WSML Full) • How to incorporate dynamic languages?

2004-03-15 Jos de Bruijn 7

Questions?