@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

owl:distinctMembers
	rdfs:domain	owl:AllDifferent .
owl:AllDifferent
	rdf:type	rdfs:Class ;
	rdfs:label	"AllDifferent" .