Allen's interval algebra
ics.uci.edu