Congo Example, Preconditions and refersTo from Sudhir Agarwal on 2003-09-01 (www-ws@w3.org from September 2003)

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 UTC