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

Universal Quantification

From: Stephen Rhoads <stephen.rhoads@db.com>
Date: Wed, 5 May 2004 14:27:48 -0400
To: www-rdf-logic@w3.org
Message-ID: <OF61A82FD0.445E94AA-ON85256E8B.0065162A-85256E8B.00652B40@db.com>
Can someone please explain the meaning and consequences of the following 
in layman's terms:

"Also notice that the correspondence of owl:allValuesFrom with the 
universal quantifier means that an owl:allValuesFrom constraint for a 
property P is trivially satisfied for an individual that has no value for 
property P at all. To see why this is so, observe that the 
owl:allValuesFrom constraint demands that all values of P should be of 
type T, and if no such values exist, the constraint is trivially true."

Thanks,

--- Stephen
Received on Wednesday, 5 May 2004 14:31:15 UTC

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