Spatio-temporal data modeling is an important basis for spatio-temporal data management. Unified Modeling Language (UML) is a widely used modeling language. Therefore, how to model spatio-temporal data based on UML and then how to further verify the correctness of the spatio-temporal UML models have become important issues. In this paper we propose a spatio-temporal UML model and a Description Logic (DL) method for verifying the model. First of all, we present a UML-based spatio-temporal data model. Also, an abstract definition and semantic description of the spatio-temporal UML models are given, and a case of cadastral change process is provided. Then, by adding some special concepts, roles, and axioms into the DL ALCIQ, a method for mapping the spatio-temporal UML models to ALCIQ knowledge bases is proposed, and a mapping example is provided. Further, several verification tasks of the spatio-temporal UML models are equivalently converted to the inference problems of the mapped ALCIQ knowledge bases, and the inference results can be returned and the verification of spatio-temporal UML models are realized with the help of the DL inference abilities.