[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]]) - [19] [CITE@en[Time Ontology in OWL]] ([TIME[2019-06-05 22:23:30 +09:00]]) - [22] [CITE@en[Time Ontology in OWL]] ([TIME[2019-06-05 22:23:30 +09:00]]) - [23] [CITE@en[Time Ontology in OWL]] ([TIME[2019-06-05 22:23:30 +09:00]]) - [25] [CITE@en[Time Ontology in OWL]] ([TIME[2019-06-05 22:23:30 +09:00]]) ]REFS] * 作品 [FIG(short list)[ [2] [[瞬間]]の[[作品]] - [[優子の瞬間]] ]FIG] * メモ [9] [[ISO 8601]] は「[[時間軸]]上の[[実現値]]」のような表現を使っています。 [SEE[ [[時間間隔]] ]] [1] [CITE@ja[瞬間 - Wikipedia]] ( ([TIME[2017-02-27 21:46:46 +09:00]]))