Re: OWL-S process preconditions

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