Doklady Rossijskoj Akademii Nauk. Mathematika, Informatika, Processy Upravlenia
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Dokl. RAN. Math. Inf. Proc. Upr.:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Doklady Rossijskoj Akademii Nauk. Mathematika, Informatika, Processy Upravlenia, 2022, Volume 507, Pages 29–35
DOI: https://doi.org/10.31857/S2686954322700011 (Mi danma314) 		 
This article is cited in 9 scientific papers (total in 9 papers)

MATHEMATICS

OntoMath$^{\operatorname{PRO}}$ : An ontology of mathematical knowledge

A. M. Elizarov, A. V. Kirillovich, E. K. Lipachev, O. A. Nevzorova

Kazan Federal University, Kazan, Russia
Citations (9)
References:
PDF
HTML
DOI: https://doi.org/10.31857/S2686954322700011
Abstract: The article describes OntoMath$^{\operatorname{PRO}}$, the first Linked Open Data ontology of professional mathematical knowledge. The ontology is designed to represent mathematical concepts. The concepts of the ontology are organized into two hierarchies: a hierarchy of mathematical objects and a hierarchy of reified relationships. OntoMath$^{\operatorname{PRO}}$ respects meta-ontological distinctions provided by a foundational ontology and annotates the concepts as kinds and roles. Relationships between mathematical objects are represented in a reified form, i.e., as instances of relationship concepts linked to their arguments that are instances of role concepts. The ontology defines multilingual lexicons that describe how the concepts are expressed in natural language text. The lexicons are represented as Linguistic Linked Open Data datasets. The OntoMath$^{\operatorname{PRO}}$ ontology is under development and will be enriched by new areas of mathematics.
Keywords: ontology, ontology development, mathematical fact extraction, reified relation, mathematical knowledge management.
Funding agency Grant number
Russian Science Foundation 21-11-00105
This work was supported by the Russian Science Foundation, project no. 21-11-00105.
Presented: E. I. Moiseev
Received: 03.06.2022
Revised: 24.07.2022
Accepted: 06.09.2022
English version:
Doklady Mathematics, 2022, Volume 106, Pages 429–435
DOI: https://doi.org/10.1134/S1064562422700016
Bibliographic databases:
Document Type: Article
UDC: 004.912
Language: Russian
Citation: A. M. Elizarov, A. V. Kirillovich, E. K. Lipachev, O. A. Nevzorova, “OntoMath$^{\operatorname{PRO}}$ : An ontology of mathematical knowledge”, Dokl. RAN. Math. Inf. Proc. Upr., 507 (2022), 29–35; Dokl. Math., 106 (2022), 429–435
Citation in format AMSBIB
\Bibitem{EliKirLip22}
\by A.~M.~Elizarov, A.~V.~Kirillovich, E.~K.~Lipachev, O.~A.~Nevzorova
\paper OntoMath$^{\operatorname{PRO}}$ : An ontology of mathematical knowledge
\jour Dokl. RAN. Math. Inf. Proc. Upr.
\yr 2022
\vol 507
\pages 29--35
\mathnet{http://mi.mathnet.ru/danma314}
\crossref{https://doi.org/10.31857/S2686954322700011}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4563842}
\elib{https://elibrary.ru/item.asp?id=49991280}
\transl
\jour Dokl. Math.
\yr 2022
\vol 106
\pages 429--435
\crossref{https://doi.org/10.1134/S1064562422700016}
Linking options:
  • https://www.mathnet.ru/eng/danma314
  • https://www.mathnet.ru/eng/danma/v507/p29
    • This publication is cited in the following 9 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Doklady Rossijskoj Akademii Nauk. Mathematika, Informatika, Processy Upravlenia Doklady Rossijskoj Akademii Nauk. Mathematika, Informatika, Processy Upravlenia
    Statistics & downloads:
    Abstract page:115
    References:29
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024