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