Completing the is-a structure in light-weight ontologies