Метод диаграмматической верификации онтологий на основе дескрипционной логики ALC
Научный руководительБаймуратов Ильдар Раисович
кандидат технических наук
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», доцент (квалификационная категория "ординарный доцент") (факультет программной инженерии и компьютерной техники)
Скачать отзывОфициальные оппоненты
Харламов Евгений Юрьевич
PhD, доцент
Университет Осло, доцент (Факультет математики и естественных наук, Кафедра информатики)
Скачать отзывГеппенер Владимир Владимирович
доктор технических наук, профессор
федеральное государственное автономное образовательное учреждение высшего образования «Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина)», профессор (Факультет компьютерных технологий и информатики)
Скачать отзывПерсональный состав диссертационного совета
Басов Олег Олегович
доктор технических наук, доцент
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор, факультет цифровых трансформаций
Беззатеев Сергей Валентинович
доктор технических наук, доцент
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор (квалификационная категория «профессор практики»), факультет безопасности информационных технологий
Бобцов Алексей Алексеевич
доктор технических наук, профессор
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор, факультет систем управления и робототехники
Бухановский Александр Валерьевич
доктор технических наук
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор (квалификационная категория «ведущий профессор»), факультет цифровых трансформаций
Гаврилова Татьяна Альбертовна
доктор технических наук, профессор
федеральное государственное бюджетное образовательное учреждение «Санкт-Петербургский государственный университет», заведующий кафедрой, кафедра информационных технологий в менеджменте
Карпов Алексей Анатольевич
доктор технических наук, профессор
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор (квалификационная категория " ординарный профессор"), факультет информационных технологий и программирования
Матвеев Юрий Николаевич
доктор технических наук
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», профессор (квалификационная категория «профессор-эксперт»), факультет информационных технологий и программирования
Муромцев Дмитрий Ильич
кандидат технических наук, доцент
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет ИТМО», доцент, факультет программной инженерии и компьютерной техники
Смирнов Александр Викторович
доктор технических наук, профессор
Федеральное государственное бюджетное учреждение науки «Санкт-Петербургский институт информатики и автоматизации Российской академии наук», заведующий лабораторией, лаборатория интегрированных систем автоматизации