AllDisjoint in RDF mapping

The functional spec allows a disjoint classes axiom to contain 2 or  
more class descriptions.  As far as I can tell, in the current RDF  
mapping, disjoint classes must be mapped in a pairwise fashion using  
disjointWith statements.  In some cases, for example when following  
the design pattern of making primitive sibling classes mutually  
disjoint, this can cause the size of the RDF graph to become very  
large.  Additionally, there is no way to preserve "modelling style"  
because the current mapping results in round tripping problems after  
serialising and parsing.

To solve these problems, would it be possible to add an AllDisjoint  
mapping to the spec (rather like AllDifferent for individuals)?

Cheers,

Matthew

Received on Tuesday, 20 February 2007 17:42:00 UTC