This is a review of Automatic maintenance of multiple inheritance ontologies.
This article provides a concise description of the normalisation process and the examples are clear and well illustrated. The choice of biological examples may not be appropriate for the average reader, but I don’t think they need replacing at this stage.
How many ontologies “out in the wild” actually practice normalisations? Do you have any examples of well normalised ontologies. I suspect many of the biomedical ontologies do not follow this design pattern, why do you think this? Part of the problem is scalability, how well do the reasoner handle large highly axiomatised ontologies?
You could add some more text around the explanation figure, you don’t really refer to it or explain what is being depicted.