Re: Missing AllDisjoint?

A more useful implementation of this capability would be a
    property superClassOf
with
    domain Class
    range List
where
    subclasses in List are disjoint, distinct and exhaustive.

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;

----- Original Message ----- 
From: "Bernard Vatant" <bernard.vatant@mondeca.com>
To: "wwmm" <wwmm@seu.edu.cn>; <public-webont-comments@w3.org>
Sent: Wednesday, May 14, 2003 8:56 AM
Subject: RE: Missing AllDisjoint?
>
> I've not seen any answer to this question, or maybe I missed it, but I
> agree that having AllDisjoint would be very useful, since partition is a
> frequent situation, very heavy to deal with using n^2 DisjointWith ...
>
> Bernard Vatant
> Senior Consultant
> Knowledge Engineering
> Mondeca - www.mondeca.com
> bernard.vatant@mondeca.com
>
> > -----Message d'origine-----
> > De : public-webont-comments-request@w3.org
> > [mailto:public-webont-comments-request@w3.org]De la part de wwmm
> > Envoyé : lundi 12 mai 2003 04:13
> > À : public-webont-comments@w3.org
> > Objet : Missing AllDisjoint?
> >
> > Hello,
> >
> > Since there is an owl:AllDifferent, why is there not an
> > owl:AllDisjoint?  It means that all class disjoint with each other.
> > e.g.
> >
> >  <owl:AllDisjoint>
> >     <owl:distinctMembers rdf:parseType="Collection">
> >       <vin:WineSugar rdf:about="#LateHarvest" />
> >       <vin:WineSugar rdf:about="#EarlyHarvest" />
> >     </owl:distinctMembers>
> > </owl:AllDisjoint>
> >
> > Thanks,
> >
> > wwmm
> > wwmm@seu.edu.cn

Received on Wednesday, 14 May 2003 15:58:19 UTC