4 Formal Specification

Digital Ricœur imposes requirements for the structure of TEI documents that are more stringent than merely being well-formed XML that is valid with respect to the DR-TEI.dtd Document Type Definition.

The rest of this manual has introduced the structure of our documents and these project-specific requirements in an informal tutorial style. This section specifies these requirements in a precise, succinct form suitable for reference once you understand the basics. The prose is generated from the same source code as the Racket programs that enforce these requirements, ensuring that the two remain in sync.

TEI element TEI

Attributes:

version   :   "5.0"

xmlns   :   "http://www.tei-c.org/ns/1.0"

Required attributes:

version and xmlns

Children:

1   teiHeader    1   text

Required order:

teiHeader, text

The document should begin with a prelude, which must be exactly as follows:

<?xml version="1.0" encoding="utf-8"?>

The root element is a TEI element, which contains exactly (in order) teiHeader and text elements. It must have the attributes version="5.0" and xmlns="http://www.tei-c.org/ns/1.0".