JISE


  [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ]


Journal of Information Science and Engineering, Vol. 35 No. 6, pp. 1279-1298


Spatio-Temporal UML Modeling and Verifying with Description Logic


FU ZHANG, DONG-XIA CAO AND JING-WEI CHENG
School of Computer Science and Engineering
Northeastern University
Shenyang, 110169 P.R. China
E-mail: zhangfu216@126.com; zhangfu@cse.neu.edu.cn


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.


Keywords: spatio-temporal data modeling, UML, description logic, verification, transformation

  Retrieve PDF document (JISE_201906_07.pdf)