From b79cd8d8904bb2824d5709c6793f6cbbe3aa0ddc Mon Sep 17 00:00:00 2001 From: "Peter F. Patel-Schneider" Date: Wed, 20 Nov 2024 15:25:13 -0500 Subject: [PATCH 1/7] add tests for rdf:JSON xsd:float and xsd:double --- .../double-9007199254740990-5.ttl | 4 + .../double-9007199254740991-5.ttl | 4 + .../double-9007199254740992-5.ttl | 4 + rdf/rdf12/rdf-semantics/double-e400.ttl | 4 + rdf/rdf12/rdf-semantics/double-e401.ttl | 4 + .../rdf-semantics/double-negative-zero.ttl | 4 + .../rdf-semantics/double-positive-zero.ttl | 4 + rdf/rdf12/rdf-semantics/float-16777205-5.ttl | 4 + rdf/rdf12/rdf-semantics/float-16777206-5.ttl | 4 + rdf/rdf12/rdf-semantics/float-16777207-5.ttl | 4 + rdf/rdf12/rdf-semantics/float-e400.ttl | 4 + rdf/rdf12/rdf-semantics/float-e401.ttl | 4 + .../rdf-semantics/float-negative-zero.ttl | 4 + .../rdf-semantics/float-positive-zero.ttl | 4 + .../rdf-semantics/json-9007199254740990-5.ttl | 4 + .../rdf-semantics/json-9007199254740991-5.ttl | 4 + .../rdf-semantics/json-9007199254740992-5.ttl | 4 + rdf/rdf12/rdf-semantics/json-array-1.ttl | 4 + rdf/rdf12/rdf-semantics/json-array-2.ttl | 4 + rdf/rdf12/rdf-semantics/json-e400.ttl | 4 + rdf/rdf12/rdf-semantics/json-e401.ttl | 4 + .../json-negative-zero-array.ttl | 4 + .../rdf-semantics/json-negative-zero.ttl | 4 + rdf/rdf12/rdf-semantics/json-object-1.ttl | 4 + rdf/rdf12/rdf-semantics/json-object-2.ttl | 4 + .../json-positive-zero-array.ttl | 4 + .../rdf-semantics/json-positive-zero.ttl | 4 + rdf/rdf12/rdf-semantics/manifest.ttl | 168 ++++++++++++++++++ 28 files changed, 276 insertions(+) create mode 100644 rdf/rdf12/rdf-semantics/double-9007199254740990-5.ttl create mode 100644 rdf/rdf12/rdf-semantics/double-9007199254740991-5.ttl create mode 100644 rdf/rdf12/rdf-semantics/double-9007199254740992-5.ttl create mode 100644 rdf/rdf12/rdf-semantics/double-e400.ttl create mode 100644 rdf/rdf12/rdf-semantics/double-e401.ttl create mode 100644 rdf/rdf12/rdf-semantics/double-negative-zero.ttl create mode 100644 rdf/rdf12/rdf-semantics/double-positive-zero.ttl create mode 100644 rdf/rdf12/rdf-semantics/float-16777205-5.ttl create mode 100644 rdf/rdf12/rdf-semantics/float-16777206-5.ttl create mode 100644 rdf/rdf12/rdf-semantics/float-16777207-5.ttl create mode 100644 rdf/rdf12/rdf-semantics/float-e400.ttl create mode 100644 rdf/rdf12/rdf-semantics/float-e401.ttl create mode 100644 rdf/rdf12/rdf-semantics/float-negative-zero.ttl create mode 100644 rdf/rdf12/rdf-semantics/float-positive-zero.ttl create mode 100644 rdf/rdf12/rdf-semantics/json-9007199254740990-5.ttl create mode 100644 rdf/rdf12/rdf-semantics/json-9007199254740991-5.ttl create mode 100644 rdf/rdf12/rdf-semantics/json-9007199254740992-5.ttl create mode 100644 rdf/rdf12/rdf-semantics/json-array-1.ttl create mode 100644 rdf/rdf12/rdf-semantics/json-array-2.ttl create mode 100644 rdf/rdf12/rdf-semantics/json-e400.ttl create mode 100644 rdf/rdf12/rdf-semantics/json-e401.ttl create mode 100644 rdf/rdf12/rdf-semantics/json-negative-zero-array.ttl create mode 100644 rdf/rdf12/rdf-semantics/json-negative-zero.ttl create mode 100644 rdf/rdf12/rdf-semantics/json-object-1.ttl create mode 100644 rdf/rdf12/rdf-semantics/json-object-2.ttl create mode 100644 rdf/rdf12/rdf-semantics/json-positive-zero-array.ttl create mode 100644 rdf/rdf12/rdf-semantics/json-positive-zero.ttl 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/json-9007199254740990-5.ttl b/rdf/rdf12/rdf-semantics/json-9007199254740990-5.ttl new file mode 100644 index 00000000..b342ce5d --- /dev/null +++ b/rdf/rdf12/rdf-semantics/json-9007199254740990-5.ttl @@ -0,0 +1,4 @@ +PREFIX rdf: +PREFIX : + +:a :b "9007199254740990.5"^^rdf:JSON . diff --git a/rdf/rdf12/rdf-semantics/json-9007199254740991-5.ttl b/rdf/rdf12/rdf-semantics/json-9007199254740991-5.ttl new file mode 100644 index 00000000..ec3f41f5 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/json-9007199254740991-5.ttl @@ -0,0 +1,4 @@ +PREFIX rdf: +PREFIX : + +:a :b "9007199254740991.5"^^rdf:JSON . diff --git a/rdf/rdf12/rdf-semantics/json-9007199254740992-5.ttl b/rdf/rdf12/rdf-semantics/json-9007199254740992-5.ttl new file mode 100644 index 00000000..390786e0 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/json-9007199254740992-5.ttl @@ -0,0 +1,4 @@ +PREFIX rdf: +PREFIX : + +:a :b "9007199254740992.5"^^rdf:JSON . diff --git a/rdf/rdf12/rdf-semantics/json-array-1.ttl b/rdf/rdf12/rdf-semantics/json-array-1.ttl new file mode 100644 index 00000000..8256c210 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/json-array-1.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "[ -0, 0 ]"^^xsd:double diff --git a/rdf/rdf12/rdf-semantics/json-array-2.ttl b/rdf/rdf12/rdf-semantics/json-array-2.ttl new file mode 100644 index 00000000..80d1f4b3 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/json-array-2.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "[ 0, -0 ]"^^xsd:double diff --git a/rdf/rdf12/rdf-semantics/json-e400.ttl b/rdf/rdf12/rdf-semantics/json-e400.ttl new file mode 100644 index 00000000..2e9feeb0 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/json-e400.ttl @@ -0,0 +1,4 @@ +PREFIX rdf: +PREFIX : + +:a :b "1E400"^^rdf:JSON . diff --git a/rdf/rdf12/rdf-semantics/json-e401.ttl b/rdf/rdf12/rdf-semantics/json-e401.ttl new file mode 100644 index 00000000..12e08c6b --- /dev/null +++ b/rdf/rdf12/rdf-semantics/json-e401.ttl @@ -0,0 +1,4 @@ +PREFIX rdf: +PREFIX : + +:a :b "1E401"^^rdf:JSON . diff --git a/rdf/rdf12/rdf-semantics/json-negative-zero-array.ttl b/rdf/rdf12/rdf-semantics/json-negative-zero-array.ttl new file mode 100644 index 00000000..38fb0cc9 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/json-negative-zero-array.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "[ -0 ]"^^xsd:double diff --git a/rdf/rdf12/rdf-semantics/json-negative-zero.ttl b/rdf/rdf12/rdf-semantics/json-negative-zero.ttl new file mode 100644 index 00000000..9eb1d667 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/json-negative-zero.ttl @@ -0,0 +1,4 @@ +PREFIX rdf: +PREFIX : + +:a :b "-0"^^rdf:JSON . diff --git a/rdf/rdf12/rdf-semantics/json-object-1.ttl b/rdf/rdf12/rdf-semantics/json-object-1.ttl new file mode 100644 index 00000000..cf93b12b --- /dev/null +++ b/rdf/rdf12/rdf-semantics/json-object-1.ttl @@ -0,0 +1,4 @@ +PREFIX rdf: +PREFIX : + +:a :b "{ \"a\":0, \"b\":1 }'^^rdf:JSON . diff --git a/rdf/rdf12/rdf-semantics/json-object-2.ttl b/rdf/rdf12/rdf-semantics/json-object-2.ttl new file mode 100644 index 00000000..5a089f5f --- /dev/null +++ b/rdf/rdf12/rdf-semantics/json-object-2.ttl @@ -0,0 +1,4 @@ +PREFIX rdf: +PREFIX : + +:a :b "{ \"b\":1, \"a\":0 }'^^rdf:JSON . diff --git a/rdf/rdf12/rdf-semantics/json-positive-zero-array.ttl b/rdf/rdf12/rdf-semantics/json-positive-zero-array.ttl new file mode 100644 index 00000000..8ccdf2ee --- /dev/null +++ b/rdf/rdf12/rdf-semantics/json-positive-zero-array.ttl @@ -0,0 +1,4 @@ +PREFIX xsd: +PREFIX : + +:a :b "[ 0 ]"^^xsd:double diff --git a/rdf/rdf12/rdf-semantics/json-positive-zero.ttl b/rdf/rdf12/rdf-semantics/json-positive-zero.ttl new file mode 100644 index 00000000..4c46c3f3 --- /dev/null +++ b/rdf/rdf12/rdf-semantics/json-positive-zero.ttl @@ -0,0 +1,4 @@ +PREFIX rdf: +PREFIX : + +:a :b "0"^^rdf:JSON . diff --git a/rdf/rdf12/rdf-semantics/manifest.ttl b/rdf/rdf12/rdf-semantics/manifest.ttl index 117d5a11..63e0704a 100644 --- a/rdf/rdf12/rdf-semantics/manifest.ttl +++ b/rdf/rdf12/rdf-semantics/manifest.ttl @@ -53,6 +53,21 @@ trs:manifest a mf:Manifest; trs:annotated-asserted trs:annotation trs:annotation-unfolded + trs:json-array-ordered + trs:json-object-unordered + trs:json-zero + trs:json-zero-array + trs:json-round-different + trs:json-round-same + trs:json-infinity + trs:float-zero + trs:float-round-different + trs:float-round-same + trs:float-infinity + trs:double-zero + trs:double-round-different + trs:double-round-same + trs:double-infinity ) . trs:all-identical-quoted-triples-are-the-same a mf:PositiveEntailmentTest; @@ -374,3 +389,156 @@ trs:triple-in-subject a mf:PositiveEntailmentTest; mf:result ; mf:unrecognizedDatatypes (); test:approval test:Withdrawn . + +trs:json-array-ordered a mf:NegativeEntailmentTest; + rdfs:comment "Arrays are ordered in rdf:JSON."; + mf:action ; + mf:entailmentRegime "RDF"; + mf:name "json-array-unordered"; + mf:recognizedDatatypes (rdf:JSON); + mf:result ; + mf:unrecognizedDatatypes (); + test:approval test:NotClassified . + +trs:json-object-unordered a mf:PositiveEntailmentTest; + rdfs:comment "Objects are unordered in rdf:JSON."; + mf:action ; + mf:entailmentRegime "RDF"; + mf:name "json-object-unordered"; + mf:recognizedDatatypes (rdf:JSON); + mf:result ; + mf:unrecognizedDatatypes (); + test:approval test:NotClassified . + +trs:json-zero a mf:NegativeEntailmentTest; + rdfs:comment "Positive zero and negative zero are different in rdf:JSON."; + mf:action ; + mf:entailmentRegime "RDF"; + mf:name "json-zero"; + mf:recognizedDatatypes (rdf:JSON); + mf:result ; + mf:unrecognizedDatatypes (); + test:approval test:NotClassified . + +trs:json-zero-array a mf:NegativeEntailmentTest; + rdfs:comment "Positive zero and negative zero are different in rdf:JSON inside arrays."; + mf:action ; + mf:entailmentRegime "RDF"; + mf:name "json-zero-array"; + mf:recognizedDatatypes (rdf:JSON); + mf:result ; + mf:unrecognizedDatatypes (); + test:approval test:NotClassified . + +trs:json-round-different a mf:NegativeEntailmentTest; + rdfs:comment "Rounding to different even rdf:JSON."; + mf:action ; + mf:entailmentRegime "RDF"; + mf:name "json-round-different"; + mf:recognizedDatatypes (rdf:JSON); + mf:result ; + mf:unrecognizedDatatypes (); + test:approval test:NotClassified . + +trs:json-round-same a mf:PositiveEntailmentTest; + rdfs:comment "Rounding to same even rdf:JSON."; + mf:action ; + mf:entailmentRegime "RDF"; + mf:name "json-round-same"; + mf:recognizedDatatypes (rdf:JSON); + mf:result ; + mf:unrecognizedDatatypes (); + test:approval test:NotClassified . + +trs:json-infinity a mf:PositiveEntailmentTest; + rdfs:comment "Large rdf:JSON number values are infinity."; + mf:action ; + mf:entailmentRegime "RDF"; + mf:name "json-infinity"; + mf:recognizedDatatypes (rdf:JSON); + mf:result ; + mf:unrecognizedDatatypes (); + test:approval test:NotClassified . + + + +trs:float-zero a mf:NegativeEntailmentTest; + rdfs:comment "Positive zero and negative zero are different in xsd:float."; + mf:action ; + mf:entailmentRegime "RDF"; + mf:name "float-zero"; + mf:recognizedDatatypes (xsd:float); + mf:result ; + mf:unrecognizedDatatypes (); + test:approval test:NotClassified . + +trs:float-round-different a mf:NegativeEntailmentTest; + rdfs:comment "Rounding to different even xsd:float."; + mf:action ; + mf:entailmentRegime "RDF"; + mf:name "float-round-different"; + mf:recognizedDatatypes (xsd:float); + mf:result ; + mf:unrecognizedDatatypes (); + test:approval test:NotClassified . + +trs:float-round-same a mf:PositiveEntailmentTest; + rdfs:comment "Rounding to same even xsd:float."; + mf:action ; + mf:entailmentRegime "RDF"; + mf:name "float-round-same"; + mf:recognizedDatatypes (xsd:float); + mf:result ; + mf:unrecognizedDatatypes (); + test:approval test:NotClassified . + +trs:float-infinity a mf:PositiveEntailmentTest; + rdfs:comment "Large xsd:float values are infinity."; + mf:action ; + mf:entailmentRegime "RDF"; + mf:name "float-infinity"; + mf:recognizedDatatypes (xsd:float); + mf:result ; + mf:unrecognizedDatatypes (); + test:approval test:NotClassified . + + +trs:double-zero a mf:NegativeEntailmentTest; + rdfs:comment "Positive zero and negative zero are different in xsd:double."; + mf:action ; + mf:entailmentRegime "RDF"; + mf:name "double-zero"; + mf:recognizedDatatypes (xsd:double); + mf:result ; + mf:unrecognizedDatatypes (); + test:approval test:NotClassified . + +trs:double-round-different a mf:NegativeEntailmentTest; + rdfs:comment "Rounding to different even xsd:double."; + mf:action ; + mf:entailmentRegime "RDF"; + mf:name "double-round-different"; + mf:recognizedDatatypes (xsd:double); + mf:result ; + mf:unrecognizedDatatypes (); + test:approval test:NotClassified . + +trs:double-round-same a mf:PositiveEntailmentTest; + rdfs:comment "Rounding to same even xsd:double."; + mf:action ; + mf:entailmentRegime "RDF"; + mf:name "double-round-same"; + mf:recognizedDatatypes (xsd:double); + mf:result ; + mf:unrecognizedDatatypes (); + test:approval test:NotClassified . + +trs:double-infinity a mf:PositiveEntailmentTest; + rdfs:comment "Large xsd:double values are infinity."; + mf:action ; + mf:entailmentRegime "RDF"; + mf:name "double-infinity"; + mf:recognizedDatatypes (xsd:double); + mf:result ; + mf:unrecognizedDatatypes (); + test:approval test:NotClassified . From 57c49bfc27ee1d726ffd30946ec619b9616a9162 Mon Sep 17 00:00:00 2001 From: pfps Date: Wed, 20 Nov 2024 20:28:40 +0000 Subject: [PATCH 2/7] Automated manifest generation --- rdf/rdf12/rdf-semantics/index.html | 375 +++ sparql/sparql12/index.html | 6 + .../syntax-triple-terms-negative/index.html | 1347 ++++++++++ .../syntax-triple-terms-positive/index.html | 2287 +++++++++++++++++ 4 files changed, 4015 insertions(+) create mode 100644 sparql/sparql12/syntax-triple-terms-negative/index.html create mode 100644 sparql/sparql12/syntax-triple-terms-positive/index.html 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 +
+
+