Name of thesis:
The method of diagrammatic verification of ontologies is based on ALC description logic
Thesis supervisor Co-supervisor / Scientific advisorOfficial reviewers
Members of the Academic Degree Council
Basov Oleg O.
Doctor of Science, Accociate professor
ITMO University, Professor
Bezzateev Sergey V.
Doctor of Science, associate professor
ITMO University, professor
Bobtsov Alexey A.
Doctor of Science, professor
ITMO University, Professor
Boukhanovsky Alexander V.
Doctor of Science
ITMO University, Professor
Gavrilova Tatiana A.
doctor of engineering, professor
Saint Petersburg State University, head of department
Karpov Alexey A.
Doctor of Science, professor
ITMO University, Professor
Matveev Yuriy N.
Doctor of Science
ITMO University, professor
Mouromtsev Dmitry I.
PhD, associate professor
ITMO University, associate professor
Smirnov Alexander V.
doctor of engineering, professor
St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences, head of department