Allen's interval algebra: Difference between revisions

Content deleted Content added
Deleted a couple of sentences that incorrectly stated that the Allen relations do not distinguish between the ordering of overlapping intervals. They do. There are two overlap relations in the set of basic Allen relations, one the inverse of the other.
Line 65:
 
===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 [[Inverseconverse relation|converse]] operation, this turns Allen's Interval Algebra into a [[relation algebra]].
 
For the example, one can infer <math>\mbox{newspaper } \mathbf{\{ \operatorname{<}, \operatorname{m} \}} \mbox{ bed}</math>.