A logical approach for modeling spatio-temporal objects and events Libro uri icon