RDF Formal Semantics