OpenMath
OpenMathは、数学的対象を符号化するためのXMLベースのセマンティック標準である。MathML Contentと相補的な関係にあり、表現よりも厳密な意味を重視する。
目的
計算機代数システムとアプリケーションの間で、曖昧さのない厳密に意味論的な数学対象の表現を交換する。
メカニズム
<OMOBJ>ルートと<OMA>(適用)、<OMV>(変数)、<OMI>(整数)、<OMS>(記号、Content Dictionaryを参照)の各要素で数学対象を記述する。Content Dictionaryが記号の意味を定義する。
ユースケース
- 数式処理システム間の相互運用(CAS)
- 数学のナレッジベース
- 厳密なセマンティック交換