Edit

Page

Page title:

Page body:

[17] [DFN[瞬間]]はあっという間です。
[[人生]]のようなものです。

* 瞬間 (ISO 8601)

[11] [DFN[[RUBYB[瞬間][[[instant]]]]]]は、[[時間軸]]上の[RUBYB[点]@en[point]]です [SRC[>>10]]。

[REFS[
- [10] [[ISO 8601:2004]] 2.1.2
]REFS]

* [CODE[TM_Instant]]

[4] [DFN[[RUBYB[瞬間][instant]]]]すなわち [DFN[[CODE[TM_Instant]]]]
は、[[時間][時間 (ISO 19108)]]上の位置を表現する[[零次元]]の[[幾何プリミティブ]]です。
[[空間]]における[[点]]と同等です。
[SRC[>>3 5.2.3.2]]

[5] 
[[瞬間]]は実際には[[時間間隔]]ですが、
その[[持続時間]]は[[時間尺度]]の[[分解能]]より短いものです。 [SRC[>>3 5.2.3.2]]

[FIG(list members)[ [6] [CODE[TM_Instant]]
: [DFN[[F[position]]]] :
[CODE[TM_Instant]] の[[位置]]を指定する [CODE[TM_Position]]。
この [CODE[TM_Position]] は、ある[[時間参照系]]に関連付けたものでなければなりません。
[SRC[>>3 5.2.3.2]]
: [DFN[[F[begunby]]]] :
この [CODE[TM_Instant]] が始点の [CODE[TM_Period]]。
その [F[begin][TM_Period]] の逆方向。
(関係 Beginning、任意個)
: [DFN[[F[endedby]]]] :
この [CODE[TM_Instant]] が終点の [CODE[TM_Period]]。
その [F[end][TM_Period]] の逆方向。
(関係 Ending、任意個)
: [DFN[[F[topology]]]] :
対応する [CODE[TM_Node]]。その [F[geometry][TM_Node]] の逆方向。
(関係 Realization、高々1個)
]FIG]

[7] [CODE[TM_Instant]] の[[実現値]]は、他と識別できる[[オブジェクト]]となります。
一方で [CODE[TM_Position]] の[[実現値]]は、1つのデータ値となります。
[SRC[>>3 5.2.3.2]]

[8] 任意の [CODE[TM_Instant]] の [CODE[position]] は、
異なる[[時間参照系]]の [CODE[TM_Position]] で置換できます。
[SRC[>>3 5.2.3.2]]

[20] 
[CODE[TM_Instant]] は [CODE[TM_GeometricPrimitive]] と
[CODE[TM_Primitive]], [CODE[TM_Object]] を直接または間接に[[継承]]し、
[CODE[TM_Separation]], [CODE[TM_Order]] を[[利用][«use»]]しています。

[FIG(quote)[
[FIGCAPTION[
[3] [[JIS X 7108:2004]]
]FIGCAPTION]

>
:4.1.17 瞬間 (instant):
[[時間]]における[[位置]]を表現する[[零次元]]の[[幾何プリミティブ]]。
[NOTE[
[B[備考]]
[[時間]]の[[幾何]]については,
5.2 で取り上げる。
]NOTE]
]FIG]

* [CODE[time:Instant]]

[13] [[OWL-Time]] の [DFN[[CODE[:Instant]]]] は、
[CODE[:TemporalEntity]] の[[子クラス]]であり、
長さが0のものです。 [SRC[>>12]]

[14] 他に [CODE[:TemporalEntity]] の[[子クラス]]として [CODE[:Interval]]
があり、そちらの長さもたまたま0となることがありますが、
生来0の [CODE[:Instant]] とは一応区別されています。
両方同時に満たすということになるでしょうか。
[SEE[ [[:TemporalEntity]] ]]

[16] [CODE[:Instant]] かつ [CODE[:ProperInterval]] とはできません。

[FIG(short list)[ [15] [[特性]]
- [CODE[:inTemporalPosition]]
- [CODE[:inXSDDate]]
- [CODE[:inXSDDateTime]]
- [CODE[:inXSDDateTimeStamp]]
- [CODE[:inXSDgYear]]
- [CODE[:inXSDgYearMonth]]
- [CODE[:inTimePosition]]
- [CODE[:inDateTime]]
]FIG]

[21] [DFN[[CODE[:inTemporalPosition]]]]
とその[[部分特性]]の
[CODE[[CODE[:inTimePosition]]]],
[DFN[[CODE[:inDateTime]]]]
は、
[CODE[:Instant]] に
[CODE[:TemporalPosition]],
[CODE[:TimePosition]],
[CODE[:GeneralDateTimeDescription]]
で位置を指定するものです。 [SRC[>>19, >>22, >>25]]

[24] 
[DFN[[CODE[:inXSDgYear]]]],
[DFN[[CODE[:inXSDgYearMonth]]]],
[DFN[[CODE[:inXSDDate]]]],
[DFN[[CODE[:inXSDDateTime]]]],
[DFN[[CODE[:inXSDDateTimeStamp]]]]
は、
[CODE[:Instant]] に
[CODE[xsd:gYear]],
[CODE[xsd:gYearMonth]],
[CODE[xsd:date]],
[CODE[xsd:dateTime]] ([[非推奨]]),
[CODE[xsd:dateTimeStamp]] 
の値で位置を指定するものです。
[SRC[>>25]]

[18] 似たものに [CODE[:TemporalPosition]] 
があり、そちらは[[時間座標系]]上の特定の値を持つ位置を表します。

[REFS[
- [12] [CITE@en[Time Ontology in OWL]] ([TIME[2019-06-05 22:23:30 +09:00]]) <https://w3c.github.io/sdw/time/#time:Instant>
- [19] [CITE@en[Time Ontology in OWL]] ([TIME[2019-06-05 22:23:30 +09:00]]) <https://w3c.github.io/sdw/time/#in-date-time-description>
- [22] [CITE@en[Time Ontology in OWL]] ([TIME[2019-06-05 22:23:30 +09:00]]) <https://w3c.github.io/sdw/time/#temporal-position-0>
- [23] [CITE@en[Time Ontology in OWL]] ([TIME[2019-06-05 22:23:30 +09:00]]) <https://w3c.github.io/sdw/time/#interval-after>
- [25] [CITE@en[Time Ontology in OWL]] ([TIME[2019-06-05 22:23:30 +09:00]]) <https://w3c.github.io/sdw/time/#time-position-1>
]REFS]

* 作品

[FIG(short list)[ [2] [[瞬間]]の[[作品]]
- [[優子の瞬間]]
]FIG]

* メモ

[9] [[ISO 8601]] は「[[時間軸]]上の[[実現値]]」のような表現を使っています。
[SEE[ [[時間間隔]] ]]

[1] [CITE@ja[瞬間 - Wikipedia]]
( ([TIME[2017-02-27 21:46:46 +09:00]]))
<https://ja.wikipedia.org/wiki/%E7%9E%AC%E9%96%93>

Historical Legal Sensitive Parent: [Help / License]

Edit

Page

Page name(s)