スキーマ言語
文書型宣言はSGMLやXML文書の冒頭に記載される。SGMLやXML文書において、どのような要素をどのように配置することが許されるかはスキーマ言語によって定義されている。歴史的経緯から、スキーマ言語としてはDTDが主に用いられてきた。文書を解析するパーサは文書型宣言に指定されたDTDを参照することで、規則に従った妥当な文書か否かを検証することができる。