Re: The Ugly Test

[this is discussing the testcase proposed in
http://www.w3.org/2002/03owlt/editors-draft/snapshot#proposedFunction-oneOf
]

> > (the range of p is a
> > class with one element and i is in a restriction on property
> > p with mincardinality of 1) so can someone give a hint?
>
> Try exhaustive search ...
>
> if S is a set with small cardinality then
>
> x memberOf S
> can be rewritten as
> x = s1 or x = w2 or ... or x = sn

ok, but before that, I still wonder...

suppose you have a similar case
  the range of p is one of 1,2,3,4
  the range of p is one of 3,4,5,6
  i is in a restriction on property p
    with mincardinality of 2

is it then the case that
  i p 3
  i p 4

I wouldn't think so as I (still) think
that ranges can come in via RDF merges
adding e.g.
  the range of p is one of 2,4,6,8

(I think I can't live with the idea of
*closed* ranges...)

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/