W3C home > Mailing lists > Public > www-rdf-logic@w3.org > May 2004

Re: Universal Quantification

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

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

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:42 UTC