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 条
  • [11] Ontology Knowledge Mining for Ontology Alignment
    Idoudi, Rihab
    Ettabaa, Karim Saheb
    Solaiman, Basel
    Hamrouni, Kamel
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2016, 9 (05) : 876 - 887
  • [12] MATHEMATICAL FACTS IN A PHYSICALIST ONTOLOGY
    Szabo, Laszlo E.
    PARALLEL PROCESSING LETTERS, 2012, 22 (03)
  • [13] LOGIC, ONTOLOGY, MATHEMATICAL PRACTICE
    SHAPIRO, S
    SYNTHESE, 1989, 79 (01) : 13 - 50
  • [14] TOWARDS AN EDUCATIONAL MATHEMATICAL ONTOLOGY
    Kirillovich, Alexander
    Shakirova, Liliana
    Falileeva, Marina
    Lipachev, Eugeny
    13TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED2019), 2019, : 6823 - 6829
  • [15] Representational innovation and mathematical ontology
    Muntersbjorn, MM
    SYNTHESE, 2003, 134 (1-2) : 159 - 180
  • [16] Representational Innovation and Mathematical Ontology
    Madeline M. Muntersbjorn
    Synthese, 2003, 134 : 159 - 180
  • [17] Ontology of Mathematical Entities: Substantialisation
    Kelikli, Murat
    BEYTULHIKME-AN INTERNATIONAL JOURNAL OF PHILOSOPHY, 2024, 14 (01): : 1 - 10
  • [18] Architecture of Mathematical Knowledge Management System in Education: ontology-based and case-based
    Martinez-Ramirez, Yobani
    Ramirez-Noriega, Alan
    Zayas-Esquer, Magdalena
    Miranda-Mondaca, Sergio
    Armenta-Bojorquez, Jose
    Quintero-Fonseca, Manuel
    Gonzalez-Videgaray, Maria
    Cortes-Velazquez, Consuelo
    2018 INTERNATIONAL SYMPOSIUM ON COMPUTERS IN EDUCATION (SIIE), 2018,
  • [19] Data quality ontology: An ontology for imperfect knowledge
    Frank, Andrew U.
    SPATIAL INFORMATION THEORY, PROCEEDINGS, 2007, 4736 : 406 - 420
  • [20] Ontology knowledge mining for ontology conceptual enrichment
    Idoudi, Rihab
    Ettabaa, Karim Saheb
    Solaiman, Basel
    Hamrouni, Kamel
    KNOWLEDGE MANAGEMENT RESEARCH & PRACTICE, 2019, 17 (02) : 151 - 160
12345