Graph-based Consistency Checking in Spatial Information System
نویسندگان
چکیده
Consistency checking of cardinal directions is one of the important problems in qualitative spatial reasoning. This paper presents a graph model to visually represent direction specifications. In the model, nodes represent regions occupied by objects, and directed edges indicate direction relationships between objects. This graph model can be applied not only to consistency checking, but also to general spatial reasoning. Based on this model, we present an efficient algorithm that performs consistency checking on a set of definitive direction specifications by analyzing the connectivity of the participating nodes. The consistency checking algorithm is performed in O(n)
منابع مشابه
Consistency checking for Euclidean spatial constraints: a dimension graph approach
In this paper, we address the problem of consistency checking for Euclidean spatial constraints. A dimension graph representation is pmposed to maintain the Euclidean spatial constraints among objects. The basic idea is to project the spatial constraints on both X and Y dimensions, and to construct a dimension graph on each dimension. Using a dimension graph representation transfonns the proble...
متن کاملOn Consistency Checking of Spatial Relationships in Content-based Image Database Systems
In this paper we investigate the consistency problem for spatial relationships in content-based image database systems. We use the mathematically simple matrix representation approach to present an efficient (i.e., polynomial-time) algorithm for consistency checking of spatial relationships in an image. It is shown that, there exists an efficient algorithm to detect whether, given a set SR of a...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملEvolution of Region Connection Calculus to VRCC-3D+
Qualitative spatial reasoning (QSR) is useful for deriving logical inferences when quantitative spatial information is not available. QSR theories have applications in areas such as geographic information systems, spatial databases, robotics, and cognitive sciences. The existing QSR theories have been applied primarily to 2D. The ability to perform QSR over a collection of 3D objects is desirab...
متن کاملVIREO@TRECVID 2012: Searching with Topology, Recounting will Small Concepts, Learning with Free Examples
Instance Search (INS): We submitted four Bag-of-Words (BoW) based runs this year to mainly test the proper way of exploiting spatial information through comparing the weak consistency checking (WGC) and our spatial topology consistency checking using Delaunay Triangulation (DT) based matching. Considering the special features of the INS task of TRECVID (e.g., multiple image examples for a query...
متن کامل