Re: owl:All(something) ??

From: "Jos De_Roo" <jos.deroo@agfa.com>
Subject: Re: owl:All(something) ??
Date: Wed, 14 May 2003 19:04:15 +0200

> 
> 
> [...]
> 
> 
> > 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 ...)].

Do you, perhaps mean instead

 _:x rdf:type owl:AllDifferent .
 _:x owl:distinctMembers _:l1 . 
 _:l1 rdf:first :Mammalian .
 _:l1 rdf:rest _:l2 .
 _:l1 rdf:first :Reptilian .
 _:l1 rdf:rest ...

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

Neither.  They could have the same extension, but still be different
individuals.

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

peter

Received on Wednesday, 14 May 2003 13:18:09 UTC