オムドック

OMDoc (Open Mathematical Documents) は、数学文書用のセマンティックマークアップ形式です。MathMLは数式のみをカバーし、関連するOpenMath標準は数式と、数式で使用される記号の定義を含む「コンテンツ ディクショナリ」のみをサポートしていますが、OMDoc は記述された数学の全範囲をカバーします。

OMDoc では、次の 3 つのレベルで数式を使用できます。

オブジェクトレベル

Content MathML (MathML の非プレゼンテーション サブセット)、OpenMath 、または数学論理言語で記述された数式。

ステートメントレベル

定義、定理、証明、例、およびそれらの関係（例：「この証明はその定理を証明します」）。

理論レベル

理論とは、文脈的に関連する一連のステートメントです。理論は相互にインポートされ、グラフを形成することがあります。シンボル定義のコレクションとして見られる OMDoc 理論は、OpenMath コンテンツ辞書と互換性があります。

各レベルでは、アプリケーションに応じて、正式な構文と非公式な自然言語を使用できます。

OMDoc は、数学に関するテキストの意味を記述できるセマンティック マークアップ言語です。たとえばLaTeXとは異なり、OMDoc は主にプレゼンテーション指向ではありません。OMDoc ドキュメントでは、その内容がどのようになるべきかを指定する必要はありません。ただし、LaTeX およびXHTML (数式には Presentation MathMLを使用) への変換は可能です。この目的のために、各記号のプレゼンテーションを定義できます。

現在、OMDoc は次の設定で使用されています。

Eラーニング

カスタマイズされた教科書の作成。

データ交換

OMDoc のインポートおよびエクスポート モジュールは、多くの自動定理証明器やコンピュータ代数システムで使用できます。OMDoc は、数学Web サービス間の通信に使用することを目的としています。

文書の準備

数学に関する文書は OMDoc で作成し、後で LaTeX や XHTML+MathML などのプレゼンテーション指向の形式にエクスポートできます。

OMDoc は、ドイツの数学者でありコンピュータ科学者でもあるMichael Kohlhase氏によって1998 年から開発されてきました。これまでに、次のリリースが行われています。

• 1.0 (2000 年 11 月)
• 1.1 (2001 年 12 月)
• 1.2 (2006 年 7 月)

OMDoc をベースにした「テクノロジーと科学のためのセマンティック ウェブ」のインフラストラクチャを構築することが計画されています。この目的のために、OMDoc は数学以外の科学分野にも拡張されています。最初の成果は、物理学向けに拡張された OMDoc のバリアントである PhysML です。

他のセマンティック Web アプリケーションとの統合を改善するために、 OMDoc のOWLオントロジーと、RDFへのエクスポート機能が開発中です。

• 数学的知識管理

• Michael Kohlhase (2006):数学文書用のオープン マークアップ形式 (バージョン 1.2)。人工知能の講義ノート、いいえ。 4180. Springer Verlag、ハイデルベルク。ISBN  3-540-37897-9。

• 公式サイト
• OMDoc および関連プロジェクトの Wiki