Edinburgh Schema Mapping Framework (ESME) examples

This work comes from a UK government (EPSRC) funded research project
at the University of Edinburgh, carried out by Henry S. Thompson and
Ari Krupnikov. Background material, original published at XML 2001
Orlando, describes our ideas about Normal forms for XML
(http://www.ltg.ed.ac.uk/~ht/normal.html) and XML databinding using
schema annotation (http://www.ltg.ed.ac.uk/~ht/mapping.html).

There are two example input pairs, that is xml instance plus annotated
XML Schema documents:

  po.xml, po.xsd
  ifx.xml, ifx.xsd

The first two steps in processing are always the same --
schema-validate to produce a reflected PSVI, then process this with a
stylesheet to produce a completely mapping-decorated pseudo-instance:

  > xsv -r rel po.xml po.xsd | cat infoset-r.dtd - > po-psvi.xml
  > saxon po-psvi.xml infoset-r.xsl > po-mapped.xml

[or s/po/ifx/ throughout]

Any XSLT processor can be used instead of saxon.

Alternatives go forward depending on which output is desired -- the
provided examples support first-order predicate logic and java:

  > saxon po-mapped.xml logicOut.xsl > po-fopl.xml
or
  > saxon po-mapped.xml javaInit.xsl > po.java

In the logic case, there are then two alternative viewers:

  > saxon po-fopl.xml fopl.html.xsl group=yes > po-fopl.html
  > saxon po-fopl.xml fopl.txt.xsl group=yes > po-fopl.txt

This is an earlier, relatively stable, version of stuff, with no
handling of re-entrancy.