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

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

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

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

Дата публикации: 2023

Дата публикации в реестре: 2023-02-21T12:21:11Z

Аннотация:

Представлена онтология OntoMathPRO - первая семантическая веб-онтология профессионального математического знания, предназначенная для классификации и систематизации математических понятий.

Ключевые слова:
онтология, онтологическое проектирование, извлечение математических фактов, материализованное отношение, управление математическим знанием, Информатика, Математика

Тип: Article

Права: open access