Рассматривается способ построения логической онтологии для сложных структурированных объектов, описания которых заданы на языке исчисления предикатов. Кратко описывается алгоритм выделения подмножеств объектов, обладающих одинаковыми свойствами, и установления их взаимного расположения. Для построения такой онтологии использован алгоритм выделения наибольшей подформулы, изоморфной подформулам всех описаний
объектов из класса.
Язык оригиналарусский
Название основной публикации12-я Российская Мультиконференция по Проблемам Управления. Материалы конференции «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В УПРАВЛЕНИИ» (ИТУ-2020) 7 – 8 Октября 2020 г., Санкт-Петербург, Гнц Рф Ао «КОНЦЕРН «ЦНИИ «ЭЛЕКТРОПРИБОР», 2020, с. 84 – 86.
Место публикацииСПб.
ИздательЦНИИ «Электроприбор»
Страницы84-86
Число страниц3
СостояниеОпубликовано - 2020
Событие12-я Российская Мультиконференция по Проблемам Управления. Конференция «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В УПРАВЛЕНИИ» - Санкт-Петербург, Российская Федерация
Продолжительность: 7 окт 2020 → 8 окт 2020

конференция

конференция12-я Российская Мультиконференция по Проблемам Управления. Конференция «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В УПРАВЛЕНИИ»
Сокращенное названиеИТУ 2020
Страна/TерриторияРоссийская Федерация
ГородСанкт-Петербург
Период7/10/20 → 8/10/20

ID: 74222430