Thank you very much for the link to the example. However, I was asking for a link to a formal specification.
See the answer (which includes a sample GraphML file) to Any update please? I need this feature for partial key representation.