:intervalDisjoint

AIA (Allen's interval algebra)

Allen (1983)

[17] 論文:

[18] 解説:

TM_Order

[1] TM_Order は、 TM_Primitive利用するインターフェイスです。 >>2

仕様書

操作

[3] TM_Order は唯一操作 relativePosition を定義しています。 >>2 5.2.3.4

[4] relativePosition は、当該オブジェクト A と引数で与えられたオブジェクト B の 2つの TM_Primitive について、 TM_RelativePosition を返すものです。 >>2 5.2,3,4

[5] TM_RelativePosition は、 Allen (1983) >>16 の13種類の時間関係の分類に基づく列挙データ型です。 >>2 5.2.3.5

[6] 返す値は次のように決定しなければなりません。

  1. [7] ABTM_Instant の場合、 次の条件を満たす値を返します。 >>2 5.2.3.5
    条件
    Aposition < BpositionBefore
    Aposition = BpositionEquals
    Aposition > BpositionAfter
  2. [8] ATM_PeriodBTM_Instant の場合、 次の条件を満たす値を返します。 >>2 5.2.3.5
    条件
    Aendposition < BpositionBefore
    Aendposition = BpositionEndedBy
    Abeginposition < Bposition かつ Aendposition > BpositionContains
    Abeginposition = BpositionBegunBy
    Abeginposition > BpositionAfter
  3. [9] ATM_InstantBTM_Period の場合、 次の条件を満たす値を返します。 >>2 5.2.3.5
    条件
    Aposition < BbeginpositionBefore
    Aposition = BbeginpositionBegins
    Aposition > Bbeginposition かつ Aposition < BendpositionDuring
    Aposition = BendpositionBegunBy
    Aposition > BendpositionAfter
  4. [10] ABTM_Period の場合、 次の条件を満たす値を返します。 >>2 5.2.3.5
    条件
    Aendposition < BbeginpositionBefore
    Aendposition = BbeginpositionMeets
    Abeginposition < Bbeginposition かつ Aendposition > Bbeginposition かつ Aendposition < BendpositionOverlaps
    Abeginposition = Bbeginposition かつ Aendposition < BendpositionBegins
    Abeginposition = Bbeginposition かつ Aendposition > BendpositionBegunBy
    Abeginposition > Bbeginposition かつ Aendposition < BendpositionDuring
    Abeginposition < Bbeginposition かつ Aendposition > BendpositionContains
    Abeginposition = Bbeginposition かつ Aendposition = BendpositionEquals
    Abeginposition > Bbeginposition かつ Abeginposition < Bendposition かつ Aendposition > BendpositionOverlappedBy
    Abeginposition > Bbeginposition かつ Aendposition = BendpositionEnds
    Abeginposition < Bbeginposition かつ Aendposition = BendpositionEndedBy
    Abeginposition = BendpositionMetBy
    Abeginposition > BendpositionAfter
  5. [12] ABTM_TopologicalPrimitive の場合、 >>2 5.2.4.7
    1. [13] AB が同じ TM_TopologicalComplex に含まれない場合、 例外投げてここで停止します。
    2. [14] それ以外の場合、 次の条件を満たす値を返します。
      条件
      AB より前にあって、 Initiation も Termination もないBefore
      AB はどちらも TM_Edge で、 TM_Node C があって CpreviousEdgeAnextEdgeBMeets
      ATM_NodeBTM_Edge で、 AnextEdgeBBegins
      ATM_EdgeBTM_Node で、 AstartBBegunBy
      AB は同一Equals
      ATM_NodeBTM_Edge で、 ApreviousEdgeBEnds
      ATM_EdgeBTM_Node で、 AendBEndedBy
      AB はどちらも TM_Edge で、 TM_Node C があって CnextEdgeApreviousEdgeBMetBy
      AB より後にあって、 Initiation も Termination もないAfter

[11] ただし、いずれかの TM_Position不定の場合、 例外投げなければなりません。 >>2 5.2.3.5

[15] TM_TopologicalComplex が線形であるなど適切な順序で定められていないと適当な比較結果が得られません。

OWL-Time

[22] OWL-Time語彙は Allen の理論を基礎にした >>21 とされています。

[25] :TemporalEntity特性として :before, :after があります。 >>24

[27] :Interval特性で値が :Instant:inside があります。 >>26

[29] :ProperInterval特性:intervalAfter, :intervalBefore, :intervalContains, :intervalDuring, :intervalEquals, :intervalFinishedBy, :intervalFinishes, :intervalMeets, :intervalMetBy, :intervalOverlappedBy, :intervalOverlaps, :intervalStartedBy, :intervalStarts があります。 During, Starts, Finishes の和集合にあたる :intervalIn、 Before, After の和集合にあたる :intervalDisjoint が追加されています。 >>28

メモ

[30] HuTime Web API - Calendar Calculation, http://ap.hutime.org/cal/#chapter3-5