This is performed with the help of a graphical user interface and hence is processed efficiently by our health experts by usually requiring only a small number of mouse clicks. Finally, we refine the ontology by moving property assertions along a subsumption branch. This is performed automatically to remove redundancy among siblings by moving properties up in the hierarchy when they are shared among all children of a given concept. Thus this ontology refinement approach is deterministic and based on its topology.