From 34081eac60413335762d594c53a6025fb2bd76c0 Mon Sep 17 00:00:00 2001 From: greenTara Date: Fri, 15 Jul 2016 18:16:12 +0200 Subject: [PATCH 1/6] modify structure of examples and add new HRA examples --- .../BGN_Location_TempC_Minute_Paris.json | 115 ------------------ Example_RDF_Streams/README.md | 11 +- Example_RDF_Streams/json-ld/.Rhistory | 0 .../BGN_Location_TempC_Minute_Berlin.json | 0 .../BGN_Location_TempC_Minute_Madrid.json | 0 .../BGN_Location_TempC_Minute_Merged.json | 0 .../BGN_Location_TempC_Minute_Unioned.json | 0 .../Location_Schedule_Harris.json | 0 .../Location_Schedule_Harris_1023.json | 0 .../Location_Schedule_Harris_1024.json | 0 .../Location_Schedule_Harris_w_rank.json | 0 .../{ => json-ld}/Location_Subject.json | 0 .../RGN_Location_TempC_Minute_Berlin.json | 0 .../RGN_Location_TempC_Minute_Madrid.json | 0 .../RGN_Location_TempC_Minute_Merged.json | 0 .../RGN_Location_TempC_Minute_Merged_b.json | 0 ...N_Location_TempC_Minute_Merged_w_rank.json | 0 .../RGN_Location_TempC_Minute_Paris.json | 0 .../BGN_Location_TempC_Minute_Berlin.trig | 52 ++++++++ Example_RDF_Streams/trig/HRA_empty.trig | 39 ++++++ Example_RDF_Streams/trig/HRA_full.trig | 50 ++++++++ 21 files changed, 149 insertions(+), 118 deletions(-) delete mode 100644 Example_RDF_Streams/BGN_Location_TempC_Minute_Paris.json create mode 100644 Example_RDF_Streams/json-ld/.Rhistory rename Example_RDF_Streams/{ => json-ld}/BGN_Location_TempC_Minute_Berlin.json (100%) rename Example_RDF_Streams/{ => json-ld}/BGN_Location_TempC_Minute_Madrid.json (100%) rename Example_RDF_Streams/{ => json-ld}/BGN_Location_TempC_Minute_Merged.json (100%) rename Example_RDF_Streams/{ => json-ld}/BGN_Location_TempC_Minute_Unioned.json (100%) rename Example_RDF_Streams/{ => json-ld}/Location_Schedule_Harris.json (100%) rename Example_RDF_Streams/{ => json-ld}/Location_Schedule_Harris_1023.json (100%) rename Example_RDF_Streams/{ => json-ld}/Location_Schedule_Harris_1024.json (100%) rename Example_RDF_Streams/{ => json-ld}/Location_Schedule_Harris_w_rank.json (100%) rename Example_RDF_Streams/{ => json-ld}/Location_Subject.json (100%) rename Example_RDF_Streams/{ => json-ld}/RGN_Location_TempC_Minute_Berlin.json (100%) rename Example_RDF_Streams/{ => json-ld}/RGN_Location_TempC_Minute_Madrid.json (100%) rename Example_RDF_Streams/{ => json-ld}/RGN_Location_TempC_Minute_Merged.json (100%) rename Example_RDF_Streams/{ => json-ld}/RGN_Location_TempC_Minute_Merged_b.json (100%) rename Example_RDF_Streams/{ => json-ld}/RGN_Location_TempC_Minute_Merged_w_rank.json (100%) rename Example_RDF_Streams/{ => json-ld}/RGN_Location_TempC_Minute_Paris.json (100%) create mode 100644 Example_RDF_Streams/trig/BGN_Location_TempC_Minute_Berlin.trig create mode 100644 Example_RDF_Streams/trig/HRA_empty.trig create mode 100644 Example_RDF_Streams/trig/HRA_full.trig diff --git a/Example_RDF_Streams/BGN_Location_TempC_Minute_Paris.json b/Example_RDF_Streams/BGN_Location_TempC_Minute_Paris.json deleted file mode 100644 index cc8279e..0000000 --- a/Example_RDF_Streams/BGN_Location_TempC_Minute_Paris.json +++ /dev/null @@ -1,115 +0,0 @@ -{ - "@context": { - "@vocab": "http://www.example.org/data-vocabulary#", - "observedAt": { - "@id": "http://www.w3.org/2005/Incubator/ssn/ssnx/ssn#observationSamplingTime", - "@type": "http://www.w3.org/2001/XMLSchema#dateTime" - }, - "hasTemp": { - "@id": "http://example.org/property-vocabulary#hasPointTempC", - "@type": "http://www.w3.org/2001/XMLSchema#decimal" - } - }, - "@graph": [ - { - "@id": "_:1", - "observedAt": "2015-01-01T01:00:00", - "@graph": [ - { - "@id": "Paris", - "hasTemp": "8.2" - } - ] - }, - { - "@id": "_:2", - "observedAt": "2015-01-01T01:01:00", - "@graph": [ - { - "@id": "Paris", - "hasTemp": "8.3" - } - ] - }, - { - "@id": "_:3", - "observedAt": "2015-01-01T01:02:00", - "@graph": [ - { - "@id": "Paris", - "hasTemp": "8.4" - } - ] - }, - { - "@id": "_:4", - "observedAt": "2015-01-01T01:03:00", - "@graph": [ - { - "@id": "Paris", - "hasTemp": "8.5" - } - ] - }, - { - "@id": "_:5", - "observedAt": "2015-01-01T01:04:00", - "@graph": [ - { - "@id": "Paris", - "hasTemp": "8.6" - } - ] - }, - { - "@id": "_:6", - "observedAt": "2015-01-01T01:05:00", - "@graph": [ - { - "@id": "Paris", - "hasTemp": "8.7" - } - ] - }, - { - "@id": "_:7", - "observedAt": "2015-01-01T01:06:00", - "@graph": [ - { - "@id": "Paris", - "hasTemp": "8.8" - } - ] - }, - { - "@id": "_:8", - "observedAt": "2015-01-01T01:07:00", - "@graph": [ - { - "@id": "Paris", - "hasTemp": "8.9" - } - ] - }, - { - "@id": "_:9", - "observedAt": "2015-01-01T01:08:00", - "@graph": [ - { - "@id": "Paris", - "hasTemp": "9.0" - } - ] - }, - { - "@id": "_:10", - "observedAt": "2015-01-01T01:10:00", - "@graph": [ - { - "@id": "Paris", - "hasTemp": "9.1" - } - ] - } - ] -} \ No newline at end of file diff --git a/Example_RDF_Streams/README.md b/Example_RDF_Streams/README.md index bd66497..6ca1d62 100644 --- a/Example_RDF_Streams/README.md +++ b/Example_RDF_Streams/README.md @@ -1,12 +1,17 @@ +* Examples in the trig directory are the most current. The json-ld examples are legacy. * Examples starting with "BGN" are RDF Stream examples that have bnode graph names. * Examples starting with "RGN" are RDF Stream examples that have IRI graph names. -* Examples entitled "..._Location_TempC_Minute_(some city name).json" are RDF stream examples with +* Examples entitled "..._Location_TempC_Minute_(some city name).*" are RDF stream examples with data about temperature observations at a single location, given by the city name. * Examples with "Merged" in the name are the result of the merger of other RDF streams, where the merging operation requires renaming of blank nodes when necessary to keep them distinct. -E.g., "RGN_Location_TempC_Minute_Merged.json" is the result of merging "RGN_Location_TempC_Minute_Berlin.json", "RGN_Location_TempC_Minute_Madrid.json", -and "RGN_Location_TempC_Minute_Paris.json" +E.g., "RGN_Location_TempC_Minute_Merged.*" is the result of merging "RGN_Location_TempC_Minute_Berlin.*", "RGN_Location_TempC_Minute_Madrid.*", +and "RGN_Location_TempC_Minute_Paris.*" * Examples with "Union" in the name are the result of the union of other RDF streams, where the streams are allowed to share blank nodes (i.e. they are on the same "surface"). * Examples with suffix "_b", "_c", ... are alternate serializations of the same RDF stream as the example without the suffix. * Examples with "rank" in the name are not JSON-LD, but are an extended description that includes an integer "rank". This value corresponds to the number of timestamped graphs in the stream that are less than or equal to the given timestamped graph (including itself). +* Examples starting with HRA are a mockup of heart rate sensor readings in a + Discrete Timeseries with blank node named graphs. +* Examples named HRA_full have timestamps corresponding to the generated time, and the observation is contained in the named graph. +* Examples named HRA_empty have timestamps corresponding to the effective time, and the observation is contained in the default graph. diff --git a/Example_RDF_Streams/json-ld/.Rhistory b/Example_RDF_Streams/json-ld/.Rhistory new file mode 100644 index 0000000..e69de29 diff --git a/Example_RDF_Streams/BGN_Location_TempC_Minute_Berlin.json b/Example_RDF_Streams/json-ld/BGN_Location_TempC_Minute_Berlin.json similarity index 100% rename from Example_RDF_Streams/BGN_Location_TempC_Minute_Berlin.json rename to Example_RDF_Streams/json-ld/BGN_Location_TempC_Minute_Berlin.json diff --git a/Example_RDF_Streams/BGN_Location_TempC_Minute_Madrid.json b/Example_RDF_Streams/json-ld/BGN_Location_TempC_Minute_Madrid.json similarity index 100% rename from Example_RDF_Streams/BGN_Location_TempC_Minute_Madrid.json rename to Example_RDF_Streams/json-ld/BGN_Location_TempC_Minute_Madrid.json diff --git a/Example_RDF_Streams/BGN_Location_TempC_Minute_Merged.json b/Example_RDF_Streams/json-ld/BGN_Location_TempC_Minute_Merged.json similarity index 100% rename from Example_RDF_Streams/BGN_Location_TempC_Minute_Merged.json rename to Example_RDF_Streams/json-ld/BGN_Location_TempC_Minute_Merged.json diff --git a/Example_RDF_Streams/BGN_Location_TempC_Minute_Unioned.json b/Example_RDF_Streams/json-ld/BGN_Location_TempC_Minute_Unioned.json similarity index 100% rename from Example_RDF_Streams/BGN_Location_TempC_Minute_Unioned.json rename to Example_RDF_Streams/json-ld/BGN_Location_TempC_Minute_Unioned.json diff --git a/Example_RDF_Streams/Location_Schedule_Harris.json b/Example_RDF_Streams/json-ld/Location_Schedule_Harris.json similarity index 100% rename from Example_RDF_Streams/Location_Schedule_Harris.json rename to Example_RDF_Streams/json-ld/Location_Schedule_Harris.json diff --git a/Example_RDF_Streams/Location_Schedule_Harris_1023.json b/Example_RDF_Streams/json-ld/Location_Schedule_Harris_1023.json similarity index 100% rename from Example_RDF_Streams/Location_Schedule_Harris_1023.json rename to Example_RDF_Streams/json-ld/Location_Schedule_Harris_1023.json diff --git a/Example_RDF_Streams/Location_Schedule_Harris_1024.json b/Example_RDF_Streams/json-ld/Location_Schedule_Harris_1024.json similarity index 100% rename from Example_RDF_Streams/Location_Schedule_Harris_1024.json rename to Example_RDF_Streams/json-ld/Location_Schedule_Harris_1024.json diff --git a/Example_RDF_Streams/Location_Schedule_Harris_w_rank.json b/Example_RDF_Streams/json-ld/Location_Schedule_Harris_w_rank.json similarity index 100% rename from Example_RDF_Streams/Location_Schedule_Harris_w_rank.json rename to Example_RDF_Streams/json-ld/Location_Schedule_Harris_w_rank.json diff --git a/Example_RDF_Streams/Location_Subject.json b/Example_RDF_Streams/json-ld/Location_Subject.json similarity index 100% rename from Example_RDF_Streams/Location_Subject.json rename to Example_RDF_Streams/json-ld/Location_Subject.json diff --git a/Example_RDF_Streams/RGN_Location_TempC_Minute_Berlin.json b/Example_RDF_Streams/json-ld/RGN_Location_TempC_Minute_Berlin.json similarity index 100% rename from Example_RDF_Streams/RGN_Location_TempC_Minute_Berlin.json rename to Example_RDF_Streams/json-ld/RGN_Location_TempC_Minute_Berlin.json diff --git a/Example_RDF_Streams/RGN_Location_TempC_Minute_Madrid.json b/Example_RDF_Streams/json-ld/RGN_Location_TempC_Minute_Madrid.json similarity index 100% rename from Example_RDF_Streams/RGN_Location_TempC_Minute_Madrid.json rename to Example_RDF_Streams/json-ld/RGN_Location_TempC_Minute_Madrid.json diff --git a/Example_RDF_Streams/RGN_Location_TempC_Minute_Merged.json b/Example_RDF_Streams/json-ld/RGN_Location_TempC_Minute_Merged.json similarity index 100% rename from Example_RDF_Streams/RGN_Location_TempC_Minute_Merged.json rename to Example_RDF_Streams/json-ld/RGN_Location_TempC_Minute_Merged.json diff --git a/Example_RDF_Streams/RGN_Location_TempC_Minute_Merged_b.json b/Example_RDF_Streams/json-ld/RGN_Location_TempC_Minute_Merged_b.json similarity index 100% rename from Example_RDF_Streams/RGN_Location_TempC_Minute_Merged_b.json rename to Example_RDF_Streams/json-ld/RGN_Location_TempC_Minute_Merged_b.json diff --git a/Example_RDF_Streams/RGN_Location_TempC_Minute_Merged_w_rank.json b/Example_RDF_Streams/json-ld/RGN_Location_TempC_Minute_Merged_w_rank.json similarity index 100% rename from Example_RDF_Streams/RGN_Location_TempC_Minute_Merged_w_rank.json rename to Example_RDF_Streams/json-ld/RGN_Location_TempC_Minute_Merged_w_rank.json diff --git a/Example_RDF_Streams/RGN_Location_TempC_Minute_Paris.json b/Example_RDF_Streams/json-ld/RGN_Location_TempC_Minute_Paris.json similarity index 100% rename from Example_RDF_Streams/RGN_Location_TempC_Minute_Paris.json rename to Example_RDF_Streams/json-ld/RGN_Location_TempC_Minute_Paris.json diff --git a/Example_RDF_Streams/trig/BGN_Location_TempC_Minute_Berlin.trig b/Example_RDF_Streams/trig/BGN_Location_TempC_Minute_Berlin.trig new file mode 100644 index 0000000..89fe5eb --- /dev/null +++ b/Example_RDF_Streams/trig/BGN_Location_TempC_Minute_Berlin.trig @@ -0,0 +1,52 @@ +{ + @prefix ssn: . + @prefix dbp: . + @prefix loc: . + @prefix xsd: . + + _:b0 ssn:observationSamplingTime "2015-01-01T01:00:00Z"^^xsd:dateTimeStamp . + _:b0 { + dbp:Berlin loc:hasPointTempC "12.5"^^xsd:decimal . + } + + _:b1 "2015-01-01T01:01:00Z"^^xsd:dateTimeStamp . + _:b1 { + dbp:Berlin loc:hasPointTempC "12.5"^^xsd:decimal . + } + + _:b2 "2015-01-01T01:02:00Z"^^xsd:dateTimeStamp . + _:b2 { + dbp:Berlin loc:hasPointTempC "12.0"^^xsd:decimal . + } + + _:b3 "2015-01-01T01:03:00Z"^^xsd:dateTimeStamp . + _:b3 { + dbp:Berlin loc:hasPointTempC "11.5"^^xsd:decimal . + } + + _:b4 "2015-01-01T01:04:00Z"^^xsd:dateTimeStamp . + _:b4 { + dbp:Berlin loc:hasPointTempC "11.0"^^xsd:decimal . + } + + _:b5 "2015-01-01T01:05:00Z"^^xsd:dateTimeStamp . + _:b5 { + dbp:Berlin loc:hasPointTempC "10.5"^^xsd:decimal . + } + + _:b6 "2015-01-01T01:06:00"^^xsd:dateTimeStamp . + _:b6 { + dbp:Berlin loc:hasPointTempC "10.0"^^xsd:decimal . + } + + _:b7 "2015-01-01T01:08:00"^^xsd:dateTimeStamp . + _:b7 { + dbp:Berlin loc:hasPointTempC "9.0"^^xsd:decimal . + } + + _:b8 "2015-01-01T01:10:00"^^xsd:dateTimeStamp . + _:b8 { + dbp:Berlin loc:hasPointTempC "8.5"^^xsd:decimal . + } +} + diff --git a/Example_RDF_Streams/trig/HRA_empty.trig b/Example_RDF_Streams/trig/HRA_empty.trig new file mode 100644 index 0000000..cc63db8 --- /dev/null +++ b/Example_RDF_Streams/trig/HRA_empty.trig @@ -0,0 +1,39 @@ +@prefix fhir: . +@prefix lr: . +@prefix obs: . +@prefix prov: . +@prefix sct: . + +I _:b1 a fhir:Observation ; + obs:code sct:36407505 ; + obs:device lr:sensor1234 ; + obs:effectiveDateTime "2015-01-01T12:00:00Z"^^ ; + obs:subject lr:patientA ; + obs:valueQuantity _:b2 ; + lr:stream lr:streamHRA_empty . + + _:b2 lr:unit "bpm"^^ ; + lr:value "50"^^. + + _:b4 a fhir:Observation ; + obs:code sct:36407505 ; + obs:device lr:sensor1234 ; + obs:effectiveDateTime "2015-01-01T12:01:00Z"^^ ; + obs:subject lr:patientA ; + obs:valueQuantity _:b5 ; + lr:stream lr:streamHRA_empty . + + _:b5 lr:unit "bpm"^^ ; + lr:value "53"^^ . + + + _:b7 a fhir:Observation ; + obs:code sct:36407505 ; + obs:device lr:sensor1234 ; + obs:effectiveDateTime "2015-01-01T12:02:00Z"^^ ; + obs:subject lr:patientA ; + obs:valueQuantity _:b8 ; + lr:stream lr:streamHRA_empty . + + _:b8 lr:unit "bpm"^^ ; + lr:value "48"^^ . diff --git a/Example_RDF_Streams/trig/HRA_full.trig b/Example_RDF_Streams/trig/HRA_full.trig new file mode 100644 index 0000000..e3479e2 --- /dev/null +++ b/Example_RDF_Streams/trig/HRA_full.trig @@ -0,0 +1,50 @@ +@prefix fhir: . +@prefix lr: . +@prefix obs: . +@prefix prov: . +@prefix sct: . + +_:b0 + prov:generatedAtTime "2015-01-01T12:00:33Z"^^ ; + lr:stream lr:streamHRA_full . +_:b0 { +I _:b1 a fhir:Observation ; + obs:code sct:36407505 ; + obs:device lr:sensor1234 ; + obs:effectiveDateTime "2015-01-01T12:00:00Z"^^ ; + obs:subject lr:patientA ; + obs:valueQuantity _:b2 . + + _:b2 lr:unit "bpm"^^ ; + lr:value "50"^^ . +} + +_:b3 + prov:generatedAtTime "2015-01-01T12:01:45Z"^^ ; + lr:stream lr:streamHRA_full . +_:b3 { + _:b4 a fhir:Observation ; + obs:code sct:36407505 ; + obs:device lr:sensor1234 ; + obs:effectiveDateTime "2015-01-01T12:01:00Z"^^ ; + obs:subject lr:patientA ; + obs:valueQuantity _:b5 . + + _:b5 lr:unit "bpm"^^ ; + lr:value "53"^^ . +} + +_:b6 + prov:generatedAtTime "2015-01-01T12:02:54Z"^^ ; + lr:stream lr:streamHRA_full . +_:b6 { + _:b7 a fhir:Observation ; + obs:code sct:36407505 ; + obs:device lr:sensor1234 ; + obs:effectiveDateTime "2015-01-01T12:02:00Z"^^ ; + obs:subject lr:patientA ; + obs:valueQuantity _:b8 . + + _:b8 lr:unit "bpm"^^ ; + lr:value "48"^^ . +} \ No newline at end of file From 48e2c4caac1bdb43840cb8a1682f19670015da71 Mon Sep 17 00:00:00 2001 From: greenTara Date: Fri, 15 Jul 2016 18:50:05 +0200 Subject: [PATCH 2/6] remove hidden artifact --- Example_RDF_Streams/json-ld/.Rhistory | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 Example_RDF_Streams/json-ld/.Rhistory diff --git a/Example_RDF_Streams/json-ld/.Rhistory b/Example_RDF_Streams/json-ld/.Rhistory deleted file mode 100644 index e69de29..0000000 From c9103e6235e16de34f430fdb851cdc9a70d32c19 Mon Sep 17 00:00:00 2001 From: greenTara Date: Fri, 15 Jul 2016 20:09:05 +0200 Subject: [PATCH 3/6] adding heart rate examples --- Example_RDF_Streams/trig/HRA_empty.trig | 20 +++++++++++++------- Example_RDF_Streams/trig/HRA_full.trig | 6 +++--- 2 files changed, 16 insertions(+), 10 deletions(-) diff --git a/Example_RDF_Streams/trig/HRA_empty.trig b/Example_RDF_Streams/trig/HRA_empty.trig index cc63db8..1cafde1 100644 --- a/Example_RDF_Streams/trig/HRA_empty.trig +++ b/Example_RDF_Streams/trig/HRA_empty.trig @@ -4,36 +4,42 @@ @prefix prov: . @prefix sct: . -I _:b1 a fhir:Observation ; +{ _:b1 + obs:effectiveDateTime "2015-01-01T12:00:00Z"^^ ; + a fhir:Observation ; obs:code sct:36407505 ; obs:device lr:sensor1234 ; - obs:effectiveDateTime "2015-01-01T12:00:00Z"^^ ; obs:subject lr:patientA ; obs:valueQuantity _:b2 ; lr:stream lr:streamHRA_empty . + _:b2 lr:unit "bpm"^^ ; lr:value "50"^^. +} - _:b4 a fhir:Observation ; +{ _:b4 + obs:effectiveDateTime "2015-01-01T12:01:00Z"^^ ; + a fhir:Observation ; obs:code sct:36407505 ; obs:device lr:sensor1234 ; - obs:effectiveDateTime "2015-01-01T12:01:00Z"^^ ; obs:subject lr:patientA ; obs:valueQuantity _:b5 ; lr:stream lr:streamHRA_empty . _:b5 lr:unit "bpm"^^ ; lr:value "53"^^ . +} - - _:b7 a fhir:Observation ; +{ _:b7 + obs:effectiveDateTime "2015-01-01T12:02:00Z"^^ ; + a fhir:Observation ; obs:code sct:36407505 ; obs:device lr:sensor1234 ; - obs:effectiveDateTime "2015-01-01T12:02:00Z"^^ ; obs:subject lr:patientA ; obs:valueQuantity _:b8 ; lr:stream lr:streamHRA_empty . _:b8 lr:unit "bpm"^^ ; lr:value "48"^^ . +} \ No newline at end of file diff --git a/Example_RDF_Streams/trig/HRA_full.trig b/Example_RDF_Streams/trig/HRA_full.trig index e3479e2..be4dd16 100644 --- a/Example_RDF_Streams/trig/HRA_full.trig +++ b/Example_RDF_Streams/trig/HRA_full.trig @@ -16,7 +16,7 @@ I _:b1 a fhir:Observation ; obs:valueQuantity _:b2 . _:b2 lr:unit "bpm"^^ ; - lr:value "50"^^ . + lr:value "50"^^ . } _:b3 @@ -31,7 +31,7 @@ _:b3 { obs:valueQuantity _:b5 . _:b5 lr:unit "bpm"^^ ; - lr:value "53"^^ . + lr:value "53"^^ . } _:b6 @@ -46,5 +46,5 @@ _:b6 { obs:valueQuantity _:b8 . _:b8 lr:unit "bpm"^^ ; - lr:value "48"^^ . + lr:value "48"^^ . } \ No newline at end of file From 840bce6ec2d9c86d4e020d0f9d0d86b390d9436f Mon Sep 17 00:00:00 2001 From: greenTara Date: Fri, 15 Jul 2016 21:03:19 +0200 Subject: [PATCH 4/6] add trig example to document, use "named graph pair" --- .../index.html | 42 ++++++++++--------- .../BGN_Location_TempC_Minute_Berlin.trig | 20 ++++----- 2 files changed, 32 insertions(+), 30 deletions(-) diff --git a/Abstract Syntax and Semantics Document/index.html b/Abstract Syntax and Semantics Document/index.html index dace0ef..52b705b 100644 --- a/Abstract Syntax and Semantics Document/index.html +++ b/Abstract Syntax and Semantics Document/index.html @@ -291,7 +291,7 @@

Timestamped Graphs

definitions.

This definition does not permit the timestamp to be omitted, which is one of the data structures that is considered to be in-scope by the requirements document.

-

A sequence of RDF graphs (or named graphs, or RDF datasets) MAY be physically received +

A sequence of RDF graphs (or named graph pairs, or RDF datasets) MAY be physically received by an RSP engine, which MAY then create an RDF stream from it by adding timestamps, e.g. indicating the time of arrival. The original sequence is not itself an RDF stream.

This definition allows the timestamp to be an IRI or blanknode. Additional @@ -330,8 +330,10 @@

Timestamped Graphs

details of the semantics of the named graph pair in a timestamped graph are provided in

- 
:g1 {:axel :isIn :RedRoom. :darko :isIn :RedRoom} {:g1,prov:generatedAtTime,"2001-10-26T21:32:52Z"^^xsd:dateTime}
-
+ 
_:b0 prov:generatedAtTime "2015-01-01T01:00:00Z"^^xsd:dateTimeStamp .
+_:b0 {
+	dbp:Berlin loc:hasPointTempC "12.5"^^xsd:decimal .
+}

According to the semantics defined in , the assertion of the named graph pair means that the graph denoted by :g entails @@ -375,7 +377,7 @@

Timestamped Graphs

= b.)

@@ -405,7 +407,7 @@

RDF Stream

According to the semantics defined in , the assertion of the named graph pair means that the graph denoted by :g entails - the two triples :axel :isIn :RedRoom and :darko :isIn :RedRoom, - under whatever entailment regime is being considered. It does not assert those triples - directly, nor does it assert that these triples are actually in that graph. Further, it - does not rule out additional entailments of :g. These details are best + the triple dbp:Berlin loc:hasPointTempC "12.5"^^xsd:decimal ., + under whatever entailment regime is being considered. It does not assert that triple + directly, nor does it assert that this triple is actually in that graph. Further, it + does not rule out additional entailments of _:b0. These details are best explained in the semantics section itself, although it would probably be helpful to have some informative explanation near the beginning to avoid confusion.