Repairing missing is-a structure in ontologies is an abductive reasoning problem.