MMLKG:数学定义,陈述和证明的知识图
Dominik Tomaszuk1, Łukasz Szeremeta2, Artur Korniłowicz2
1University of Bialystok, Faculty of Computer Science, Bialystok, 15-245, Poland. d.tomaszuk@uwb.edu.pl.
本研究介绍了米扎尔数学图书馆知识图 (MMLKG),这是组织数学知识的新方法. MMLKG增强了Mizar数学图书馆 (MML) 的数据互操作性和可访问性.
科学领域:
- 计算机科学 计算机科学
- 数学 数学 是一个数学.
- 信息科学 信息科学 信息科学
背景情况:
- 知识图 (KG) 在各种领域至关重要,但缺乏可互操作的数学数据集阻碍了网络集成.
- 米扎尔数学图书馆 (MML) 包含有价值的数学定义和定理,但很难从中提取外部使用的信息.
研究的目的:
- 为了应对网络上的数学数据集的互操作性挑战.
- 为米扎尔数学图书馆 (MML) 提出一种新的数据存储和检索方法.
主要方法:
- 使用知识组织系统 (KOS) 模型和KG概念开发了米扎尔数学图书馆知识图 (MMLKG).
- 将数学对象组织成一个词典结构.
- 确保数据符合FAIR数据原则 (可查找,可访问,可互操作,可重复使用).
主要成果:
- MMLKG提供了一种结构化的方式来组织和访问MML中的知识.
- 该MMLKG促进语义互操作性,使数据能够与Wikidata等外部来源进行链接.
- 开发的知识图可以通过Cypher端点对公众进行访问.
结论:
- 米扎尔数学图书馆知识图 (MMLKG) 显著提高了数学知识的可访问性和互操作性.
- MMLKG支持FAIR数据原则,促进数学资源的更广泛使用和整合.
- 这项工作为网络上的数学领域内的增强数据交换铺平了道路.
更多相关视频
07:35A Knowledge Graph Approach to Elucidate the Role of Organellar Pathways in Disease via Biomedical Reports
Published on: October 13, 2023
10:26Problem-Solving Before Instruction PS-I: A Protocol for Assessment and Intervention in Students with Different Abilities
Published on: September 11, 2021
相关概念视频
Relation between Mathematical Equations and Block Diagrams
Theorems of Pappus and Guldinus: Problem Solving
Theorems of Pappus and Guldinus
For finding the surface area, consider a differential line element that generates a ring with surface area dA when revolved.
Natural and Artificial Concepts
Dimensional Analysis
Kirchhoff's Rules
Kirchhoff's first rule is called the junction rule. A junction, also known as a node, is a connection of three or more wires. The rule states that the sum of all currents entering a junction must equal the sum of all currents leaving the junction.
