Nodes whose type is an XML Schema datatype are mapped into subsets of the mapping of that XML Schema datatype. All other nodes are mapped into singleton subsets of AD . There currently is no unique name assumption. A method for asserting the equality and inequality of individuals would be helpful. The semantics is specified via mappings from syntactic structures to constraints on semantic structures.
Some mappings require the presence of several triples.
First we include a few preliminary mappings. Some of the effects of these mappings follow from the setup of the semantic structure above and from the definitions in the syntax document, but are included here for emphasis.