Open this link?

This will take you to
http://www.w3.org/20...07/owl#AllDifferent