Личный кабинет

Статья

Курышев В.А. (науч. рук. Баймуратов И.Р.) Алгоритм диаграмматического анализа онтологий для метода визуализации Logic Graphs
УДК тезиса: 004.02

В работе предлагается исследовать возможность использования метода визуализации онтологий Logic Graphs как инструмент диаграмматических рассуждений. Рассматриваются другие существующие инструменты диаграмматических рассуждений, такие как экзистенциальные графы Пирса и концептуальные графы. Предлагаются определения непротиворечивости и избыточности онтологий в контексте Logic Graphs. На основе табличного алгоритма для дескрипционных логик разрабатываются методы диаграмматических рассуждений.

Авторы:

Курышев Василий Андреевич

Руководитель:

Баймуратов Ильдар Раисович

Курышев В.А. (науч. рук. Баймуратов И.Р.) Алгоритм диаграмматического анализа онтологий для метода визуализации Logic Graphs // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2021]. URL: https://kmu.itmo.ru/digests/article/5508