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 条
  • [41] Ontology Model for Indigenous Knowledge
    Yulianti, Lenny Putri
    Surendro, Kridanto
    2018 INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY SYSTEMS AND INNOVATION (ICITSI), 2018, : 231 - 236
  • [42] An ontology for microarchitectural design knowledge
    Garzás, J
    Piattini, M
    IEEE SOFTWARE, 2005, 22 (02) : 28 - +
  • [43] Ontology Matching with Knowledge Rules
    Jiang, Shangpu
    Lowd, Daniel
    Kafle, Sabin
    Dou, Dejing
    TRANSACTIONS ON LARGE-SCALE DATA- AND KNOWLEDGE-CENTERED SYSTEMS XXVIII: SPECIAL ISSUE ON DATABASE- AND EXPERT-SYSTEMS APPLICATIONS, 2016, 9940 : 75 - 95
  • [44] Ontology, logic, and knowledge organization
    Dahlberg, I
    KNOWLEDGE ORGANIZATION, 1996, 23 (03): : 129 - 129
  • [45] Politics, Ontology and Knowledge in Spinoza
    Taylor, Dan
    BRITISH JOURNAL FOR THE HISTORY OF PHILOSOPHY, 2021, 29 (06) : 1201 - 1204
  • [46] IMAGES, ONTOLOGY, AND UNCERTAIN KNOWLEDGE
    Fielding, James M.
    Marwede, Dirk
    PHILOSOPHY PSYCHIATRY & PSYCHOLOGY, 2011, 18 (04) : 319 - 321
  • [47] A formal ontology of knowing and knowledge
    Garbacz, Pawel
    Kulicki, Piotr
    Trypuz, Robert
    KNOWLEDGE MANAGEMENT RESEARCH & PRACTICE, 2012, 10 (03) : 206 - 226
  • [48] Domain Ontology for Construction Knowledge
    El-Diraby, Tamer E.
    JOURNAL OF CONSTRUCTION ENGINEERING AND MANAGEMENT, 2013, 139 (07) : 768 - 784
  • [49] An ontology based knowledge clustering method in knowledge space
    Gou, Jin
    Wu, Yangyang
    Luo, Wei
    2007 INTERNATIONAL WORKSHOP ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION, 2007, : 405 - +
  • [50] A knowledge categorization based knowledge ontology metadata model
    Hao, Xing-Wei
    Meng, Xiang-Xu
    Cui, Xij
    PROCEEDINGS OF 2007 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2007, : 4104 - 4108
12345