A Study On Universal Spatio-Temporal Model And Its Application

Spatio-temporal reasoning research originated in the 70s. It uses artificial intelligence (AI) techniques and methods to model, describe, and express spatio-temporal objects. It also deals with the processing and analysis relation between temporal and spatial objects. At present, the spatial and temporal reasoning in artificial intelligence field has become a research hotspot, and in areas such as geographic information systems also has important practical significance.Topics of this article comes from the National Natural Science Fund Project'complex temporal and spatial reasoning and applied research (60773099)'and the National Natural Science Foundation project'Cross-temporal and spatial knowledge representation and reasoning (60496321)'sub-topics. During studies of spatio-temporal reasoning, there were a lot of different spatial and temporal reasoning model. However, these models that currently have their own practices. In this paper, the author uses a number of common methods and data structures that build the general algorithm. These models will be unified to form a common model of time and space. The article described the relationship between spatial and temporal model of a common organizational structure, expression and basic computing and algorithms. And the author shows details of the spatial and temporal reasoning model available till now, these models will be in a unified format and approach to that and be able to in these models in this system. Some of them contain a series of similar models, in order to obtain a specific one we need to set specific parameters of the model.The main achievements of this article are as following:1. The development of a common model of temporal and spatial reasoning. The author researches on how to form a new model of spatial and temporal reasoning automatically from the definition of the basic relations and of these common algorithms between the relations, such as automatic generation of complex forms, the largest subset that can be handled automatically generated, the consistency determining algorithm.2. The basic relationship definition algorithm is based on the definition of n-intersection set. Through refinements of the n-intersection set, we can generate the basic relationship of the new model.3. Automatic generation of composite table algorithm uses a generic algorithm for automatic generation of composite table. We give a scenario-based detection algorithm to generate universal composite table. The algorithm can generate composite table based on the basic relations generated by n-intersection.4. The largest tractable subset is expanded from the refinement algorithm so as not to require additional proof of the NP-hard. For the sake of brevity, for each model, we only need access to one of the largest tractable subset. For each model that is given the basic relationship, the composition sheet, the inverse relationship between relations, can be automatically calculated.5. General Spatio-Temporal Reasoning Tools (GSTRT) is based on the qualitative relationship between the spatial and temporal reasoning model and for spatial and temporal representation and reasoning tools, combined with WebGIS, extracted into a quantitative and qualitative information on the spatial relationship selective preservation of the database. And spatial relationships can be derived to the ontology database as well as the semantic reasoning.6. In GSTRT, a number of common data structure describing methods and general algorithms are used. These models will be unified to form a common model of time and space. GSTRT supports default 20 kinds of models, which almost cover current study of all the relational models.7, With the exception of the default relationships models of GSTRT can also be customized by users. The main steps include:(1) The definition of the basic relationship (two ways)Automatic definition of the basic relations: from the definition of the basic relationship between the module automatically.Manual definition of the basic relationship: the relationship between the definition of the relationship between the number and name.(2) Automatic generation of compostition sheet and inversion sheet or manual definition.(3) Automatic calculation of the largest tractable subset.(4) CSP files importing and determination.8. Qualitative spatial analysis module of GSTRT is connected to WEBGIS through the high-level language interface. According to agricultural information and specific requirements, its main function is divided into four parts:(1) Analysis of the map file.(2) Extract the basic information of spatial objects.(3) Applicating different models to determine topological spatial relations between objects. The topological relations in binary form is saved into a database to facilitate inquiries and changes.(4) map images show.9. In GSTRT, users can choose to export Racer files, and export time and space ontology (OWL, RDF and other formats), to support semantic query.