Re: owl:All(something) ??

[...]


> Note, in OWL full I would do this by simplying using the allDifferent
> on the classes - maybe that is the solution to suggest to these folks
> for now, although could mean a lot of scientistific applications
> would not be using DL...

does

[ a owl:AllDifferent; owl:distinctMembers (:Mammalian :Reptilian ...)].

mean that the extensions of :Mammalian :Reptilian ...
are different sets or that they are mutually disjoint?




-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Wednesday, 14 May 2003 13:04:28 UTC