WSMO Telephone Conference Notes - 21 July 2004

=========================================

Dieter Fensel, David Aiken (DERI Galway), Michael Felderer (DERI Innsbruck), Douglas Foxvog (DERI Galway), Armin Haller (DERI Galway), Uwe Keller (DERI Innsbruck) , Edward Kilgarriff (DERI Galway), Rubén Lara (DERI Innsbruck), Adrian Mocan (DERI Galway), Matthew Moran (DERI Galway), Eyal Oren (DERI Galway), Livia Predoiu (DERI Innsbruck), Dumitru Roman (DERI Innsbruck), Laurentiu Vasiliu (DERI Galway), Jos de Bruijn (DERI Innsbruck), Michael Kifer, New York State University, Juan Miguel Gomez (DERI Galway), Titi Roman (DERI Innsbruck)

Deliverable 3.2  WSMO Use Case Modelling & Testing

New deadline 9 august

Delibverable5.1  Inference Support for SW Services

new deadline - 2 august

Deliverable 12 WSMO - Full

New deadline - 2 august

Delibverable 14 – Choreography in WSMO

new deadline - august 30

Deliverable 2 - WSMO Standard

• Abstract
  remove reference to fensel & bussler in abstract. abstract before toc

• Section 6.1 
  introduce sect 7, syntax of logical lang used in wsmo, sem and tractical details of this are defined in WSML working groups. add ref to wsmo, wsml and wsmx pages as further reference locations

• Section 2:

• how to distinguish literals from URIs syntactically?
  literal in quote, uri in angle brackets, qnames ok. remove relative URIs
  jos, eyal and mike to consider alternative proposals and report back (when ??)

• reference is missing for qualified names and references need to be checked for correctness
  
  o'sullivan paper should be quoted explictly in the non functional propertties particularly for the financial and ... other properties
  
  Titi: Will look for ontology for QOS available and suggest to wsmo for discussion

• section 2.1:
  Why are namespaces used here? Just syntax.
  
  Listing 7 needs to be repeated in the definition of the function or at least a sentence that says parameter defintion as in Listing 7
  
  Michael Kifer: What does "function symbol is a special relation mean" in WSMO and where are special relations used in WSMO?
  
  Functions section should be removed for now - pending; tbd next week based on Holger and Michael Kifer looking in use-case for where functions used.

• section 3
  listing 3: why global variables

• section 3.5
  listing 4 defintiion of concept needs review
  listing 5; attribute should have range concept + rewrite of explanation of range
  Language looks like the language of WSML but is not. Note to describe these words. MOTH planned to be used as the language
  listing 5: attribute defintion have type should attribute

• section 3.8.
  should have access to an instance store and define this a little bit better

• section 3.9. should have typed variables

• Section 3.11 should become section 7

deliverable2 - continued.

textual remarks

• Section 5: jos writes note on loose coupling of mediators michael k., doug make proposal for syntacticly distinguishing functions (function symbols) from predicates jos,michael k., eyal make proposal for syntacticly distinguishing URI's new deadline 2004/08/02.

presentations:

none given

closed.