Research output: Contribution to journal › Conference article › peer-review
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.
Translated title of the contribution | Выделение изоморфных подформул как средство для построения логической онтологии |
---|---|
Original language | English |
Article number | 012086 |
Number of pages | 7 |
Journal | Journal of Physics: Conference Series |
Volume | 1864 |
Issue number | 1 |
DOIs | |
State | Published - 20 May 2021 |
Event | 13th Multiconference on Control Problems, MCCP 2020: Математическая теория управления и ее приложения (МТУиП) - ГНЦ РФ АО «Концерн «ЦНИИ «Электроприбор», Санкт-Петербург, Russian Federation Duration: 6 Oct 2020 → 8 Oct 2020 Conference number: 13 http://www.elektropribor.spb.ru/nauchnaya-deyatelnost/xiii-mkpu/index3.php |
ID: 86413347