ProcesModel hasProcess ProcessPowerSet

Hi all,

could someone tell me, why the property hasProcess of class ProcessModel has 
range ProcessPowerSet and not Process?

The reason in Process.owl is:

It is important to understand that DAML-S conceptualizes a specific process
as a *class*, each of whose instances is a particular use/invocation of the 
process.  Thus, each specific process (such as BuyBook in Congo.daml) is a 
*subclass*, rather than an instance, of Process.  This is why the range of 
hasProcess is specified as ProcessPowerSet (which is the class of all 
subclasses of Process).

My problem is only the last sentence of the above paragraph.

Best regards.
Sudhir

-- 
Dipl.-Inform. Sudhir Agarwal
Institute for Applied Informatics and Formal Description Methods (AIFB),
University of Karlsruhe (TH), Germany.
Phone: +49 (0)721 608 6817
Email: agarwal@aifb.uni-karlsruhe.de
Web: http://www.aifb.uni-kalsruhe.de/WBS

Received on Wednesday, 10 September 2003 13:34:34 UTC