changed definition of the rdf:JSON datatype

addressing #323

Author: pchampin

index.html

@@ -12858,48 +12858,15 @@ Serializing/Deserializing RDF
       is the set of UNICODE [[UNICODE]] strings which conform to the JSON Grammar
         as described in Section 2 JSON Grammar of [[RFC8259]].
       The value space
-      is the union of the four primitive types (strings, numbers, booleans,
-        and null) and two structured types (objects and arrays)
-        from [[ECMASCRIPT]].
-        Two JSON values A and B are considered equal if and only if the following is true:
-        
-          If A and B are both objects,
-            both A and B have the same number of entries,
-            and each entry in A is equal to a corresponding entry in B
-            where 
-              the keys are equal (as defined in Section 7.2.13, step 5.a
-                  in [[ECMASCRIPT]]), and
-              the values are considered equal through
-                applying this comparison recursively.
-            
-          Otherwise, if A and B are both arrays,
-            both A and B have the same number of elements,
-            and each element Ai is considered
-            equal to the corresponding element Bi
-            through applying this comparison recursively.
-          Otherwise, if A and B satisfy the
-            Strict Equality Comparison
-            defined in Section 7.2.16 in [[ECMASCRIPT]].
-          Otherwise, A and B are not equal.
-        
-      
-      The lexical-to-value mapping
-      is the result of parsing the lexical representation into
-        an internal representation consistent with [[ECMASCRIPT]] representation
-        created by using the JSON.parse function as defined in
-        Section 24.5 The JSON Object of [[ECMASCRIPT]].
-      The canonical mapping
-      is non-normative, as a normative recommendation for
-        JSON canonicalization is not yet defined. Implementations
-        SHOULD use the following guidelines when creating the lexical
-        representation of a JSON literal:
-
-        
-          Serialize JSON using no unnecessary whitespace,
-          Keys in objects SHOULD be ordered lexicographically,
-          Native Numeric values SHOULD be serialized according to
+      is the set of UNICODE [[UNICODE]] strings which conform to the JSON Grammar
+        as described in Section 2 JSON Grammar of [[RFC8259]],
+        and furthermore comply with the following constraints:
+        
+          It MUST not contain any unnecessary whitespace,
+          Keys in objects MUST be ordered lexicographically,
+          Native Numeric values MUST be serialized according to
             Section 7.1.12.1 of [[?ECMASCRIPT]],
-          Strings SHOULD be serialized with Unicode codepoints from U+0000 through U+001F
+          Strings MUST be serialized with Unicode codepoints from U+0000 through U+001F
             using lower case hexadecimal Unicode notation (\uhhhh) unless in the set
             of predefined JSON control characters U+0008, U+0009,
             U+000A, U+000C or U+000D
@@ -12908,7 +12875,6 @@ Serializing/Deserializing RDF
             U+005C (\) and U+0022 (")
             which SHOULD be serialized as \\ and \" respectively.
         
-
 
           is an emerging standard for JSON canonicalization
           not yet ready to be referenced.
@@ -12917,7 +12883,25 @@ Serializing/Deserializing RDF
           Users are cautioned from depending on the
           JSON literal lexical representation as an RDF literal,
           as the specifics of serialization may change in a future revision of this document.
+        Despite being defined as a set of strings,
+        this value space is considered distinct from the value space of `xsd:string`,
+        in order to avoid side effects with existing specifications.
       
+      The lexical-to-value mapping
+      maps any element of the lexical space to the result of
+        
+          parsing it into
+            an internal representation consistent with [[ECMASCRIPT]] representation
+            created by using the JSON.parse function as defined in
+            Section 24.5 The JSON Object of [[ECMASCRIPT]],
+          then serializing it in the JSON format [[RFC8259]]
+            in compliance with the constraints of the value space described above.
+          
+        
+      
+      The canonical mapping
+      maps any element of the value space to the identical string in the lexical space.
+