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