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 条
  • [21] Knowledge Ontology: A Tool for the Unification of Knowledge
    Xiao, Guohua
    KNOWLEDGE ORGANIZATION, 2019, 46 (03): : 236 - 238
  • [22] On the ontology of knowledge graphs
    Hoede, C
    CONCEPTUAL STRUCTURES: APPLICATIONS, IMPLEMENTATION AND THEORY, 1995, 954 : 308 - 322
  • [23] Ontology in Knowledge Management
    Varlan, Simona Elena
    Furdu, Iulian Marius
    VISION 2020: INNOVATION, DEVELOPMENT SUSTAINABILITY, AND ECONOMIC GROWTH, VOLS 1-3, 2013, : 1518 - 1524
  • [24] Observations on ontology and knowledge
    Negro, Matteo
    ETICA & POLITICA, 2014, 16 (01): : 617 - 626
  • [25] From Ontology to Knowledge Graph Trend: Ontology as Foundation Layer for Knowledge Graph
    Al-Aswadi, Fatima N.
    Chan, Huah Yong
    Gan, Keng Hoon
    KNOWLEDGE GRAPHS AND SEMANTIC WEB, KGSWC 2022, 2022, 1686 : 330 - 340
  • [26] From Mathematical Knowledge for Teaching to Didactic - Mathematical Knowledge
    Godino, Juan D.
    Pino-Fan, Luis R.
    INVESTIGACION EN EDUCACION MATEMATICA XVIII, 2014, : 591 - 591
  • [27] A Mathematical Approach to Ontology Authoring and Documentation
    Lange, Christoph
    Kohlhase, Michael
    INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2009, 5625 : 389 - 404
  • [28] Mathematical Practice, Fictionalism and Social Ontology
    Jessica Carter
    Topoi, 2023, 42 : 211 - 220
  • [29] OntoLexmath: An Ontology for Dealing with Mathematical Lexicon
    Pinninghoff J, M. Angelica
    Castillo C, Angel
    Salcedo L, Pedro
    Contreras A, Ricardo
    BIOMEDICAL APPLICATIONS BASED ON NATURAL AND ARTIFICIAL COMPUTING, PT II, 2017, 10338 : 404 - 412
  • [30] Mathematical Practice, Fictionalism and Social Ontology
    Carter, Jessica
    TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 2023, 42 (01): : 211 - 220
12345