В работе исследуются свойства терминологических сетей как методологии конструирования понятийных
структур. Выявлен набор структурно-топологических свойств диаграмм решеток формальных понятий,
позволяющий также характеризовать системы родовидовых связей терминологических сетей. Обосновывается
выбор фрагмента терминологического пространства в качестве объекта исследования. Приводятся и
обсуждаются результаты вычислительного эксперимента, формулируются выводы о возможности привлечения
методов формального анализа понятий для построения и верификации терминологических сетей.We are considering the question of the application of
formal concept analysis for the design and verification
of terminological networks.