Re: DAML-S expressiveness challenge #2

[David Martin]

> In a DAML-S process description, we need to be able to express the
> following sort of restriction:
>
>     the set of things whose property P has values in [Class1, Class2,
> ... ClassN]
>
> that is,
>
>     the set of things x such that, for each property instance P(x, y), y
> is a daml:list whose first element is an instance of Class1, second
> element an instance of Class2, ..., and nth element is an instance of
> ClassN.
>
It seems to me that a type (which would be the Cartesian product of the
domains of Class1, Class2, ...) should be specified, then y can be
restricted to be of this type.

> I'm looking for something like this:
>
>     <daml:Restriction>
>       <daml:onProperty rdf:resource="#P"/>
>       <daml:toClass>
>           WHAT GOES HERE?
>       </daml:toClass>
>     </daml:Restriction>
>

Cheers,

Tom P