This specification provides the mappings from the functional notation used by into R·D·F. The terms for these mappings are taken as axiomatic for this ontology, and not given special notice or defined.