Conversion to ATerms with knowledge of a schema for the XML document is called interpretation of XML against a schema. This kind of conversion is work in pogress, ...

Dongwon Lee, Murali Mani, Makoto Murata. Technical Report, IBM Almaden Research Center, RJ# 10197, Log# 95071 , November 16, 2000 Abstract A mathematical framework ...

DocumentTypeDefinition was introduced in the XML standard as the schema language for XML. Because of the limited power of DTD and because it cannot handle XMLNamespaces ...