Re: ExpressCongoBuy atomic service description

  The question had been raised before as well by one of our other list 
member. However, I think it got slipped over at that time,in response to 
some oither question.  Ideally the answer should be "yes", however its 
quite possible that there are some other implications to it. It would be 
great if one of the authors could clarify this issue.

Cheers!!!

Monika


Mithun Sheshagiri wrote:

>
> 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
>
>

-- 
 >**<>**<>**<>**<>**<>**<>**<>**<>**<>**<
Monika Solanki
De Montfort University
Software Technology Research Laboratory
Hawthorn building, H00.18
The Gateway.
Leicester LE1 9BH, UK

phone: +44 (0)116 250 6170 intern: 6170
email: monika@dmu.ac.uk <mailto:monika@dmu.ac.uk>
web: http://www.cse.dmu.ac.uk/~monika/ 
<http://www.cse.dmu.ac.uk/%7Emonika/>
 >**<>**<>**<>**<>**<>**<>**<>**<>**<>**<
"NOTE: The information transmitted is intended only for the person or 
entity to which it is addressed and may contain confidential and/or 
privileged material. Any review, retransmission, dissemination or other 
use of, or taking of any action in reliance upon this information by 
persons or entities other than the intended recipient is prohibited. If 
you received this in error, please contact the sender and delete the 
material from any computer"