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