DSD: Document Semantic Description

This page link to the primitive definition of a Document Semantic Description (DSD) for XML documents. DSD attempts to propose a definition of a set-based model-theoretic documents defined by a DTD. So far, it is concentrated on DTD of languages with such a denotational semantics (Description logics, Syllogistic reasoning or Object-based knowledge representation).

• The DSD DTD
• The MathML 1.01 DTD
• The MathML 2 DTD
• The Extensions to MathNML 2 DTD
• A XSL stylesheet for assembling DSDs
• A XSL stylesheet for interpreting XML based on the DSD to LaTeX