Re: Does Euler support owl:hasValue ? from Seth Ladd on 2004-04-16 (www-rdf-logic@w3.org from April 2004)

From: Seth Ladd <seth@picklematrix.net>
Date: Fri, 16 Apr 2004 06:20:35 -1000
To: www-rdf-logic@w3.org
Message-ID: <408007D3.4060303@picklematrix.net>

> yes, the first paragraph can quite easily be misunderstood:
> in the second sentence the "such a class" means the anonymous
> class described by the owl:Restriction , not the "Burgundy" 
> class. put in other words, any individual with a 
> hasSugar-property value of "Dry" is a member of the (unnamed)
> "hasSugar=Dry"-class.
> (then, in a *second* step, this anonymous "hasSugar=Dry"-class
> is subclassed by "Burgundy". the second paragraph describes the
> semantics: any "Burgundy" individual is also a "hasSugar=Dry"
> individual, but not neccessarily the other way round; there may
> be members of "hasSugar=Dry", which are not a member of the 
> "Burgundy" class.)

Thanks Benjamin!  I see exactly where I was getting my thinking 
reversed.  owl:hasValue is certainly powerful.

Thanks again to Jos and Benjamin.  Very exciting stuff!
Seth

Received on Friday, 16 April 2004 02:20:33 UTC