1. WSMO - new structure, main intermediate deliverables - 2nd F2F meeting SDK cluster working group on Semantic Web Services Lausanne, Switzerland, 14-06-2004 Dumitru Roman Digital Enterprise Research Institute dumitru.roman@deri.at

2. Dumitru Roman dumitru.roman@deri.at 2 Agenda of today 11:00 - 11:30 Major recent achievements (main intermediate deliverables, new structure): Dumitru Roman 11:30 - 12:00 Use case: Michael Stollberg 12:00 - 13:30 Lunch 13:30 - 14:30 Use case: Holger Lausen 14:30 - 15:00 Service Discovery Using Transaction Logic Reasoning: Michael Kifer 15:00 - 15:30 Break 15:30 - 17:30 Language panel: Dieter Fensel (chair), Guus Schreiber, Ian Horrocks, Michael Kifer 17:30 - 18:00 Break 18:00 - 18:30 The potential of WSMO for SEKT: Jos de Brujin 18:30 - 19:00 The potential of WSMO for DIP: Christoph Bussler 19:00 - 19:30 The potential of WSMO for Knowledge Web: Ruben Lara

3. Dumitru Roman dumitru.roman@deri.at 3 Outline The new structure and main deliverables: –WSMO Working Group –WSML Working Group –WSMX Working Group Future intentions

4. Dumitru Roman dumitru.roman@deri.at 4 Working Groups – general overview WSMO WG WSMX WGWSML WG A Conceptual Model for SWS A Formal Language for WSMO A Rule-based Language for SW An Execution Environment for WSMO

5. Dumitru Roman dumitru.roman@deri.at 5 WSMO WG Web site at http://www.wsmo.org/http://www.wsmo.org/ Chairs: Christoph Bussler and Dieter Fensel. Mailing list for group members: deri-wsmo@informatik.uibk.ac.at Mailing list for technical discussions: deri-wsmo-discussion@informatik.uibk.ac.at deri-wsmo-discussion@informatik.uibk.ac.at Contact: dumitru.roman@deri.ie Activity sheet: http://www.wsmo.org/2004/d6/d6.1/v1/ Around 14 deliverables with defined editors and deadlines.http://www.wsmo.org/2004/d6/d6.1/v1/ Members: http://www.wsmo.org/people.html Currently 58 members.http://www.wsmo.org/people.html Presentations: http://www.wsmo.org/presentations.html Currently more than 45 presentations on related aspects.http://www.wsmo.org/presentations.html Current working drafts: http://www.wsmo.org/2004/http://www.wsmo.org/2004/

6. Dumitru Roman dumitru.roman@deri.at 6 WSMO – main deliverables Conceptual model for Semantic Web Services –WSMO Standard (D2) –WSMO Lite (D11) –WSMO Full (D12) Choreography (D14) and Orchestration (D15) –Not yet clearly defined. –Intention: use ASMs. Showcasing: WSMO Primer (D3.1) and Case Studies (D3.2) Conceptual Comparison WSMO/OWL-S (D4.1) WSMO Tutorial (D17) WSMO in DIP(D19.1), KW(D19.2) and SEKT(D19.3)

7. Dumitru Roman dumitru.roman@deri.at 7 WSML WG Web site at http://www.wsmo.org/wsmlhttp://www.wsmo.org/wsml Chair: Dieter Fensel. Mailing list for group members: deri-wsml@informatik.uibk.ac.at Mailing list for technical discussions: deri-wsmo-discussion@informatik.uibk.ac.at deri-wsmo-discussion@informatik.uibk.ac.at Contact: dumitru.roman@deri.ie Activity sheet: http://www.wsmo.org/2004/d6/d6.2/v1/ Around 18 deliverables with defined editors and deadlines.http://www.wsmo.org/2004/d6/d6.2/v1/ Members: http://www.wsmo.org/people.html Currently 16 members.http://www.wsmo.org/people.html Presentations: http://www.wsmo.org/presentations.html Currently 13 presentations on related aspectshttp://www.wsmo.org/presentations.html Current working drafts: http://www.wsmo.org/2004/http://www.wsmo.org/2004/

8. Dumitru Roman dumitru.roman@deri.at 8 WSML – main deliverables WSML language –WSML User language (D16.1) –WSML/XML (An XML Syntax for WSML) (D16.3) F-logic/XML (An XML Syntax for F-logic) (D16.2) –WSML OWL Syntax (D16.5) – not yet defined Inferencing with WSML –Inferencing support for SWS: Proof Obligations (D5.1) –Inferencing Support for Semantic Web Services: Tools for Semantic Support (D5.2) Language Evaluation and Comparison (D8) Mapping to OWL-S (D4.3) – not yet defined. Ontology Language API (D18) OWL-Lite¯ (D20)

9. Dumitru Roman dumitru.roman@deri.at 9 WSMX WG Web site at http://www.wsmx.org/http://www.wsmx.org/ Chair: Christoph Bussler. Mailing list for group members: deri-wsmx@informatik.uibk.ac.at Mailing list for technical discussions: deri-wsmo-discussion@informatik.uibk.ac.at deri-wsmo-discussion@informatik.uibk.ac.at Contact: michal.zaremba@deri.ie Activity sheet: http://www.wsmo.org/2004/d6/d6.3/v1/ Around 12 deliverables with defined editors and deadlines.http://www.wsmo.org/2004/d6/d6.3/v1/ Members: http://www.wsmo.org/people.html Currently 33 members.http://www.wsmo.org/people.html Current working drafts: http://www.wsmo.org/2004/http://www.wsmo.org/2004/

10. Dumitru Roman dumitru.roman@deri.at 10 WSMX – main deliverables WSMO Editor (D9) WSMO Registry (D10) Overview and Scope of WSMX (D13.0) –WSMX Conceptual Model (D13.1) –WSMX Execution Semantics (D13.2) –WSMX Mediation (D13.3) –WSMX Architecture (D13.4) –WSMX Implementation (D13.5) – first version expected end of June, 2004.

11. Dumitru Roman dumitru.roman@deri.at 11 Future Intentions Main effort of DERI in the area of Semantic Web Services for the following years. Align the work in DIP, KW and SEKT with WSMO, WSML and WSMX. Organize a workshop on WSMO tools: –Intended location: Frankfurt. –Intended date: end of September, 2004. –Open to all people involved in WSMO tools.