name: Метод диаграмматической верификации онтологий на основе дескрипционной логики ALC
keyword_list: дескрипционная логика, онтология, представление знаний, визуализация, визуальный язык, экзистенциальный граф, семантика, формальные метрики, полнота, информатив­ность, гиперграф, верификация, вывод.
abstract: Целью данной работы является повышение полноты и информативности визуального представления онтологий за счет создания диаграмматического метода их верификации.
  Для достижения поставленной цели необходимо решить следующие задачи:
  – Обзор и анализ существующих методов диаграмматического представления
  знаний.
  – Обзор и анализ существующих методов визуализации онтологий.
  – Обзор и анализ существующих методов оценки визуальных представлений
  онтологий.
  – Разработка семантико-ориентированного визуального языка представления
  онтологий.
  – Разработка алгоритма диаграмматической верификации онтологий.
  – Разработка формальных методов оценки визуальных представлений
  онтологий.
  – Экспериментальные исследования разработанных методов.
  Результаты диссертационного исследования:
  – Впервые предложен визуальный язык представления онтологий Logic
  Graphs, позволяющий формировать логически корректные и полные
  визуальные представления онтологий, описанных на языке OWL DL.
  – Впервые предложен метод диаграмматической верификации онтологий,
  заданный на языке Logic Graphs, включающий систему диаграмматического
  вывода для Logic Graphs, корректность которой доказывается посредством
  табличного алгоритма дескрипционной логики ALC.
  – Предложены новые формальные метрики (на основе формулы), позволяющие сформировать оценки качества визуальных представлений онтологий: полнота и информативность, основанная на формализме гиперграфов и матрицах инцидентности.
chairman_dissertation_council.name: Юрий
chairman_dissertation_council.surname: Матвеев
chairman_dissertation_council.patronymic: Николаевич
chairman_dissertation_council.position: профессор (квалификационная категория «ведущий профессор»)
chairman_dissertation_council.degree: Доктор технических наук
chairman_dissertation_council.rank: Профессор
chairman_dissertation_council.wos_research_id: d-4188-2014
chairman_dissertation_council.scopus_author_id: 7006613471
chairman_dissertation_council.rinc_id: 379753
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Владимир
organization_supervisor.surname: Васильев
organization_supervisor.patronymic: Николаевич
organization_supervisor.position: ректор
organization_supervisor.territory: РОССИЯ
rubrics.code: 20.17.15
rubrics.name: Виды источников информации
oecds.code: 01.02.EW
oecds.name: COMPUTER SCIENCE, SOFTWARE ENGINEERING
speciality_codes.name: Теоретические основы информатики
speciality_codes.code: 05.13.17
supervisors.fio: Баймуратов Ильдар Раисович
supervisors.scientific_degree: Кандидат технических наук
supervisors.speciality_code: Теоретические основы информатики
supervisors.responsible_type: Научный руководитель
opponents.fio: Харламов Евгений Юрьевич
opponents.scientific_degree: Кандидат технических наук
opponents.speciality_code: Теоретические основы информатики
opponents.responsible_type: Оппонент
opponents.fio: Геппенер Владимир Владимирович
opponents.scientific_degree: Доктор технических наук
opponents.speciality_code: Теоретические основы информатики
opponents.responsible_type: Оппонент
protection_organization.short_name: УНИВЕРСИТЕТ ИТМО; НИУ ИТМО; ИТМО
protection_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ ИТМО"
protection_organization.ogrn: 1027806868154
protection_organization.supervisor_name: ВЛАДИМИР
protection_organization.supervisor_surname: ВАСИЛЬЕВ
protection_organization.supervisor_patronymic: НИКОЛАЕВИЧ
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные автономные учреждения
author_organization.short_name: УНИВЕРСИТЕТ ИТМО; НИУ ИТМО; ИТМО
author_organization.name: ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ ИТМО"
author_organization.ogrn: 1027806868154
author_organization.supervisor_name: ВЛАДИМИР
author_organization.supervisor_surname: ВАСИЛЬЕВ
author_organization.supervisor_patronymic: НИКОЛАЕВИЧ
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения