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