 For the big graphs the number of possible combinations is likely to grow in astronomic ranges.To restrict the possible combinations special supertype constraints got introduced such as ONEOF and TOTALOVER.Furthermore, an entity can be declared to be abstract to enforce that no instance can be constructed of just this entity but only if it contains a non-abstract subtype.