W3C home > Mailing lists > Public > www-ws@w3.org > September 2003

Congo Example, Preconditions and refersTo

From: Sudhir Agarwal <agarwal@aifb.uni-karlsruhe.de>
Date: Mon, 1 Sep 2003 21:51:59 +0200
To: www-ws@w3.org
Message-Id: <200309012151.59410.agarwal@aifb.uni-karlsruhe.de>

Hi all,

i was going through the congo example available at DAML services site.
I have a problem regarding "refersTo".

According to the profile ontology, property "parameter" has range 
"ParameterDescription". Property "refersTo" has domain "ParameterDescription" 
and range "&process;#parameter". "Input", "output", "precondition" and 
"effect" are sub-properties of "parameter".

In the process ontology, "input", "output" and "participant" are 
sub-properties of "parameter". "precondition" is not a sub-property of 
"parameter".

In congo profile however, i found that the preconditions referring to 
preconditions in congo process. I am wondering how a profile precondition can 
refer to a process precondition, when profile precondition can only refer to 
process parameter and process precondition is not sub-property of process 
parameter.

Thanks for any help.

Sudhir Agarwal
Received on Monday, 1 September 2003 15:53:18 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 3 July 2007 12:25:44 GMT