Re: Universal Quantification from Stephen Rhoads on 2004-05-06 (www-rdf-logic@w3.org from May 2004)

From: Stephen Rhoads <rhoadsnyc@mac.com>
Date: Wed, 5 May 2004 21:58:55 -0400
To: www-rdf-logic@w3.org
Message-Id: <EE377767-9F00-11D8-9E1D-000A95EF0144@mac.com>

>
> someValuesFrom requires there to be at least one value from the 
> specified class, and allValuesFrom requires that if there are any 
> values, they all come from the specified class (but there could be no 
> values at all).  So there has to be at least one, and that one and any 
> more all have to come from the specified class.
>
> Not exactly intuitive, eh?

Got it.  Well stated, thanks.

And now ... which to use?  allValuesFrom + minCardinality 1, or 
allValuesFrom + someValuesFrom?  Is there a logical or semantic 
difference?

Received on Wednesday, 5 May 2004 21:59:06 UTC