Рассматривается способ построения логической онтологии для сложных структурированных объектов, описания которых заданы на языке исчисления предикатов. Кратко описывается алгоритм выделения подмножеств объектов, обладающих одинаковыми свойствами, и установления их взаимного расположения. Для построения такой онтологии использован алгоритм выделения наибольшей подформулы, изоморфной подформулам всех описаний
объектов из класса.
Original languageRussian
Title of host publication12-я Российская Мультиконференция по Проблемам Управления. Материалы конференции «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В УПРАВЛЕНИИ» (ИТУ-2020) 7 – 8 Октября 2020 г., Санкт-Петербург, Гнц Рф Ао «КОНЦЕРН «ЦНИИ «ЭЛЕКТРОПРИБОР», 2020, с. 84 – 86.
Place of PublicationСПб.
PublisherЦНИИ «Электроприбор»
Pages84-86
Number of pages3
StatePublished - 2020
Event12-я Российская Мультиконференция по Проблемам Управления. Конференция «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В УПРАВЛЕНИИ» - Санкт-Петербург, Russian Federation
Duration: 7 Oct 2020 → 8 Oct 2020

Conference

Conference12-я Российская Мультиконференция по Проблемам Управления. Конференция «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В УПРАВЛЕНИИ»
Abbreviated titleИТУ 2020
Country/TerritoryRussian Federation
CityСанкт-Петербург
Period7/10/20 → 8/10/20

ID: 74222430