Relation Algebras and their Application in Temporal and Spatial Reasoning