W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2003

Re: The Ugly Test

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
Message-ID: <OFAC008C3E.F4B73B3A-ONC1256CBF.00354266-C1256CBF.0037FC0E@agfa.be>


[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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:57 GMT