Re: DAML CongoProcess example question

Monika Solanki wrote:

> Well,....I saw that "sameValueAs " from the 0.6 version has been
> deprectaed in favor of  "sameValues" in 0.7. The usage however remains
> the same (I think).

Well, it serves pretty much the same purpose, but is a somewhat more
comprehensive approach.  sameValues is explained in section 5.2 of the
Technical Overview, and CongoProcessDataFlow.daml contains examples of
its use.

Regards,
David Martin

>
>
> Also the following lines of comments have been included in the Process
> Ontology (0.7):
>
> The following inputs and outputs of FullCongoBuy are derived
> from the corresponding inputs and outputs of its atomic subprocesses
> (as indicated by their sameValues properties), and will normally
> be computed automatically by DAML-S tools.  For example,
> FullCongoBuy uses an input, congoBuyBookName, that's the same as
> the bookName input to atomic process LocateBook.    What follows
> is a partial example of these inputs and outputs.
>
> I, therefore have a feeling that we can still use "sameValues" for the
> kind of restriction that needs to be imposed on the class
> "PutInCart"
>
> <daml:sameValues rdf:resource="#fullCongoBuyBookName" />
>
> It would be nice if one of the Authors could further clarify this
> issue.
>
> Vera Zaychik wrote:
>
>> 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"
>> >
>> >
> --
> >**<>**<>**<>**<>**<>**<>**<>**<>**<>**<
> 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 Friday, 10 January 2003 18:35:49 UTC