save a value restriction in case of relation between a class and an individual.

[mdaquin]

don't really know what to do when it is the other way around.
Could also think if repeated properties from higher classes as existential restrictions.