ОНТОЛОГИЯ МАТЕМАТИЧЕСКОГО ЗНАНИЯ OntoMathPRO

Невзорова Ольга Авенировна; Кириллович Александр Витальевич; Липачев Евгений Константинович; Елизаров Александр Михайлович

Главная
→
Институты и другие подразделения
→
Научные ресурсы и учебно-методические пособия
→
Просмотр элемента

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