OntoMathPRO: Ontology of Mathematical Knowledge

被引：4
|
作者：
Elizarov, A. M. [1 ]
Kirillovich, A., V [1 ]
Lipachev, E. K. [1 ]
Nevzorova, O. A. [1 ]
机构：
[1] Kazan Fed Univ, Kazan, Russia
来源：
DOKLADY MATHEMATICS | 2022年 / 106卷 / 03期
基金：
俄罗斯科学基金会;
关键词：
ontology; ontology development; mathematical fact extraction; reified relation; mathematical knowledge management;
D O I：
10.1134/S1064562422700016
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
This article presents the first Semantic Web ontology of professional mathematical knowledge OntoMath(PRO). The ontology is designed to classify and systematize mathematical concepts. OntoMath(PRO) ontology concepts are organized into two hierarchies: a hierarchy of mathematical objects and a hierarchy of reified relations. In the design of the ontology, the meta-ontological differences defined in the top-level ontology are taken into account; concepts are divided into types and roles. Relations between concepts are given in a reified form. Role concepts are arguments of reified relations. Multilingual lexicons for extracting mathematical concepts from natural language texts are defined in the ontology. These lexicons are represented in the form of Linguistic Linked Open Data datasets. The OntoMath(PRO) project is under development and improvement. It is intended that the OntoMath(PRO) ontology will be enriched with new branches of mathematics and its area of application will be expanded.
引用
收藏
页码：429 / 435
页数：7
相关论文
共 50 条
  • [31] Combining Ontology Class Expression Generation with Mathematical Modeling for Ontology Learning
    Potoniec, Jedrzej
    Lawrynowicz, Agnieszka
    PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 4198 - 4199
  • [32] Mathematical Knowledge
    Chudnoff, Elijah
    MIND, 2009, 118 (471) : 846 - 850
  • [33] MATHEMATICAL KNOWLEDGE BUILDING - THE CONTRIBUTIONS OF ETHNOMATHEMATICAL AND INTUITIVE MATHEMATICAL KNOWLEDGE
    KIEREN, TE
    PROCEEDINGS OF THE EIGHTH ANNUAL MEETING - PME-NA: NORTH AMERICAN CHAPTER OF THE INTERNATIONAL GROUP FOR THE PSYCHOLOGY OF MATHEMATICS EDUCATION, 1986, : 14 - 19
  • [34] Context in Ontology for Knowledge Representation
    Chebba, Asmaa
    Bouabana-Tebibel, Thouraya
    Rubin, Stuart H.
    ADVANCED COMPUTATIONAL METHODS FOR KNOWLEDGE ENGINEERING, 2015, 358 : 311 - 320
  • [35] The ontology of art and knowledge in aesthetics
    Thomasson, AL
    JOURNAL OF AESTHETICS AND ART CRITICISM, 2005, 63 (03): : 221 - 229
  • [36] An ontology for static knowledge provenance
    Fox, MS
    Huang, J
    Knowledge Sharing in the Integrated Enterprise: Interoperability Strategies for the Enterprise Architect, 2005, 183 : 203 - 213
  • [37] A Core Ontology of Knowledge Acquisition
    Iria, Jose
    SEMANTIC WEB: RESEARCH AND APPLICATIONS, 2009, 5554 : 233 - 247
  • [38] Towards the Cultural Knowledge Ontology
    Phefo, Othusitse S. D.
    Kefitile, Naledi
    Hlomani, Hlomani
    2015 IEEE 16TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, 2015, : 526 - 533
  • [39] Politics, Ontology and Knowledge in Spinoza
    Bernstein, Jeffrey A.
    IDEALISTIC STUDIES, 2022, 52 (01) : 107 - 110
  • [40] An ontology for static knowledge provenance
    Fox, Mark S.
    Huang, Jingwei
    IFIP Advances in Information and Communication Technology, 2005, 183 : 203 - 213
12345