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