Descriptions of DTD semantics
As I indicated a couple of days ago I mentioned that the CApH group has been working on the problem of describing the semantics of elements.
http://www.csi.uottawa.ca/~dduchier/misc/wohler1.html