. . . "distinctMembers" . . "The property that determines the collection of pairwise different individuals in a owl:AllDifferent axiom." . . .