algebra operators for spatial, temporal and interval reasoning