Mappings

RDF/XML <=> N-Triples - from issue test-cases
Model Theory <=> abstract syntax
RDF/XML <=> abstract syntax
Various formal syntax proposals: 1, 2