Allen's interval algebra: Difference between revisions

Revision as of 10:16, 9 December 2024

Latest revision as of 22:08, 31 December 2024

(7 intermediate revisions by 2 users not shown)

Line 59:

|X is equal to Y

|}

|}Using this calculus, given facts can be formalized and then used for automatic reasoning. Relations between intervals are formalized as sets of base relations.

To see that the 13 relations are exhaustive, note that each point of <math>X</math> can be at 5 possible locations relative to <math>Y</math>: before, at the start, within, at the end, after. These give <math>5 + 4 + 3 + 2 + 1 = 15</math> possible relative positions for the start and the end of <math>X</math>. Of these, we cannot have <math>X_0 = X_1 = Y_0</math> since <math>X_0 < X_1</math>, and similarly we cannot have <math>X_0 = X_1 = Y_1</math>, thus giving us 13 possible relations.

In general, the number of different relations between ''n'' intervals, starting with ''n''&nbsp;=&nbsp;0, is 1, 1, 13, 409, 23917, 2244361... [http[oeis://oeis.org/A055203 |OEIS A055203]]. The special case shown above is for ''n''&nbsp;=&nbsp;2.

===Composition of relations between intervals===

For reasoning about the relations between temporal intervals, Allen's interval algebra provides a [[Relation composition|composition]] table. Given the relation between <math>X</math> and <math>Y</math> and the relation between <math>Y</math> and <math>Z</math>, the composition table allows for concluding about the relation between <math>X</math> and <math>Z</math>. Together with a [[converse relation|converse]] operation, this turns Allen's interval algebra into a [[relation algebra]].

|}Using this calculus, given facts can be formalized and then used for automatic reasoning. Relations between intervals are formalized as sets of base relations.

The sentences

Line 68 ⟶ 76:

<math>\mbox{dinner } \mathbf{\{ \operatorname{<} \}} \mbox{ bed}</math>

In general, the number of different relations between ''n'' intervals, starting with ''n''&nbsp;=&nbsp;0, is 1, 1, 13, 409, 23917, 2244361... [http://oeis.org/A055203 OEIS A055203]. The special case shown above is for ''n''&nbsp;=&nbsp;2.

===Composition of relations between intervals===

For reasoning about the relations between temporal intervals, Allen's interval algebra provides a [[Relation composition|composition]] table. Given the relation between <math>X</math> and <math>Y</math> and the relation between <math>Y</math> and <math>Z</math>, the composition table allows for concluding about the relation between <math>X</math> and <math>Z</math>. Together with a [[converse relation|converse]] operation, this turns Allen's interval algebra into a [[relation algebra]].

For the example, one can infer <math>\mbox{newspaper } \mathbf{\{ \operatorname{<} \}} \mbox{ bed}</math>.

Line 82 ⟶ 85:

http://xml.coverpages.org/DeRoseEML2004.pdf</ref>). Its models have more variations depending on whether endpoints of document structures are permitted to be truly co-located, or merely [tangent].

== Temporal statements in the field of cultural heritageprimitives ==

In the cultural heritage ontology [[CIDOC CRM]], Allen relations are replaced by so-called ''temporal primitives'', which facilitate the formulation of attestable statements as well as reasoning about these statements.<ref>CIDOC CRM Version 7.3: https://cidoc-crm.org/versions-of-the-cidoc-crm, section ''Temporal Relation Primitives based on fuzzy boundaries''</ref>

Line 95 ⟶ 98:

* The reign/life of Harold II ''ends before or with the end of'' the Battle of Hastings

In the example, it is not necessary to specify whether Harold II was killed at the beginning or during or at the end of the battle, i.e. whether <math>X \mathbf{\operatorname{m}} Y</math>, <math>X \mathbf{\operatorname{o}} Y</math> or <math>X \mathbf{\operatorname{fi}} Y</math> applies (disjunctions such as <math>\mathbf{\{ \operatorname{m}, \operatorname{o}, \operatorname{fi} \}}</math> cannot be expressed in CIDOC CRM, except in queries). If it is relevant for a specificparticular historical question, it can be specified later by adding e.g. ''ends after the start of''.

AnotherCIDOC differenceCRM isdistinguishes thatbetween forevents temporal,and spatialtheir corresponding time intervals. Allen relations and spatiotemporaltemporal primitives are statements inbetween CIDOCevents CRM,and theonly edgesas (i.ea consequence between their time intervals. forAnother temporaldifference statementsis thethat starttemporal, spatial and end)spatiotemporal entities in CIDOC CRM are interpretedseen as having fuzzy borders. In particular,Especially statements about exact simultaneity are otherwise extremely rare and notoriously difficult to attest.

== Implementations ==