[ANN] dk.brics.schematools - XML Schema, RELAX NG, DTD, XML graphs

[Anders Møller <amoeller@brics.dk>]

dk.brics.schematools is a Java package for manipulation and validation
of XML graphs (also known as Summary Graphs) and schemas written in
Restricted RELAX NG, DTD, or XML Schema, and for XPath evaluation on XML
graphs.

The first public release is now available from

             http://www.brics.dk/schematools/

The package provides the following features, among others:

   * validation of XML documents and XML graphs relative to schemas
     written in XML Schema, DTD, or Restricted RELAX NG
   * inclusion checking between schemas
   * conversion from XML Schema to Restricted RELAX NG or XML graphs

An XML graph is reminiscent of an XML tree but may contain loops and
choices. Also, element/attribute names, attribute values, and chardata
are described by regular string languages. An XML graph represents a
(typically infinite) set of XML trees. The notion of XML graphs
originates from program analysis of XML transformations. Restricted
RELAX NG is a subset of RELAX NG that is sufficient for translations
from XML Schema and allows efficient validation of XML graphs.

The package is already in use in other BRICS projects:
- XSugar (http://www.brics.dk/xsugar/), a tool for translating
   between XML and non-XML syntax
- XACT (http://www.brics.dk/Xact/), a Java-based XML transformation
   language with static validation analysis
- XSLValidator (http://www.brics.dk/XSLV/), static analysis of
   XSLT stylesheets