A Tool for the Visual Synthesis and the Logical Translation of Spatio-Temporal Conceptual Schemas