Показано, что для повышения реальной эффективности управления необходимо направить математику, в числе прочего, на формализацию, детализацию пред-ставлений об управленческой ситуации, что можно сделать, в том числе, средствами онтологического инжиниринга. Для этого рассмотрена роль двух составляющих механизма управления - формализованных представлений об управленческой ситуации и математической модели, надстроенной над этими представлениями. И показано, что первая из этих двух составляющих является обязательной, необходимой, а вторая - часто факультативной. Обосновано, что формализация совокупности систем понятий об управленческой ситуации онтологическим инжинирингом в виде семантических сетей, таксономий и фреймов способствует вычищению, рафинированию представлений и, как следствие, принятию более эффективных управленческих решений. Показано, что будущее онтологического инжиниринга во многом заключается в том, чтобы математизировать формализмы семантических сетей, таксономий и фреймов.