On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus
Qualitative Spatial Reasoning Using Constraint Calculi
Qualitative Spatial Reasoning with Topological Information
- Jochen Renz
- MedicineLecture Notes in Computer Science
- 27 February 2002
This work Enumeration of the Relations of the Maximal Tractable Subsets of RCC-8 and Empirical Evaluation of Reasoning with R CC-8 shows positive results in terms of tractability and representation.
What Is a Qualitative Calculus? A General Framework
It is shown that the natural algebraic object governing this kind of calculus is a non-associative algebra (in the sense of Maddux), and that the notion of weak representation is the right notion for describing most basic properties.
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis
- Jochen Renz
- Mathematics, Computer ScienceInternational Joint Conference on Artificial…
- 31 July 1999
A general method for proving tractability of reasoning over disjunctions of jointly exhaustive and pairwise disjoint relations of Allen's temporal interval relations and their spatial counterpart, the R.CC8 relations by Randell, Cui, and Colin is presented.
Qualitative Spatial Representation and Reasoning
Efficient Methods for Qualitative Spatial Reasoning
The experiments show that the adaption of the algorithms used for qualitative temporal reasoning can solve large RCC-8 instances, even if they are in the phase transition region - provided that one uses the maximal tractable subsets of R CC-8 that have been identified by us.
Weak Composition for Qualitative Spatial and Temporal Reasoning
It turns out that the most important property of a qualitative calculus is not whether weak composition is equivalent to composition, but whether the relations are closed under constraints, and a new concept for qualitative relations, the "closure under constraints".
A Canonical Model of the Region Connection Calculus
- Jochen Renz
- Computer ScienceJ. Appl. Non Class. Logics
- 26 November 1997
A canonical model of R CC-8 is developed which allows a simple representation of regions with respect to a set of RCC-8 constraints, and enables us to generate realizations in any dimension d = 1.
Qualitative Spatial Reasoning about Line Segments
- R. Moratz, Jochen Renz, D. Wolter
- Computer ScienceEuropean Conference on Artificial Intelligence
- 20 August 2000
A novel approach for dealing with intrinsic orientation information by specifying qualitative relations between oriented line segments, the simplest possible spatial entities being extended and having an intrinsic direction is presented.