論文の概要: OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model
- arxiv url: http://arxiv.org/abs/2303.13542v1
- Date: Fri, 17 Mar 2023 20:29:17 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-31 16:26:14.271614
- Title: OntoMath${}^{\mathbf{PRO}}$ 2.0 Ontology: Updates of the Formal Model
- Title（参考訳）: OntoMath${}^{\mathbf{PRO}}$2.0オントロジー:形式モデルの更新
- Authors: Alexander Kirillovich, Olga Nevzorova, Evgeny Lipachev
- Abstract要約: 主な関心は、Open Linked Dataクラウドにおける数学的ステートメントを表現するための形式モデルの開発である。
提案モデルは、自然言語の数学的テキストから数学的事実を抽出し、これらの事実をLinked Open Dataとして表現するアプリケーションを対象としている。
このモデルは OntoMath$mathrmPRO$ ontology of professional mathematics の新バージョンの開発に使用される。
- 参考スコア（独自算出の注目度）: 68.8204255655161
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: This paper is devoted to the problems of ontology-based mathematical
knowledge management and representation. The main attention is paid to the
development of a formal model for the representation of mathematical statements
in the Open Linked Data cloud. The proposed model is intended for applications
that extract mathematical facts from natural language mathematical texts and
represent these facts as Linked Open Data. The model is used in development of
a new version of the OntoMath${}^{\mathrm{PRO}}$ ontology of professional
mathematics is described. OntoMath${}^{\mathrm{PRO}}$ underlies a semantic
publishing platform, that takes as an input a collection of mathematical papers
in LaTeX format and builds their ontology-based Linked Open Data
representation. The semantic publishing platform, in turn, is a central
component of OntoMath digital ecosystem, an ecosystem of ontologies, text
analytics tools, and applications for mathematical knowledge management,
including semantic search for mathematical formulas and a recommender system
for mathematical papers. According to the new model, the ontology is organized
into three layers: a foundational ontology layer, a domain ontology layer and a
linguistic layer. The domain ontology layer contains language-independent math
concepts. The linguistic layer provides linguistic grounding for these
concepts, and the foundation ontology layer provides them with meta-ontological
annotations. The concepts are organized in two main hierarchies: the hierarchy
of objects and the hierarchy of reified relationships.
- Abstract（参考訳）: 本稿では,オントロジーに基づく数学的知識管理と表現の問題に焦点をあてる。
オープンリンクデータクラウドにおける数学的ステートメント表現のための形式モデルの開発には、主に注意が払われている。
提案モデルは、自然言語数学的テキストから数学的事実を抽出し、これらの事実を連結オープンデータとして表現するアプリケーションを対象としている。
このモデルは、プロ数学のオントロジーであるOntoMath${}^{\mathrm{PRO}}$ Ontologyの新バージョンの開発に使用される。
OntoMath${}^{\mathrm{PRO}}$はセマンティックパブリッシングプラットフォームの基礎であり、LaTeXフォーマットで数学的論文の集合を入力として、オントロジーベースのLinked Open Data表現を構築する。
セマンティックパブリッシングプラットフォームは、オントロジーデジタルエコシステム、オントロジー、テキスト分析ツール、数学的知識管理のためのアプリケーション、数学的公式のセマンティック検索、数学論文のレコメンデータシステムの中心となるコンポーネントである。
新しいモデルによると、オントロジーは、基礎オントロジー層、ドメインオントロジー層、言語層という3つの層に分けられる。
ドメインオントロジー層は言語に依存しない数学の概念を含んでいる。
言語層はこれらの概念の言語的基盤を提供し、基礎オントロジー層はメタオントロジーアノテーションを提供する。
概念は、オブジェクトの階層と再定義された関係の階層という2つの主要な階層にまとめられている。
関連論文リスト
- Towards a Knowledge Graph for Models and Algorithms in Applied Mathematics [0.0]
この研究データをFAIRにするために、モデルとアルゴリズム、およびそれらの関係を意味的に表現することを目指している。
2つのアルゴリズム的タスク間のリンクは、対応するタスクに対応するモデリングで発生するため確立される。
ここでは、行列の対称性や数学的モデルの線型性など、対象固有のメタデータが関係している。
論文 参考訳（メタデータ） (2024-08-19T13:57:49Z) - Ontology Embedding: A Survey of Methods, Applications and Resources [54.3453925775069]
オントロジはドメイン知識とメタデータを表現するために広く使われている。
1つの簡単な解決策は、統計分析と機械学習を統合することである。
埋め込みに関する多くの論文が出版されているが、体系的なレビューの欠如により、研究者はこの分野の包括的な理解を妨げている。
論文 参考訳（メタデータ） (2024-06-16T14:49:19Z) - MathBench: Evaluating the Theory and Application Proficiency of LLMs with a Hierarchical Mathematics Benchmark [82.64129627675123]
MathBenchは、大規模言語モデルの数学的能力を厳格に評価する新しいベンチマークである。
MathBenchは幅広い数学の分野にまたがっており、理論的な理解と実践的な問題解決のスキルの両方を詳細に評価している。
論文 参考訳（メタデータ） (2024-05-20T17:52:29Z) - Fundamental Components of Deep Learning: A category-theoretic approach [0.0]
この論文は、カテゴリ理論の言語に基づく、ディープラーニングのための新しい数学的基礎を発展させている。
我々はまた、既存の多くのアプローチを体系化し、多くの既存の構成と概念を同じ傘の下に置きます。
論文 参考訳（メタデータ） (2024-03-13T01:29:40Z) - MathGloss: Building mathematical glossaries from text [0.620048328543366]
MathGlossは数学の学部概念のデータベースである。
最新の自然言語処理(NLP)ツールとWeb上で既に利用可能なリソースを使用している。
論文 参考訳（メタデータ） (2023-11-21T14:49:00Z) - Parmesan: mathematical concept extraction for education [0.5520082338220947]
本研究では,カテゴリー論の分野に焦点をあて,文脈における数学的概念の探索と定義を行うプロトタイプシステムの開発を行う。
このシステムは、概念抽出、関係抽出、定義抽出、エンティティリンクを含む自然言語処理コンポーネントに依存している。
また,ジャーナル記事やウィキページをベースとしたプロトタイプシステムを利用した2つのクリーンな数学的コーパスも提供する。
論文 参考訳（メタデータ） (2023-07-13T11:55:03Z) - Lattice-preserving $\mathcal{ALC}$ ontology embeddings with saturation [50.05281461410368]
OWL表現の埋め込みを生成するため,順序保存型埋め込み法を提案する。
本手法は,いくつかの知識ベース完了タスクにおいて,最先端の組込み手法よりも優れていることを示す。
論文 参考訳（メタデータ） (2023-05-11T22:27:51Z) - Tree-Based Representation and Generation of Natural and Mathematical
Language [77.34726150561087]
科学コミュニケーションと教育シナリオにおける数学的言語は重要であるが、比較的研究されている。
数学言語に関する最近の研究は、スタンドアローンな数学的表現や、事前訓練された自然言語モデルにおける数学的推論に焦点をあてている。
テキストと数学を共同で表現・生成するために,既存の言語モデルに対する一連の修正を提案する。
論文 参考訳（メタデータ） (2023-02-15T22:38:34Z) - A Survey of Deep Learning for Mathematical Reasoning [71.88150173381153]
我々は過去10年間の数学的推論とディープラーニングの交差点における重要なタスク、データセット、方法についてレビューする。
大規模ニューラルネットワークモデルの最近の進歩は、新しいベンチマークと、数学的推論にディープラーニングを使用する機会を開放している。
論文 参考訳（メタデータ） (2022-12-20T18:46:16Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。