Thanks! Your reply cleans off my worry.
BTW, The changing from a processes-as-classes to a processes-as-instances approach sounds good. When would the upcoming release 1.0 be published?
Yuzhong Qu
----- Original Message -----
From: "David Martin" <martin@ai.sri.com>
To: "Yuzhong Qu" <yzqu@seu.edu.cn>
Cc: <www-ws@w3.org>
Sent: Monday, September 22, 2003 2:56 PM
Subject: Re: PowerSet in DAML-S 0.9
>
> Yuzhong -
>
> Thanks for your comments.
>
> You are right that the range of refersTo and has_process are currently
> incorrect. Indeed, the range of has_process was recently corrected, and
> I have just now corrected the range of refersTo.
>
> Your suggested renamings are certainly reasonable. However, please note
> that in the upcoming release 1.0, these power set classes will no longer
> be needed, because of the change from a processes-as-classes to a
> processes-as-instances approach (which has been discussed in some fairly
> recent messages on this list).
>
> Regarding the "participant" property, its intended use is simply to give
> an explicit indication of which participants execute the various parts
> of a process model.
>
> Regards,
> David Martin
>
> Yuzhong Qu wrote:
>
> > Dear all,
> >
> > The PowerSet in DAML-S 0.9 (See the OWL version) is confusion (The class of subclasses, the set of subsets, the class of subproperties). The following is my suggestion on this issue:
> >
> > 1.The range of the RefersTo property should be the class of all subproperties of parameter, shch as ParameterPowerSet(should be renamed as ProcessParameter, see below), (Currently, the range is http://www.daml.org/services/owl-s/0.9/Process.owl#parameter).
> >
> > 2. ParameterPowerSet should be seen as the class of all parameters for processes (a subclass of Property, a class of all subproperties of parameter). (should be renamed as ProcessParameter)
> >
> >
> > 3. ProcessPowerSet should be seen as the class of all subclasses of Process. (should be renamed as ProcessClass)
> >
> > 4. AtomicProcessPowerSet should be seen as the class of all subclasses of AtomicProcess.(should be renamed as AtomicProcessClass)
> >
> > 5. The profile:has_process property is defined as a functional property with the Profile class as its domain and the Process class as its range. The range should be ProcessPowerSet (More precisely,ProcessClass).
> >
> > BTW, what's the intended usage of process:participant?
> >
> > Thanks!
> >
> >
> > Yuzhong Qu
> > Dept.Computer Science and Engineering
> > Southest University, Nanjing, China
> > http://cse.seu.edu.cn/People/yzqu/en
> >
> >
> >
>
>
>