- From: Thomas B. Passin <tpassin@home.com>
- Date: Mon, 16 Jul 2001 08:35:41 -0400
- To: <www-rdf-logic@w3.org>
[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
Received on Monday, 16 July 2001 08:33:47 UTC