Research On Combing Direction Relations With Topologicals For Composition Reasoning

Qualitative spatial reasoning is an absolutely necessary part of the study about the application of spatial database and Geography Information System. With the deepening of qualitative spatial reasoning, reasoning with topological relations, cardinal direction relations etc multi-aspect spatial information has become the focus of qualitative spatial reasoning. The current model and the approaches of heterogeneous composition reasoning of all kinds of direction relations with topological relations have some kind of disadvantages, in addition, the specific studies in consistency checking of the combinatory networks of direction relation and topological. So this paper carries on studies and explores in the direction relation with topological relation combine reasoning and consistency checking.First of all, based on projection model and combined the rectangle algebra, this paper will propose approaches of rectangle algebra of projective intervals for topological relations of spatial object, having the united rectangle algebra expressing of direction relations and topological relations.Secondly, taking the flexibility of heterogeneous complex reasoning into account, this paper will introduce inverse to direction relations and topological relations. Based on the Interdependence of direction relations and topological relations, interaction table for direction relations and topological relations will be given. Based on the above-mentioned study, the accurate heterogeneous composition reasoning of rectangular basic direction relations and non-rectangular basic direction relations respectively with the topology relations are solved, and the correctness of the reasoning and example application will also be given. Three algorithms above are analyzed in detail, the common composition reasoning algorithm of direction relations and topological relations is provided. Finally, convex relations in the projection model of intersecting parallels are analyzed in detail. The judging method of convex relations and heterogeneous restraint in composition with direction relation and topological relation is provided. This method and algorithm of consistency checking for the combinatory networks of direction relation and topological are proposed by combining the convex relation network theorem and path consistency checking algorithm, as well as the corresponding correctness proof and analysis of complexity are given. At the end of the paper, the experiment is designed based on the algorithm. The experimental result shows that the algorithm is correct.