Inside the a concrete dialect, DTS usually has brand new datatypes supported by that dialect. All of the RIF languages have to keep the datatypes that will be checklisted in Part Datatypes away from [RIF-DTB]. Its value spaces together with lexical-to-value-room mappings for those datatypes are explained in identical point.
Although the lexical and the value spaces might sometimes look similar, one should not confuse them. Lexical spaces define the syntax of the constant symbols in the RIF language. Value spaces define the meaning of the constants. The lexical and the value spaces are often not even isomorphic.