- From: Bijan Parsia <bparsia@isr.umd.edu>
- Date: Sun, 28 Mar 2004 13:37:12 -0500
- To: Sebastian Brandt <sbrandt@I5.Informatik.RWTH-Aachen.de>
- Cc: OWL-S Mailing List <public-sws-ig@w3.org>
On Mar 26, 2004, at 10:32 AM, Sebastian Brandt wrote: > > Dear OWL-S developers, > reading the OWL-S document, I found a few places, where a wording > appearently did not reflect the semantics, as I had understood them > from the text. > > 5.1.1 Process > * Preconditions and Effects > [...] > The _output_ describes the actual event: that the amount of money in > the credit card account has been reduced. > [...] > In my opinion, this is just the difference between output and effect - > the output is some information like the invoice, yet the reduction > itself is the _effect_. Yes, looks like a typo. > > 5.4 Composite Process > Unordered > [...] > X = (Sequence a b) > Y = (Sequence c d) > Z = (Unordered _A_ _B_) > [...] > The example only makes sense, as far as I can see, if > Z = (Unordered X Y) Yep, nother typo. > I hope you can find out whether I misunderstood, or your draft is > incorrect in this matters. Nope. Good catches both. Cheers, Bijan Parsia.
Received on Sunday, 28 March 2004 13:37:32 UTC