joint WSMO/WSML phone conference 25.08.2004 D2: - From Jos' mail (http://informatik.uibk.ac.at:2081/mailman/private/deri-wsmo/2004-August/000841.html) (1) Composition of molecules syntax. We allow a) and b). b) normal form and a) allowed for backwards compatibility. (2) "implies, impliedBy, equivalent" will be used (3) agreed (4) function symbols don't have named parameters (5) 2.2, beginning of the section. The English language is ambigous. Revise. (6) Syntax has to be defined, but we don't need to enumarate what we allow (Holger will fix it) (7) Already agreed (8) Keep as it is (9) Keep it open - Other minor corrections were pointed out. The editors will incorporate them to the document. - Reductions will be taken out at the moment. - Note on the syntax of the language will be added. - Next version on Monday, to be submitted for discussion. D3.1: Updated version on September 13th D3.2: It will be postponed until discovery and WSML syntax are fixed D17: - Updated version will be available on August 27th - Update on the authors and editors: - Editors: Chris, Sinu - Authors: M. Stollberg, Michal, Matt, Jos, John Domingue D19.1: WSMO in DIP. Current version will be made final after proofreading. White in the activity sheet (done for the moment) WSML phone conference on discovery: Thursday August 28th. Axel will organize it. Next WSMO phone conference: Friday September 3rd, 11:00 Galway time, 12:00 Innsbruck time (2 hours) Next WSML phone conference: Friday September 3rd, 13:00 Galway time, 14:00 Innsbruck time (this time might be subject to change)