[Pellet-Users] allDifferent n^2?

[Bijan Parsia]

All this suggests that there might be advantages to internally coding 
differentFrom this way. The only time when it's pessimal is if you end 
up trying more merges with the functional property than you otherwise 
would, but even there, it's pretty easy to slide down the successor and 
check whether the index value is distinct. And equivalent way would be 
to just keep different bins of alldifferent individuals (instead of the 
pairwise assertions).

Cheers,
Bijan.