OWL Lite 4/5
 
 
 5. allDifferent
 Consente di affermare che un individuo e' differente da un gruppo X di altri individui
 
 - Caratteristiche delle proprieta':
 
 1. inverseOf
 La proprieta' X e' l'inversa di Y
 
 2. TransitiveProperty
 Proprieta' transitiva
 
 3. SymmetricProperty
 Proprieta' simmetrica. (x, y) - (y, x)
 
 4. FunctionalProperty
 Sono proprieta' che hanno maxCardinality = 0 e minCardinality = 1