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
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
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
- 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
- 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
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
- section 3.9. should have typed variables
- Section 3.11 should become section 7
deliverable2 - continued.
- 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.