論文の概要: 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つの主要な階層にまとめられている。
関連論文リスト
- MathGloss: Building mathematical glossaries from text [0.620048328543366]
MathGlossは数学の学部概念のデータベースである。
最新の自然言語処理(NLP)ツールとWeb上で既に利用可能なリソースを使用している。
論文 参考訳(メタデータ) (2023-11-21T14:49:00Z) - math-PVS: A Large Language Model Framework to Map Scientific
Publications to PVS Theories [10.416375584563728]
本研究では,大規模言語モデル(LLM)の高度な数学的概念の定式化への適用性について検討する。
我々は、研究論文から数学的定理を抽出し、形式化する、Emphmath-PVSと呼ばれる自動過程を構想する。
論文 参考訳(メタデータ) (2023-10-25T23:54:04Z) - Parmesan: mathematical concept extraction for education [0.5520082338220947]
本研究では,カテゴリー論の分野に焦点をあて,文脈における数学的概念の探索と定義を行うプロトタイプシステムの開発を行う。
このシステムは、概念抽出、関係抽出、定義抽出、エンティティリンクを含む自然言語処理コンポーネントに依存している。
また,ジャーナル記事やウィキページをベースとしたプロトタイプシステムを利用した2つのクリーンな数学的コーパスも提供する。
論文 参考訳(メタデータ) (2023-07-13T11:55:03Z) - CatE: Embedding $\mathcal{ALC}$ ontologies using category-theoretical
semantics [78.217418197549]
そこで我々はカテゴリ理論のセマンティクスを用いて公理のグラフ表現を生成するCatEを開発した。
CatEは, 埋込工法を改良することを示す。
また,CatEはバイオメディカル領域における機械学習タスクにおいて,モデル理論の埋め込み手法よりも優れていることを示す。
論文 参考訳(メタデータ) (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) - Self-Supervised Pretraining of Graph Neural Network for the Retrieval of
Related Mathematical Expressions in Scientific Articles [8.942112181408156]
本稿では,機械学習に基づく数学的表現の検索手法を提案する。
埋め込み学習と自己教師型学習を組み合わせた教師なし表現学習タスクを設計する。
arXiv.orgで発行された90,000以上の出版物から、9900万以上の数学的表現を持つ巨大なデータセットを収集します。
論文 参考訳(メタデータ) (2022-08-22T12:11:30Z) - Taxonomy Enrichment with Text and Graph Vector Representations [61.814256012166794]
我々は,既存の分類学に新たな語を加えることを目的とした分類学の豊かさの問題に対処する。
我々は,この課題に対して,少ない労力で高い結果を得られる新しい手法を提案する。
我々は、異なるデータセットにわたる最先端の結果を達成し、ミスの詳細なエラー分析を提供する。
論文 参考訳(メタデータ) (2022-01-21T09:01:12Z) - Formalising Concepts as Grounded Abstractions [68.24080871981869]
このレポートは、表現学習が生データから概念を誘導する方法を示しています。
このレポートの主な技術的目標は、表現学習のテクニックが概念空間の格子理論的定式化とどのように結婚できるかを示すことである。
論文 参考訳(メタデータ) (2021-01-13T15:22:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。