Kazan Federal University Digital Repository
ОНТОЛОГИЯ МАТЕМАТИЧЕСКОГО ЗНАНИЯ OntoMathPRO
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor | Казанский федеральный университет | |
| dc.contributor.author | Елизаров Александр Михайлович | |
| dc.contributor.author | Кириллович Александр Витальевич | |
| dc.contributor.author | Липачев Евгений Константинович | |
| dc.contributor.author | Невзорова Ольга Авенировна | |
| dc.date.accessioned | 2023-01-09T07:23:17Z | |
| dc.date.available | 2023-01-09T07:23:17Z | |
| dc.date.issued | 2023 | |
| dc.identifier.citation | Елизаров А.М. ОНТОЛОГИЯ МАТЕМАТИЧЕСКОГО ЗНАНИЯ OntoMathPRO / А.М. Елизаров, А.В. Кириллович, Е.К. Липачёв, О.А. Невзорова // Доклады Российской академии наук. Математика, информатика, процессы управления. - 2022. - Т. 507. - N 1. - С. 29-35. DOI: 10.31857/S2686954322700011 | |
| dc.identifier.uri | https://dspace.kpfu.ru/xmlui/handle/net/173496 | |
| dc.description.abstract | Представлена онтология OntoMathPRO - первая семантическая веб-онтология профессионального математического знания, предназначенная для классификации и систематизации математических понятий. | |
| dc.language.iso | ru | |
| dc.relation.ispartofseries | Доклады Академии наук | |
| dc.rights | открытый доступ | |
| dc.subject | онтология | |
| dc.subject | онтологическое проектирование | |
| dc.subject | извлечение математических фактов | |
| dc.subject | материализованное отношение | |
| dc.subject | управление математическим знанием | |
| dc.subject.other | Информатика | |
| dc.subject.other | Математика | |
| dc.title | ОНТОЛОГИЯ МАТЕМАТИЧЕСКОГО ЗНАНИЯ OntoMathPRO | |
| dc.type | Article | |
| dc.contributor.org | Институт информационных технологий и интеллектуальных систем | |
| dc.description.pages | 29-35 | |
| dc.relation.ispartofseries-issue | 1 | |
| dc.relation.ispartofseries-volume | 507 | |
| dc.pub-id | 275151 | |
| dc.identifier.doi | 10.31857/S2686954322700011 |
