Meeting Notes for the WSML phone conference on 1 Dec 2004
Chair: Axel
Notes taken by Jacek

Participants: Cristina, Uwe, Jacek, Reto, Ruben, Francisco, Axel, Titi,
James


Activity sheet:

- 4.2 will not be discussed, Ruben sent delay notification
4.2 delayed until this friday
Jos is on holidays and not updating activity sheet, Holger in Spain
Reto: 4.2 links not working

- 5.2 - had an update, will be discussed

- 16.1 - there was an update, to be discussed


Deliverable 5.2:

Ruben summarizes the change log.
Ruben will welcome pointers to keyword matching tools

Ruben: is there anybody who has tried out some DL reasoners?
Axel: could ask the guys in Vienna

Next version deadline: 24.12. (Christmas)


Deliverable 16.1:

Axel: semantics not updated

Reto summarizes the change log.

Problem with URIs not solved:
Reto: it started by change from <<...>> to <"..."> for URIs
Reto: it works with single <...> for URIs
Reto: two discussions: how to delimit full URIs and what is a URI's role
in WSML

Reto: URIs changed to IRIs
Jacek: we should not rush to adopt IRIs - they are not a standard yet
Jacek: also, every IRI can be turned into a URI
Jacek will check whether URIs are a syntactical subset of IRIs

Reto: f(a)(b) not allowed now, restricted because of grammar ambiguity
issues

Ruben: WSML validator was updated?
Reto: one version is running with official grammar
Reto: new validator with the newest changes
Ruben: old grammar validator is for WSMO 1.0?
Reto: yes

Axel: new deadline?
Tentative deadline: semantics to be added by 24.12.
To be discussed with Jos and Holger, the official authors