A Logical Approach for Modeling Spatio-Temporal Objects and Events uri icon