Kazan (Volga region) Federal University, KFU
KAZAN
FEDERAL UNIVERSITY
 
ОНТОЛОГИЯ МАТЕМАТИЧЕСКОГО ЗНАНИЯ ONTOMATHPRO
Form of presentationArticles in Russian journals and collections
Year of publication2023
Языкрусский
  • Elizarov Aleksandr Mikhaylovich, author
  • Kirillovich Aleksandr Vitalevich, author
  • Lipachev Evgeniy Konstantinovich, author
  • Nevzorova Olga Avenirovna, author
  • Bibliographic description in the original language Elizarov A.M. ONTOLOGIYa MATEMATIChESKOGO ZNANIYa OntoMathPRO / A.M. Elizarov, A.V. Kirillovich, E.K. Lipachyov, O.A. Nevzorova // Doklady Rossiyskoy akademii nauk. Matematika, informatika, processy upravleniya. - 2022. - T. 507. - N 1. - S. 29-35. DOI: 10.31857/S2686954322700011
    Annotation Представлена онтология OntoMathPRO - первая семантическая веб-онтология профессионального математического знания, предназначенная для классификации и систематизации математических понятий.
    Keywords онтология, онтологическое проектирование, извлечение математических фактов, материализованное отношение, управление математическим знанием
    The name of the journal Доклады Академии наук
    On-line resource for training course http://dspace.kpfu.ru/xmlui/bitstream/handle/net/173496/F_DANI0029_p1.pdf?sequence=1&isAllowed=y
    URL https://elibrary.ru/item.asp?id=49991280
    Please use this ID to quote from or refer to the card https://repository.kpfu.ru/eng/?p_id=275151&p_lang=2
    Resource files 
    File name Size (MB) Format  
    F_DANI0029_p1.pdf 0,05 pdf show / download

    Full metadata record