Eine Schemasprache (englischschema definition language, auch Schema-Definitionssprache oder Dokumenttyp-Definitionssprache) ist eine Sprache zur Klassifizierung von XML-Dokumenten und zur syntaktischen Beschreibung bezüglich ihrer Struktur und ihres Inhalts. Eine Dokumenttyp-Definition bietet eine Sicht auf den Dokumenttyp auf einem relativ hohen Abstraktionsgrad.
Die in die XML-Spezifikation eingebettete Dokumenttypdefinition (DTD) bietet relativ wenige Möglichkeiten zur Validierung und kann nur lokale Baumgrammatiken beschreiben.
Eine weitere stark verbreitete Dokumenttyp-Definitionssprache ist XML Schema. Im Gegensatz zu DTDs kann diese Single-Type-Grammatiken beschreiben.
Mit RELAX NG ist es möglich jede reguläre Baum-Grammatik zu formulieren, auch solche mit mehrdeutigen Regeln.