- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Fri, 31 Jan 2003 11:11:21 +0100
- To: "Jeremy Carroll <jjc" <jjc@hpl.hp.com>
- Cc: www-webont-wg@w3.org, www-webont-wg-request@w3.org
[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/
Received on Friday, 31 January 2003 05:12:04 UTC