WSMO minutes, 2004-02-26

Participants

Dieter Fensel, David Aiken, Jos de Bruijn, Liliana Cabral, Emilia Cimpian, Ying Ding, John Dominque, Juan Miguel Gomez, Sung-Kook Han, Uwe Keller, Rubén Lara, Adrian Mocan, Matthew Moran, Eyal Oren, Axel Polleres,  Michael Stollberg, Laurentiu Vasiliu, Gerold Wirnitzer, Michal Zaremba

Next meeting

• next meeting: 2004-03-04
     1pm – 5pm  (Galway time), 2pm – 6pm  (Innsbruck time)
• we'll discuss:  v0.2 D2, v0.1 D3.1, v0.1 D3.2, v0.01 D4.1, v0.1 D5.1, v0.1 D11, explanation on D13

Organizational issues

• update of activity sheet by Galway
• website wsmo.org is online
• ignore problem that Internet Explorer doesn't display XHTML correctly
• native speaking proof reading: found somebody, costs a lot of money. Brian checks a second option.
• Eyal will fix display problem with strange characters in meeting notes using Internet Explorer (character encoding) [Eyal: I looked into this, it's again an Internet Explorer error, the page displays fine in Amaya or Mozilla, and validates]
• SDK presentations:

• • WSMO: Dieter
  • WSMO-Full: Chris Price
  • WSMO-Lite: Chris Bussler
  • Primer: Sinuhé
  • Use Case: Michael S.
  • OWL-S comparison: Ruben
  • Reasoner: Uwe
  • Language comparison: Jos
  • Editor: Holger
  • Implementation: Michal
• Agenda for a meeting should be available on the web site as well.  

Technical issues

• Chat server is not working completely fine: Gerold will make a test to ensure working setup next week
• Website management: Dieter will discuss Gerold, we'll discuss next week

Deliverables reports:

(activity sheet editor/authors updates by Jos)

• D3: working on it
• D4.1: sent first draft

• D5: will discuss deliverable during next meeting, Uwe started collecting FOL reasoners. Deliverable will be split in two parts

  • 5.1: theoretical part: proof obligations
  • 5.2: practical part: build for each reasoning task a reasoner
  • 2004/03/07 first deadline showing simple example, no full reasoner
• D8: will not make deadline, moved to 2004/03/07
• D9: no contact with OntoEdit yet
• D11: on schedule
• D12: haven't done any real work yet
• include D13 in activity sheet, discuss D13 next conference

Deliverables content

D4.1:

• Section 2: not DERI effort but SDK cluster effort
• S4.1: OWL mixes implemantion (should be in grounding) and business (which is for us in WSMO-Full: we make this clear distinction
• S4.1: WSMO is extensible, just not stated directly (anything can be extended in WSMO)

• S4.2:

  • functionality description: maybe footnote: information space is also part of the world
  • profile consistency: put in next section that it's a advantage that WSMO doesn't make assumption on this regard.
  • composite processes: WSMO does not yet do this, but will describe state/state transition using 'abstract state machines'-like notation; quote (Fensel, comparing languages for specifying state/state transitions)

• S5.5:

  • non-functional properties: WSMO more flexible
  • capability: copy/paste error
  • interfaces: mention they have conditional output to model errors
• references: quote old comparison WSMF – DAML-S (in introduction)
• acknowledgement: cooperate program (all editors fix this)

D12:

• Put mention to Web Services Management Framework in WSMO-Full (that it could be used on top of WSMO)

Given presentations

• Web Services Management Framework: Eyal.
• Web Service Glossary: Holger
• UDDI Semantics Review: Matthew
• SWSL Language Requirements: Emilia
• Web Service Architecture Requirement: Eyal
• Web Service Architecture Usage Scenarios: Michal

Scheduled presentations

2004-03-11:

• KADS: Ruben
• WSRF: Jos
• OntoMerge: Laurentiu(put these presentations on website, send link)

Undefined date:

• Local-closed World assumption: Jos & Axel