See also: IRC log
<JacekK> http://www.w3.org/2002/ws/sawsdl/minutes/20070605
JacekK: any changes needed?
No objections, Minutes Approved
AI EricP open, all other AIs done
<JacekK> ACTION: Eric to upgrade the SPDL page for SAWSDL readers and then work things out with the Usage Guide [PENDING] [recorded in http://www.w3.org/2002/ws/sawsdl/minutes/20070612#action01]
<JacekK> ACTION: JoelF to test substituting the WSDL 1.1 schema in Eclipse to avoid validation errors [DONE] [recorded in http://www.w3.org/2002/ws/sawsdl/minutes/20070612#action02]
<JacekK> ACTION: JacekK to follow up with Richard and Pierre on their WSDL 1.1 problems [DONE] [recorded in http://www.w3.org/2002/ws/sawsdl/minutes/20070612#action03]
2 presentations
-> http://lists.w3.org/Archives/Public/public-ws-semann/2007Jun/0008.html
the one about OWL-S in Z notation is not directly relevant for us, but may end up in suggestions for further work
John: why do they need formal semantics in Z while OWL-S already has formal semantics
JacekK: for verification that their model is not broken
... it helps discovering inconsistencies (it was done for WSDL)
... and for discovering the common subset of OWL-S and WSMO if they formalize both in Z
Rama and Joel confirmed the problem
JacekK: we may want to put the attr extension before input and outputs
Rama and Joel both confirm this works and fixes validation
-> http://lists.w3.org/Archives/Public/public-ws-semann/2007Jun/0009.html
JacekK: let's wait for Pierre&Richard answer
... to http://lists.w3.org/Archives/Public/public-ws-semann/2007Jun/0010.html
... it seems that we'll need to fix the order in the spec
... if the code generation tools don't work with that, we may tell people not to use schema validation
Joel: I just tested code generation and it works
JacekK: John, any news about Lumina ?
John: next week (?)
JacekK: I've added items 6 (external annotations) and 7 (actual language recommendations for lifting/lowering schema mapping)
... anybody would like to try more concrete formulation of this?
John: I think it's an excellent thing to pursue
JacekK: I will keep it on the list with nobody assigned
... XML tools (XQuery/XPath) are not really practical with RDF/XML
John: SparQL is a nice thing for extracting from ontologies
JacekK: SparQL returns a flat structure
... you get things repeated in resulting rows
... a SparQL extension would be nice
ADJOURNED