Catálogo de publicaciones - libros

In this appendix, we document the changes of the OMDoc format over the versions, provide quick reference tables, and discuss the validation helps.

After about 18 Months of development, Version 1.0 of the format was released on November 1 2000 to give users a stable interface to base their documents and systems on. It was adopted by various projects in automated deduction, algebraic specification, and computer-supported education. The experience from these projects uncovered a multitude of small deficiencies and extension possibilities of the format, that have been subsequently discussed in the community.

1.1 was released on December 29 2001 as an attempt to roll the uncontroversial and non-disruptive part of the extensions and corrections into a consistent language format. The changes to version 1.0 were largely conservative, adding optional attributes or child elements. Nevertheless, some non-conservative changes were introduced, but only to less used parts of the format or in order to remedy design flaws and inconsistencies of version 1.0.

1.2 is the mature version in the 1 series of specifications. It contains almost no large-scale changes to the document format, except that Content- is now allowed as a representation for mathematical objects. But many of the representational features have been fine-tuned and brought up to date with the maturing XML technology (e.g. attributes now follow the XML ID specification [MVW05], and the Dublin Core elements follow the official syntax [DUB03a]). The main development is that the specification, the DTD, and schema are split into a system of interdependent modules that support independent development of certain language aspects and simpler specification and deployment of sub-languages. Version 1.2 freezes the development so that version 2 can be started off on the modules.

In the following, we will keep a log on the changes that have occurred in the released versions of the format. We will briefly tabulate the changes by element name. For the state of an element we will use the shorthands “dep” for deprecated (i.e. the element is no longer in use in the new version), “cha” for changed, if the element is re-structured (i.e. some additions and losses), “new” if did not exist in the old version, “lib”, if it was liberalized (e.g. an attribute was made optional) and finally “aug” for augmented, i.e. if it has obtained additional children or attributes in the new version.

All changes will be relative to the previous version, starting out with OMDoc 1.0.

In this appendix, we document the changes of the OMDoc format over the versions, provide quick reference tables, and discuss the validation helps.

In this chapter we will describe various public resources for working with the format.

We reprint the modularized schema for here. It is available at and consists of separate files for the modules, which are loaded by the schema driver in this directory. We will use the abbreviated syntax for here, since the XML syntax, document type definitions and even XML schemata can be generated from it by standard tools.

The schema consists of the grammar fragments for the modules (see Appendices D.3 to D.14), a definition of the most common attributes that occur in several of the modules (see Appendix D.2), and the sub-language driver files which we will introduce next.

For completeness we reprint the schemata for the external formats makes use of.