W3C home > Mailing lists > Public > public-sws-ig@w3.org > January 2005

Re: Doubts about the variables in the process model of OWL-S 1.1

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Thu, 6 Jan 2005 20:45:50 -0500
Message-ID: <16861.59854.561702.632572@DVM-Powerbook.local>
To: public-sws-ig@w3.org

> [Tatiana Vieira]
> Local is a variable used just for AtomicProcesses and that is scoped
> to the whole process definition. But does it include the
> precondition? If it does, it can also be used in the result,
> correct? But only if it's used in precondition, because if it's not,
> we can not reference it in the result. ????

I don't quite understand the question, but maybe the answer is: Yes,
local variables can appear in both preconditions and results.

> Talking again about parameters, what is the purpose of hasParameter?
> Congo process and BravoAir process don't have this type of property
> and I didn't understand it. Aren't hasInput and hasOutput enough for
> a process description?

hasParameter is just a superproperty of those other properties.
There's no reason to use it directly (cf. an abstract class in Java).


                                         -- Drew McDermott
                                            Yale University
                                            Computer Science Department
Received on Friday, 7 January 2005 01:45:23 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:54:14 UTC