All Different

The class of axioms asserting that every member of a list of individuals is pairwise different from every other member. More compact than enumerating O(n^2) `differentFrom` triples for large sets. Mirrors `owl:AllDifferent`.