Allen's interval algebra
Allen's interval algebra is a calculus for temporal reasoning that was introduced by James F. Allen in 1983.
The calculus defines possible relations between time intervals and provides a composition table that can be used as a basis for reasoning about temporal descriptions of events.
Formal description
Relations
The following 13 base relations capture the possible relations between two intervals.
| Relation | Illustration | Interpretation |
|---|---|---|
| [math]\displaystyle{ X \,\mathrel{\mathbf{\lt }}\, Y }[/math]
[math]\displaystyle{ Y \,\mathrel{\mathbf{\gt }}\, X }[/math] |
|
X precedes Y
Y is preceded by X |
| [math]\displaystyle{ X \,\mathrel{\mathbf{m}}\, Y }[/math]
[math]\displaystyle{ Y \,\mathrel{\mathbf{mi}}\, X }[/math] |
|
X meets Y
Y is met by X (i stands for inverse) |
| [math]\displaystyle{ X \,\mathrel{\mathbf{o}}\, Y }[/math]
[math]\displaystyle{ Y \,\mathrel{\mathbf{oi}}\, X }[/math] |
|
X overlaps with Y
Y is overlapped by X |
| [math]\displaystyle{ X \,\mathrel{\mathbf{s}}\, Y }[/math]
[math]\displaystyle{ Y \,\mathrel{\mathbf{si}}\, X }[/math] |
|
X starts Y
Y is started by X |
| [math]\displaystyle{ X \,\mathrel{\mathbf{d}}\, Y }[/math]
[math]\displaystyle{ Y \,\mathrel{\mathbf{di}}\, X }[/math] |
|
X during Y
Y contains X |
| [math]\displaystyle{ X \,\mathrel{\mathbf{f}}\, Y }[/math]
[math]\displaystyle{ Y \,\mathrel{\mathbf{fi}}\, X }[/math] |
|
X finishes Y
Y is finished by X |
| [math]\displaystyle{ X \,\mathrel{\mathbf{=}}\, Y }[/math] | 
|
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.
The sentence
- During dinner, Peter reads the newspaper. Afterwards, he goes to bed.
is formalized in Allen's Interval Algebra as follows:
[math]\displaystyle{ \mbox{newspaper } \mathbf{\{ \operatorname{d} \}} \mbox{ dinner} }[/math]
[math]\displaystyle{ \mbox{dinner } \mathbf{\{ \operatorname{\lt } \}} \mbox{ bed} }[/math]
In general, the number of different relations between n intervals, starting with n = 0, is 1, 1, 13, 409, 23917, 2244361... OEIS A055203. The special case shown above is for n = 2.
Composition of relations between intervals
For reasoning about the relations between temporal intervals, Allen's interval algebra provides a composition table. Given the relation between [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math] and the relation between [math]\displaystyle{ Y }[/math] and [math]\displaystyle{ Z }[/math], the composition table allows for concluding about the relation between [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Z }[/math]. Together with a converse operation, this turns Allen's interval algebra into a relation algebra.
For the example, one can infer [math]\displaystyle{ \mbox{newspaper } \mathbf{\{ \operatorname{\lt }, \operatorname{m} \}} \mbox{ bed} }[/math].
Extensions
Allen's interval algebra can be used for the description of both temporal intervals and spatial configurations. For the latter use, the relations are interpreted as describing the relative position of spatial objects. This also works for three-dimensional objects by listing the relation for each coordinate separately.
The study of overlapping markup uses a similar algebra (see [1]). Its models have more variations depending on whether endpoints of document structures are permitted to be truly co-located, or merely [tangent].
Implementations
- A simple java library implementing the concept of Allen's temporal relations and the path consistency algorithm
- Java library implementing Allen's Interval Algebra (incl. data and index structures, e.g., interval tree)
- OWL-Time Time Ontology in OWL an OWL-2 DL ontology of temporal concepts, for describing the temporal properties of resources in the world or described in Web pages.
- GQR is a reasoner for Allen's interval algebra (and many others)
- qualreas is a Python framework for qualitative reasoning over networks of relation algebras, such as RCC-8, Allen's interval algebra, and Allen's algebra integrated with Time Points and situated in either Left- or Right-Branching Time.
- SparQ is a reasoner for Allen's interval algebra (and many others)
- EveXL is a small domain-specific language for the detection of events that implements the Interval Algebra's operators via ASCII art patterns.
See also
References
- ↑ Steven DeRose. Markup Overlap: A Review and a Horse. In Proceedings of Extreme Markup Languages 2004, Montréal, Québec, August 2-6, 2004. http://xml.coverpages.org/DeRoseEML2004.pdf
Sources
- Allen, James F. (26 November 1983). "Maintaining knowledge about temporal intervals". Communications of the ACM 26 (11): 832–843. doi:10.1145/182.358434. ISSN 0001-0782. http://cse.unl.edu/~choueiry/Documents/Allen-CACM1983.pdf.
- van Beek, Peter; Manchak, Dennis W. (1996). "The design and experimental analysis of algorithms for temporal reasoning". Journal of Artificial Intelligence Research 4 (1996): 1–18. doi:10.1613/jair.232. Bibcode: 1996cs........1101V. https://www.jair.org/media/232/live-232-1507-jair.pdf. Retrieved 6 May 2017.
 |  |
