- From: Gerhard Wickler <Gerhard.Wickler@informatik.uni-stuttgart.de>
- Date: Wed, 23 Jun 2004 11:38:07 +0200
- To: Drew McDermott <drew.mcdermott@yale.edu>
- Cc: public-sws-ig@w3.org
Drew McDermott wrote: > >Starting with the issue of "formal semantics": If we allow several >different notations for preconditions and effects, then they will all >come with their own formal semantics, no? > Yes, hopefully they will. > Then there will be two >additional issues: How do the variable values get transmitted across >the language border, and what does it mean for a formula to be a >condition or effect of an action? > It's the second question I'm interested in. Is there ging to be a formal semantics specification for OWL-S like the document that describes the semantics of RDF/XML? - If not, then I guess the question is irrelevant. cheers, Gerhard
Received on Wednesday, 23 June 2004 05:37:36 UTC