This page provides a wrapper and LARGE LETTERED DISCLAIMER to accompany some files kindly provided to us by Henry Thompson, part of work that he and other have been doing at the University of Edinburgh. The code uses XSLT to explore the decoration of (if I have this correctly) XML instance data with infoset annotations that show how application-specific data models can be mapped into XML structures. This is achieved by using XSV to generate XML documents that serialize annotated PSVIs (post schema validated infosets), and then using XSLT to generate application-specific representations (intially, Java and First Order logic) by transformation. More details are in the 00README overview page.
This relates to our work in SWAD-Europe on XML/RDF Integration, and on the mapping of RDF into RDBMS data structures.
Henry asked that I include big disclaimers if making this early snapshot public, so please be warned that this is work in progress etc etc. See 00COPYRIGHT for license information.
The tools use XSV (XML Schema Validator). XSV is is an open source (GPLed) Python tool, which aims to be a conformant XML schema-aware processor. See the XSV Current Status page for details and code.