Результаты исследований: Научные публикации в периодических изданиях › статья в журнале по материалам конференции › Рецензирование
A way of constructing a logic ontology for complex structured objects is considered in the paper. The descriptions of such objects are given in the predicate calculus language. An algorithm for extracting subsets of objects with the same properties and establishing their relative position is described. To construct such an ontology, an algorithm for extracting the largest subformula isomorphic to subformulas of all descriptions of objects from the class is used.
Переведенное название | Выделение изоморфных подформул как средство для построения логической онтологии |
---|---|
Язык оригинала | английский |
Номер статьи | 012086 |
Число страниц | 7 |
Журнал | Journal of Physics: Conference Series |
Том | 1864 |
Номер выпуска | 1 |
DOI | |
Состояние | Опубликовано - 20 мая 2021 |
Событие | 13-я мультиконференция по проблемам управления: Математическая теория управления и ее приложения (МТУиП) - ГНЦ РФ АО «Концерн «ЦНИИ «Электроприбор», Санкт-Петербург, Российская Федерация Продолжительность: 6 окт 2020 → 8 окт 2020 Номер конференции: 13 http://www.elektropribor.spb.ru/nauchnaya-deyatelnost/xiii-mkpu/index3.php |
ID: 86413347