Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Updates rdf:JSON value space. #66

Merged
merged 14 commits into from
Jun 27, 2024
+83 −53
Merged

Updates rdf:JSON value space. #66

Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
e5ffeea
Updates rdf:JSON value space.
gkellogg Sep 26, 2023
ee1f0ca
Fix expanded JCS reference.
gkellogg Sep 26, 2023
478b889
Apply suggestions from code review
gkellogg Sep 28, 2023
806caad
Updates value space of rdf:JSON using INFRA and XSD and defines the l…
gkellogg Apr 8, 2024
753d785
Update RFC5785 with RFC8615.
gkellogg Apr 8, 2024
166fa3f
Use I18N-GLOSSARY instead of i18n-glossary.
gkellogg Apr 8, 2024
a455a29
More updates to informative references.
gkellogg Apr 8, 2024
e69e218
Apply suggestions from code review
gkellogg May 18, 2024
19bdd61
* Update rdf:JSON datatype to mandate that numbers be expresed as IEE…
gkellogg May 18, 2024
7564ec6
Remove rdf:JSON canonical mapping.
gkellogg May 23, 2024
5bdf5af
* Removes xsd:double as a lexical constraint, which is unnecessary.
gkellogg Jun 1, 2024
0ce23a6
Note on numbers that have infinite values.
gkellogg Jun 19, 2024
8db454f
Apply suggestions from code review
gkellogg Jun 24, 2024
93a5509
Update spec/index.html
gkellogg Jun 24, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 11 additions & 4 deletions spec/index.html
View file
Open in desktop
pfps marked this conversation as resolved.
Show resolved Hide resolved
Original file line number Diff line number Diff line change
Expand Up @@ -1531,8 +1531,10 @@ <h3>The <code>rdf:JSON</code> Datatype</h3>
<dd>is the set of
<a>strings</a>,
numbers (<a data-cite="XMLSCHEMA11-2#double"><strong>xsd:double</strong></a>),
<a data-cite="INFRA#ordered-map">maps (unordered)</a>,
<a data-cite="INFRA#list">lists</a>, and
<a data-cite="INFRA#ordered-map">maps</a>
(mapping <a>strings</a> to values in the <a href="#JSON-value-space">value space</a> where the order of <a data-cite="INFRA#entry">map entries</a> is not significant),
<a data-cite="INFRA#list">lists</a>
(of values in the <a href="#JSON-value-space">value space</a>), and
literal values (<a data-cite="INFRA#boolean">`true`, `false`</a>, and <a data-cite="INFRA#nulls">`null`</a>)
from [[[INFRA]]] [[INFRA]] and [[[XMLSCHEMA11-2]]] [[XMLSCHEMA11-2]].

Expand All @@ -1553,7 +1555,11 @@ <h3>The <code>rdf:JSON</code> Datatype</h3>
such that the <a data-cite="INFRA#map-key">key</a> in <var>e<sub>a</sub></var>
equals the <a data-cite="INFRA#map-key">key</a> in <var>e<sub>b</sub></var>,
and the <a data-cite="INFRA#map-value">value</a> in <var>e<sub>a</sub></var>
equals the <a data-cite="INFRA#map-value">value</a> in <var>e<sub>b</sub></var>.</li>
equals the <a data-cite="INFRA#map-value">value</a> in <var>e<sub>b</sub></var>.
<div class="note">Two JSON Objects containing maps which are serialized with entries in a different order will be equal under this definition when transformed to the value space.
For example, `{ "a": 1, "b": 2} and {"b":2, "a":1}` are considered equal.
gkellogg marked this conversation as resolved.
Show resolved Hide resolved
gkellogg marked this conversation as resolved.
Show resolved Hide resolved
</div>
</li>
</ul>
</dd>

gkellogg marked this conversation as resolved.
Show resolved Hide resolved
Expand All @@ -1580,7 +1586,8 @@ <h3>The <code>rdf:JSON</code> Datatype</h3>
using a method consistent with <a data-cite="XMLSCHEMA11-2#f-doubleLexmap">doubleLexicalMap</a>.
<div class="note">Some numbers cannot be represented
as finite <a data-cite="XMLSCHEMA11-2#double"><strong>xsd:double</strong></a> values
and may map to `+INF` or `-INF`.</div>
and may map to `+INF` or `-INF`.
Such values cannot be represented as JSON Numbers, limiting the ability to serialize such values back to JSON.</div>
</li>
<li>A <a href="RFC8259#section-7">JSON String</a> is mapped to
a <a>string</a>.</li>
Expand Down
Loading