SGML/XMLによるマークアップ言語の文法(要素や属性の構造)を記述するためのメタ言語。DTD, XML Schema, RELAX NG などがある。 スキーマ言語で記述され文法定義はスキーマ文書と呼ばれ、これを使って個別のインスタンス文書の構造の正しさを機械的に検証できる。