Re: AllDisjoint in RDF mapping

>
> Just to avoid a misunderstanding (maybe it's on my own side): The  
> current proposal of OWL1.1 actually /provides/ such a construct in  
> its abstract syntax, called "DisjointClasses". According to [1],  
> Section 6.1:
>
>   "The disjointClasses axiom takes a set of classes and states
>   that all classes from the set are pair-wise disjoint."
>
>   [...]
>
>   disjointClasses :=
>     'DisjointClasses' '('
>       { annotation } description description { description }
>     ')'
>
> AFAICS, in his original post, Matthew Horridge just found out that  
> there is no matching construct in the /RDF mapping/:

Yes, this is exactly the problem.  In RDF there is no way to specify  
that a set of classes are pairwise disjoint.

Cheers,

Matthew