| Постоянная ссылка (СИД2) |
J2094749355 |
| Название |
ОНТОЛОГИЯ МАТЕМАТИЧЕСКОГО ЗНАНИЯ OntoMathPRO |
| Автор |
Елизаров А. М. |
| Автор |
Кириллович А. В. |
| Автор |
Липачев Е. К. |
| Автор |
Невзорова О. А. |
| Источник |
Доклады Российской академии наук. Математика, информатика, процессы управления |
| Страницы/Объём |
29-35 |
| Сокращ. назв. источника |
Докл. РАН. Мат., информатика, проц. упр. |
| Год |
2022 |
| Том |
507 |
| Адрес в Интернет |
http://elibrary.ru/item.asp?id=49991280 |
| Постоянная ссылка (СИД) |
J20947493 |
| Ключевые слова (авторские) |
извлечение математических фактов%материализованные отношения%онтологии%онтологическое проектирование%управление математическим |
| Дата регистрации в ВИНИТИ |
29.12.2022 |
| Место хранения |
Удаленный доступ. Эл. регистр. НЭБ |
| Язык текста |
русский |
| Аннотация |
Представлена онтология OntoMathPRO - первая семантическая веб-онтология профессионального математического знания, предназначенная для классификации и систематизации математических понятий. Концепты онтологии организованы в две иерархии: математических объектов и материализованных отношений. Учтены мета-онтологические различия, определенные в онтологии верхнего уровня, проведено разделение концептов на типы и роли. Отношения между понятиями заданы в материализованном виде. Аргументами материализованных отношений являются концепты-роли. В онтологии определены также многоязычные лексиконы для выражения математических концептов в текстах на естественном языке. Эти лексиконы представлены в виде наборов лингвистических открытых связанных данных. Проект построения OntoMathPRO находится в развитии и предусматривает пополнение онтологии новыми разделами математики и расширение сферы ее практического применения |
| Тематический раздел |
Математика |