[4] 特定の時刻から特定の時刻までの期間を表現する形式も、いろいろあります。
[13] 期間すなわち TM_Period
は、時間の範囲を表す一次元の幾何プリミティブです。
空間における曲線と同等です。
>>12 5.2.3.3
[17] 連続した事象の列はある時間間隔を必ず占めるはずであり、 これが期間です。 期間という語は、 一般に他と区別する特性をもつ事象の列について言います。 >>12 5.2.3.3
[14] 期間は、 始点と終点の2つの瞬間を境界とする開区間です。 期間の時間上の位置は、 始点と終点の瞬間の時間位置により記述されます。 >>12 5.2.3.3
[15] 期間の長さ (持続時間) は、 始点と終点の両瞬間の時間位置の時間距離と等しいです。 >>12 5.2.3.3
[16] 順序尺度では時間の長さを測定することができないため、 瞬間と期間を長さに関して区別できないこととします。 実際にはある事象が起きた時間は順序尺度では瞬間とみなせます。 >>12 5.2.3.3
TM_Period[19] 始点は、終点より小さい (以前の) 時間位置になければなりません。 >>12 5.2.3.3
[20]
TM_Period は TM_GeometricPrimitive と
TM_Primitive, TM_Object を直接または間接に継承し、
TM_Separation, TM_Order を利用しています。
:Interval (OWL-Time)[34] OWL-Time の :Interval
は :TemporalEntity
の子クラスであって、
長さを有するものです。 >>33
[35] 長さがないものとして :Instant が別にありますが、
:Interval でたまたま長さが 0 となる
(開始と終了が同じとなる) ことも認められています。
:Interval の特性[36] :Interval の子クラスに :ProperInterval
があり、開始と終了が異なるものを表します。 >>38
[39] :ProperInterval かつ :Instant とはできません。 >>38
:ProperInterval の特性[42] :ProperInterval の子クラスに
:DateTimeInterval
があります。
特定の :DateTimeDescription
(特定の年、月、日、週、時、分、秒)
の全体を表します。
>>41
:DateTimeInterval の特性[45] :hasDateTimeDescription
は
:GeneralDateTimeDescription
を指定するものです。
>>30
[47]
:xsdDateTime
は、
xsd:dateTime
の値の特性であって、
最小の 0 でない要素の時間間隔を表すものです。
この方法では「年の最初の分」のように表現できないものがあり、
非推奨です。 >>46
[44] 特定の始点から切り離した時間長を表す :TemporalDuration
が別にありますが、 :Interval や :TemporalEntity
とは別物とされています。
[22] 「期間」は、特定の時間位置から時間位置までの範囲を指すこともあれば、 (まだ) 特定の時間位置に結び付けられていない長さを指すこともあります。
[23] 後者はつまり時間長ですが、「有効期間は発行から3日」のように、 一般論として (まだ) 特定の時間位置に結びついていないとしても、 具体的な事象の解釈の文脈では (いずれ) 特定の時間位置に束縛されることになります。
[1] 期間 - Wikipedia ( 版) http://ja.wikipedia.org/wiki/%E6%9C%9F%E9%96%93
[21] OGC Abstract Specification Topic 2: Referencing by coordinates () http://docs.opengeospatial.org/as/18-005r4/18-005r4.html#110
[28] リファレンス — サイボウズ Live・API ドキュメント () https://developer.cybozulive.com/doc/current/pub/reference.html
[31] time 1.0.0 () https://package.elm-lang.org/packages/elm/time/latest#recurring-events
[2] Specify time modifiers in your search - Splunk Documentation, https://docs.splunk.com/Documentation/Splunk/8.1.1/Search/Specifytimemodifiersinyoursearch