OntoMath${}^{\mathbf{PRO}}$ 2.0 本体：形式模型的更新
人工智能
2023-03-27 v1 数字图书馆
历史与综述
摘要
本文致力于基于本体的数学知识管理与表示问题。主要关注点为在开放关联数据云中表示数学陈述的形式模型开发。所提出的模型旨在用于从自然语言数学文本中提取数学事实并将这些事实表示为关联开放数据的应用。该模型用于开发新版本的 OntoMath 专业数学本体，文中对其进行了描述。OntoMath 支撑一个语义出版平台，该平台以 LaTeX 格式的数学论文集合为输入，构建其基于本体的关联开放数据表示。该语义出版平台又是 OntoMath 数字生态系统的核心组件，该生态系统包含用于数学知识管理的本体、文本分析工具和应用，包括数学公式的语义搜索和数学论文的推荐系统。根据新模型，本体组织为三层：基础本体层、领域本体层和语言层。领域本体层包含语言无关的数学概念。语言层为这些概念提供语言基础，基础本体层为它们提供元本体标注。这些概念组织为两个主要层级：对象层级和具体化关系层级。
引用
@article{arxiv.2303.13542,
title = {OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model},
author = {Alexander Kirillovich and Olga Nevzorova and Evgeny Lipachev},
journal= {arXiv preprint arXiv:2303.13542},
year = {2023}
}