Re: DAML CongoProcess example question

Thank you so much for answering!

However, there is no 'sameValuesAs' (or 'sameValueAs') defined in DAML.
Only sameClassAs, sameIndividualAs, and samePropertyAs. And none of
those are allowed to be part of a restriction. The only things allowed
to be part of a restriction are: toClass, hasValue, hasClass, or
cardinality.

Also, is congoOrderShippedEffect an effect of ExpressCongoBuy? And
congoOrderShippedOutput an output of the same? In which case maybe they
should have <rdfs:domain rdf:resource="#ExpressCongoBuy"/> statement as
part of their definition?

Thanks,
Vera


Monika Solanki wrote:

> I guess, the following line of code needs to be inserted before the
> closing tag
>
> </daml:Restriction>
>
> <daml:sameValuesAs rdf:resource="#fullCongoBuyBookName" />
>
> as the restriction on the input to this class is the same as the name
> of the book.
>
> Hope this helps.
>
> (see the changed code below )
>
> Cheers!!!
>
> Monika
>
>
>> <daml:Class rdf:ID="PutInCart">
>>  <rdfs:subClassOf
>> rdf:resource=
>> "http://www.daml.org/services/daml-s/0.7/Process.daml#AtomicProcess"
>> />
>>
>>  <rdfs:subClassOf>
>>   <daml:Restriction>
>>    <daml:onProperty
>> rdf:resource=
>> "http://www.daml.org/services/daml-s/0.7/Process.daml#input"/>
>> <daml:sameValuesAs rdf:resource="#bookName" />
>>
>>   </daml:Restriction>
>>  </rdfs:subClassOf>
>> </daml:Class>
>>
>> Now, here's a question. Is that a valid DAML? Any restriction on
>> property is supposed to be to something, either value or class or
>> cardinality. Right? What is this restriction restricting?
>>
>> Thanks,
>> Vera Zaychik
>> LM ATL
>>
>>
> --
> >**<>**<>**<>**<>**<>**<>**<>**<>**<>**<
> 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
> web: http://www.cse.dmu.ac.uk/~monika/
> >**<>**<>**<>**<>**<>**<>**<>**<>**<>**<
> "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"
>

Received on Thursday, 5 December 2002 17:43:12 UTC