Научно-исследовательский семинар по искусственному интеллекту и инженерии знаний: «Редактор онтологий на основе теории категорий viete.io»