diff --git a/rdf/rdf12/rdf-semantics/double-9007199254740990-5.ttl b/rdf/rdf12/rdf-semantics/double-9007199254740990-5.ttl new file mode 100644 index 00000000..d31c0b1c --- /dev/null +++ b/rdf/rdf12/rdf-semantics/double-9007199254740990-5.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "9007199254740990.5"^^xsd:double . diff --git a/rdf/rdf12/rdf-semantics/double-9007199254740991-5.ttl b/rdf/rdf12/rdf-semantics/double-9007199254740991-5.ttl new file mode 100644 index 00000000..ba280831 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/double-9007199254740991-5.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "9007199254740991.5"^^xsd:double . diff --git a/rdf/rdf12/rdf-semantics/double-9007199254740992-5.ttl b/rdf/rdf12/rdf-semantics/double-9007199254740992-5.ttl new file mode 100644 index 00000000..47dbda33 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/double-9007199254740992-5.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "9007199254740992.5"^^xsd:double . diff --git a/rdf/rdf12/rdf-semantics/double-e400.ttl b/rdf/rdf12/rdf-semantics/double-e400.ttl new file mode 100644 index 00000000..5719d3a3 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/double-e400.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "1E401"^^xsd:double . diff --git a/rdf/rdf12/rdf-semantics/double-e401.ttl b/rdf/rdf12/rdf-semantics/double-e401.ttl new file mode 100644 index 00000000..5719d3a3 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/double-e401.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "1E401"^^xsd:double . diff --git a/rdf/rdf12/rdf-semantics/double-negative-zero.ttl b/rdf/rdf12/rdf-semantics/double-negative-zero.ttl new file mode 100644 index 00000000..474df8a6 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/double-negative-zero.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "-0"^^xsd:double . diff --git a/rdf/rdf12/rdf-semantics/double-positive-zero.ttl b/rdf/rdf12/rdf-semantics/double-positive-zero.ttl new file mode 100644 index 00000000..88f74725 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/double-positive-zero.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "0"^^xsd:double . diff --git a/rdf/rdf12/rdf-semantics/float-16777205-5.ttl b/rdf/rdf12/rdf-semantics/float-16777205-5.ttl new file mode 100644 index 00000000..2a781d4e --- /dev/null +++ b/rdf/rdf12/rdf-semantics/float-16777205-5.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "16777205.5"^^xsd:float . diff --git a/rdf/rdf12/rdf-semantics/float-16777206-5.ttl b/rdf/rdf12/rdf-semantics/float-16777206-5.ttl new file mode 100644 index 00000000..86c645ad --- /dev/null +++ b/rdf/rdf12/rdf-semantics/float-16777206-5.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "16777206.5"^^xsd:float . diff --git a/rdf/rdf12/rdf-semantics/float-16777207-5.ttl b/rdf/rdf12/rdf-semantics/float-16777207-5.ttl new file mode 100644 index 00000000..61c38760 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/float-16777207-5.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "16777207.5"^^xsd:float . diff --git a/rdf/rdf12/rdf-semantics/float-e400.ttl b/rdf/rdf12/rdf-semantics/float-e400.ttl new file mode 100644 index 00000000..08bc7f3f --- /dev/null +++ b/rdf/rdf12/rdf-semantics/float-e400.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "1E400"^^xsd:float . diff --git a/rdf/rdf12/rdf-semantics/float-e401.ttl b/rdf/rdf12/rdf-semantics/float-e401.ttl new file mode 100644 index 00000000..9befd16a --- /dev/null +++ b/rdf/rdf12/rdf-semantics/float-e401.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "1E401"^^xsd:float . diff --git a/rdf/rdf12/rdf-semantics/float-negative-zero.ttl b/rdf/rdf12/rdf-semantics/float-negative-zero.ttl new file mode 100644 index 00000000..a60e8b0b --- /dev/null +++ b/rdf/rdf12/rdf-semantics/float-negative-zero.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "-0"^^xsd:float . diff --git a/rdf/rdf12/rdf-semantics/float-positive-zero.ttl b/rdf/rdf12/rdf-semantics/float-positive-zero.ttl new file mode 100644 index 00000000..d99489f0 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/float-positive-zero.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "0"^^xsd:float . diff --git a/rdf/rdf12/rdf-semantics/index.html b/rdf/rdf12/rdf-semantics/index.html index f726d578..5cbefa25 100644 --- a/rdf/rdf12/rdf-semantics/index.html +++ b/rdf/rdf12/rdf-semantics/index.html @@ -745,6 +745,381 @@

+
+ + json-array-ordered: + + json-array-unordered +
+
+
+

Arrays are ordered in rdf:JSON.

+
+
+
type
+
mf:NegativeEntailmentTest
+
approval
+
+
action
+
+ json-array-1.ttl +
+
result
+
+ json-array-2.ttl +
+
+
+
+ + json-object-unordered: + + json-object-unordered +
+
+
+

Objects are unordered in rdf:JSON.

+
+
+
type
+
mf:PositiveEntailmentTest
+
approval
+
+
action
+
+ json-object-1.ttl +
+
result
+
+ json-object-2.ttl +
+
+
+
+ + json-zero: + + json-zero +
+
+
+

Positive zero and negative zero are different in rdf:JSON.

+
+
+
type
+
mf:NegativeEntailmentTest
+
approval
+
+
action
+
+ json-positive-zero.ttl +
+
result
+
+ json-negative-zero.ttl +
+
+
+
+ + json-zero-array: + + json-zero-array +
+
+
+

Positive zero and negative zero are different in rdf:JSON inside arrays.

+
+
+
type
+
mf:NegativeEntailmentTest
+
approval
+
+
action
+
+ json-positive-zero-array.ttl +
+
result
+
+ json-negative-zero-array.ttl +
+
+
+
+ + json-round-different: + + json-round-different +
+
+
+

Rounding to different even rdf:JSON.

+
+
+
type
+
mf:NegativeEntailmentTest
+
approval
+
+
action
+
+ json-9007199254740990-5.ttl +
+
result
+
+ json-9007199254740991-5.ttl +
+
+
+
+ + json-round-same: + + json-round-same +
+
+
+

Rounding to same even rdf:JSON.

+
+
+
type
+
mf:PositiveEntailmentTest
+
approval
+
+
action
+
+ json-9007199254740992-5.ttl +
+
result
+
+ json-9007199254740991-5.ttl +
+
+
+
+ + json-infinity: + + json-infinity +
+
+
+

Large rdf:JSON number values are infinity.

+
+
+
type
+
mf:PositiveEntailmentTest
+
approval
+
+
action
+
+ json-e400.ttl +
+
result
+
+ json-e401.ttl +
+
+
+
+ + float-zero: + + float-zero +
+
+
+

Positive zero and negative zero are different in xsd:float.

+
+
+
type
+
mf:NegativeEntailmentTest
+
approval
+
+
action
+
+ float-positive-zero.ttl +
+
result
+
+ float-negative-zero.ttl +
+
+
+
+ + float-round-different: + + float-round-different +
+
+
+

Rounding to different even xsd:float.

+
+
+
type
+
mf:NegativeEntailmentTest
+
approval
+
+
action
+
+ float-16777206-5.ttl +
+
result
+
+ float-16777207-5.ttl +
+
+
+
+ + float-round-same: + + float-round-same +
+
+
+

Rounding to same even xsd:float.

+
+
+
type
+
mf:PositiveEntailmentTest
+
approval
+
+
action
+
+ float-16777206-5.ttl +
+
result
+
+ float-16777205-5.ttl +
+
+
+
+ + float-infinity: + + float-infinity +
+
+
+

Large xsd:float values are infinity.

+
+
+
type
+
mf:PositiveEntailmentTest
+
approval
+
+
action
+
+ float-e400.ttl +
+
result
+
+ float-e401.ttl +
+
+
+
+ + double-zero: + + double-zero +
+
+
+

Positive zero and negative zero are different in xsd:double.

+
+
+
type
+
mf:NegativeEntailmentTest
+
approval
+
+
action
+
+ double-positive-zero.ttl +
+
result
+
+ double-negative-zero.ttl +
+
+
+
+ + double-round-different: + + double-round-different +
+
+
+

Rounding to different even xsd:double.

+
+
+
type
+
mf:NegativeEntailmentTest
+
approval
+
+
action
+
+ double-9007199254740990-5.ttl +
+
result
+
+ double-9007199254740991-5.ttl +
+
+
+
+ + double-round-same: + + double-round-same +
+
+
+

Rounding to same even xsd:double.

+
+
+
type
+
mf:PositiveEntailmentTest
+
approval
+
+
action
+
+ double-9007199254740992-5.ttl +
+
result
+
+ double-9007199254740991-5.ttl +
+
+
+
+ + double-infinity: + + double-infinity +
+
+
+

Large xsd:double values are infinity.

+
+
+
type
+
mf:PositiveEntailmentTest
+
approval
+
+
action
+
+ double-e400.ttl +
+
result
+
+ double-e401.ttl +
+
+