Relation Algebras and their Application in Temporal and Spatial Reasoning

  title={Relation Algebras and their Application in Temporal and Spatial Reasoning},
  author={Ivo D{\"u}ntsch},
  journal={Artificial Intelligence Review},
  • I. Düntsch
  • Published 1 June 2005
  • Mathematics
  • Artificial Intelligence Review
Qualitative temporal and spatial reasoning is in many cases based on binary relations such as before, after, starts, contains, contact, part of, and others derived from these by relational operators. The calculus of relation algebras is an equational formalism; it tells us which relations must exist, given several basic operations, such as Boolean operations on relations, relational composition and converse. Each equation in the calculus corresponds to a theorem, and, for a situation where… 

On the complemented disk algebra

So, what exactly is a qualitative calculus?

Qualitative spatial and temporal representation and reasoning : efficiency in time and space

Qualitative Spatial and Temporal Reasoning (QSTR) provides a human-friendly abstract way to describe and to interpret spatial and temporal information. To describe the qualitative information, QSTR

On redundant topological constraints

Qualitative Spatial Reasoning about Relative Orientation - A Question of Consistency

A new approach is introduced for calculating the composition table for DRAf using condensed semantics, that performs far better than algebraic closure, and investigates morphisms between qualitative spatial calculi.

An Algebra of Qualitative Taxonomical Relations for Ontology Alignments

A new algebra of relations is introduced, which, first, solves the limitation of the previous one, and second, incorporates all qualitative taxonomical relations that occur between individuals and concepts, including the relations "is a" and "is not".

An algebra of qualitative taxonomical relations for ontology alignments

Algebras of relations were shown useful in managing ontology alignments. They make it possible to aggregate alignments disjunctively or conjunctively and to propagate alignments within a network of

On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi

A characterisation of distributive subalgebras of qualitative calculi is given, which states that the intersection of a set of $$m\ge 3$$mi¾?3 relations in the subalgebra is nonempty if and only if the intersections of every two of these relations is non empty.

Algebraic Properties of Qualitative Spatio-temporal Calculi

The minimal requirements to binary spatio-temporal calculi are identified and the relevance of the according axioms for representation and reasoning are discussed and the classification of existing qualitative calculi is provided.

Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions

This chapter focuses on the topological and mereological relations, contact, and parthood, between spatiotemporal regions as axiomatized in so-called mereotopologies, and their underlying ontological choices and different ways of systematically looking at them.



Relational reasoning in the region connection calculus

It is shown that the contact relation algebra (CRA) of certain RCC model is not atomic complete and hence infinite, so in general an extensional composition table for the RCC cannot be obtained by simply refining the R CC8 relations.

Decision problems for equational theories of relation algebras

In 1942, Tarski proved that all of classical mathematics could be developed within the framework of the equational theory of relation algebras first-order theories that are strong enough to form a basis for the development of mathematics, in particular, set theories and number theories.

Relation Algebras for Reasoning about Time and Space

It will be shown here that the constraint satisfiability problem is NP-complete for almost all compass and interval algebras.

Qualitative Spatial Reasoning: Cardinal Directions as an Example

  • A. Frank
  • Computer Science
    Int. J. Geogr. Inf. Sci.
  • 1996
Addressing a subset of the total problem, namely reasoning with cardinal directions, a completely qualitative method, without recourse to analytical procedures, is introduced and a method for its formal comparison with quantitative formula is defined.

Algebraic approach to spatial reasoning

A relation algebra for these topological relations is developed and a computational implementation of this algebra is described, which could be usefully incorporated into geographical information systems and related systems.

A relation - algebraic approach to the region connection calculus

Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interc

These are notes for a short course on relation algebras, nite-dimensional cylindric algebras, and their interconnections, delivered at the Conference on Alge-Relation algebras (RA's) are closely

Spatial Reasoning with Propositional Logics

Region Connection Calculus: Its models and composition table

Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis

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.