Spatio-Temporal UML Modeling and Verifying with Description Logic. - Fu Zhang 001; Dong-Xia Cao; Jingwei Cheng (J. Inf. Sci. Eng., 2019)