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

Re: ExpressCongoBuy atomic service description

From: <sam@ksl.Stanford.EDU>
Date: Mon, 3 Mar 2003 14:23:34 -0800 (PST)
Message-Id: <200303032223.h23MNYD29186@ksl.Stanford.EDU>
To: mits1@cs.umbc.edu, www-ws@w3.org

Hi Mithun,

Thanks for your question about ExpressCongoBuy.  As you noted,
we did not explicitly define a domain for the properties
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 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 
	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:range>
	- <daml:Class>
	- <rdfs:subClassOf>
	- <daml:Restriction>
	  <daml:toClass rdf:resource="#BookInStock" />
	- <rdfs:subClassOf>
	- <daml:Restriction>
	  <daml:toClass rdf:resource="#OrderShippedEffect" />
	Similarly shouldn't the output: congOrderShippedOutput have a domian as 
	well. Am I missing something?

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:37:08 UTC