Review Summary: The aims behind the proposal are very clear to understand and the Normalization pattern can be, with a few revisions, a good solution to them. I agree that in the case of a large polyhierarchy is much better to infer subsumption relationships than hardcode them, but it should be clarify better how the complexity of the reasoning is increased by a lot of new added restrictions, expecially with large data sets of triples. Furthermore adding disjointess can introduce inconsistence in the schema and incoherence in the data.