Re: ExpressCongoBuy atomic service description

Hi Mithun,

Thanks for your question about ExpressCongoBuy.  As you noted,
we did not explicitly define a domain for the properties
property:congoOrderShippedEffect 
and
property:congoOrderShippedOutput.
This was done on purpose.  It certainly would not have been
incorrect to have defined a domain, but it was not necessary.
The advantage of not explicitly defining a domain is that it 
enables these properties to be used by multiple processes.  
For example, the non-express version of CongoBuy could have the
same conditional outputs and effects.  By not defining the domain
explicitly, it enables the use of the properties in the definition
of both processses.

Hope this helps.

Sheila


==============================================================================

Sheila McIlraith, PhD                 Phone: 650-723-7932
Senior Research Scientist             Fax:  650-725-5850
Knowledge Systems Lab
Department of Computer Science
Gates Sciences Building, 2A-248       http://www.ksl.stanford.edu/people/sam
Stanford University                   E-mail sam@ksl.stanford.edu
Stanford, CA 94305-9020




	Hi All,
	             I need some clarification regarding the description of 
	ExpressCongoBuy atomic service which is part of the ProcessModel 
	described by the file 
	<http://www.daml.org/services/daml-s/0.7/CongoProcess.daml>.
	Is property:congoOrderShippedEffect part of the ExpressCongoBuy service? 
	If the answer is yes, shouldn't  it have a domain pointing to the 
	ExpressCongoBuy class.

	- <daml:Property rdf:ID="congoOrderShippedEffect">
	  <rdfs:subPropertyOf 
	rdf:resource="http://www.daml.org/services/daml-s/0.7/Process.daml#effect" 
	/>
	- <rdfs:range>
	- <daml:Class>
	  <rdfs:subClassOf 
	rdf:resource="http://www.daml.org/services/daml-s/0.7/Process.daml#ConditionalEffect" 
	/>
	- <rdfs:subClassOf>
	- <daml:Restriction>
	  <daml:onProperty 
	rdf:resource="http://www.daml.org/services/daml-s/0.7/Process.daml#ceCondition" 
	/>
	  <daml:toClass rdf:resource="#BookInStock" />
	  </daml:Restriction>
	  </rdfs:subClassOf>
	- <rdfs:subClassOf>
	- <daml:Restriction>
	  <daml:onProperty 
	rdf:resource="http://www.daml.org/services/daml-s/0.7/Process.daml#ceEffect" 
	/>
	  <daml:toClass rdf:resource="#OrderShippedEffect" />
	  </daml:Restriction>
	  </rdfs:subClassOf>
	  </daml:Class>
	  </rdfs:range>
	  </daml:Property>
	 
	Similarly shouldn't the output: congOrderShippedOutput have a domian as 
	well. Am I missing something?

	peace,
	mithun

Received on Monday, 3 March 2003 17:23:55 UTC