Fig. 3

Pseudocode of identifying potentially missing concepts and pinpointing where they may be inserted. Function FormalizingNewConcepts shows the multistage intersection and function PinPointLocation presents how we compute potential subtype(s) and supertype(s) for potentially missing concepts