Proposed response to Hugh WInkler - allDisjoint

Hugh was not aware of the solution in test I5.21 002, perhaps this should be a 

Dear Hugh Winkler,

the WebOnt Working Group has considered this problem in detail.
We were aware that a few OWL users will have large numbers of disjoint 
classes, when we last formally considered this (during last call).

As part of the resolution in last call we added the following test to OWL Test 
Cases, which illustrates an O(N) construction equivalent to "owl:allDisjoint"

> For the 337 terms in our hypothetical UBL Library ontology, we would
> enter 56616 <owl:disjointWith> statements. Using the proposed
> <owl:allDisjoint> syntax would require 337 statements. 

Recalling the formulae from our group discussion:

syntax illustrated in test I5.21-002      
2028 triples

56953 triples

"owl:allDisjoint", like owl:AllDistinct
1350 Triples

(In all three, I include the 337 triples needed to declare the classes
xxx rdf:type owl:Class; in the last I include the triples needed for the 
rdf:List construct).

Thus, while owl:allDisjoint is more efficient, it is by a factor of 50%, 
rather than an order of magnitude.

The Working Group does not intend to make any changes in light of your 

Please reply indicating whether this is a satisfactory response, copying

thanks, and please feel free to make more comments,

Jeremy Carroll

Received on Friday, 19 September 2003 08:20:59 UTC