<http://www.w3.org/2002/07/owl#distinctMembers> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.w3.org/2002/07/owl#AllDifferent> . <http://www.w3.org/2002/07/owl#distinctMembers> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> . <http://www.w3.org/2002/07/owl#distinctMembers> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/1999/02/22-rdf-syntax-ns#List> . <http://www.w3.org/2002/07/owl#distinctMembers> <http://www.w3.org/2000/01/rdf-schema#label> "distinctMembers" .