В данной статье исследуются существующие механизмы автоматического логического вывода для OWL-онтологий. Целью исследования является оценка применимости ризонеров к визуальным представлениям онтологий на языке Logic Graphs.

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