Предлагается формализация процесса построения онтологий, которая способствует созданию «корректных» онтологий и рассматривается методология построения онтологий, основанная на соединении двух подходов: 1. Выбор концептов предметной области как совокупности «правильных» подмножеств множества заявленных свойств, а также построение таксономии выбранных концептов, причем нормализация концептов и построение таксономии производится на основе таких характеристик свойств, таких как взаимоисключение, взаимодопущение, обусловленность.2. Корректировка полученной таксономии на основе углублённого анализа семантической природы – сущностных метасвойств концептов (связанных с понятиями идентичности, существенности, унарности и зависимости), что позволяет значительно сократить множественное наследование и сделать более наглядной.