OMDoc
OMDoc (Open Mathematical Documents) は、数学ドキュメントのセマンティックマークアップ形式です。MathMLは数式のみをカバーし、関連するOpenMath標準は数式と、数式で使用される記号の定義を含む「コンテンツ辞書」のみをサポートしますが、OMDoc は書かれた数学の全範囲をカバーします。
数学ドキュメントを開く
ファイル名拡張子 .omdoc インターネットメディアの種類
アプリケーション/omdoc+xml
によって開発された
マイケル・コールヘイス
フォーマットの種類 コンテナ MathML、OpenMath から拡張
オープンマス
標準
OMDoc 1.2
コンテンツ
1 カバレッジ
2 セマンティクスとプレゼンテーション
3 アプリケーション
4 歴史
5 今後の展開
6 こちらもご覧ください
7 参考文献
8 外部リンク
カバレッジ
OMDoc では、次の 3 つのレベルで数式を使用できます。
オブジェクトレベル
Content MathML (MathML の非プレゼンテーション サブセット)、OpenMath、または数学的ロジック用の言語で記述された数式。
ステートメント レベル
定義、定理、証明、例、およびそれらの間の関係 (「この証明はその定理を証明する」など)。
理論レベル
理論は、文脈的に関連するステートメントのセットです。理論は互いにインポートされ、それによってグラフが形成されます。シンボル定義のコレクションと見なされる OMDoc 理論は、OpenMath コンテンツ ディクショナリと互換性が
各レベルでは、アプリケーションに応じて、正式な構文と非公式の自然言語を使用できます。
セマンティクスとプレゼンテーション
OMDoc は、数学に関するテキストの意味を書き留めることができるセマンティック マークアップ言語です。たとえば、 LaTeXとは対照的に、主にプレゼンテーション指向ではありません。OMDoc ドキュメントは、その内容がどのように見えるべきかを指定する必要はありません。ただし、LaTeX およびXHTML (式のプレゼンテーションMathMLを使用)への変換は可能です。この目的のために、各シンボルの表示を定義することができます。
アプリケーション
現在、OMDoc は次の設定で使用されています。
eラーニング
カスタマイズされた教科書の作成。
データ交換
OMDoc のインポートおよびエクスポート モジュールは、多くの自動定理証明システムおよびコンピューター代数システム
で利用できます。OMDoc は、数学Web サービス間の通信に使用することを目的としています。
書類作成
数学に関するドキュメントを OMDoc で作成し、後で LaTeX や XHTML+MathML などのプレゼンテーション指向の形式にエクスポートできます。
歴史
OMDoc は、1998 年以来、ドイツの数学者でコンピューター科学者のMichael Kohlhaseによって開発されてきました。これまでに、次のリリースがありました。
1.0
1.1
1.2
今後の展開
OMDoc をベースに「技術と科学のためのセマンティック Web」のインフラを構築する予定です。この目的のために、OMDoc は数学以外の科学にも拡張されています。最初の結果はPhysMLで、OMDoc のバリアントを物理学向けに拡張したものです。
他のセマンティック Web アプリケーションとのより良い統合のために、 OMDoc のOWLオントロジーと、RDFへのエクスポート機能が開発中です。
こちらもご覧ください
数学的知識管理
参考文献
Michael Kohlhase （2006): An Open Markup Format for Mathematical Documents (Version 1.2) . 人工知能の講義ノート、いいえ。4180.スプリンガー出版社、ハイデルベルグ。ISBN 3-540-37897-9 .
外部リンク
公式ウェブサイト
OMDoc および関連プロジェクトの Wiki · “