Relation Algebras and their Application in Temporal and Spatial Reasoning
@article{Dntsch2005RelationAA,
title={Relation Algebras and their Application in Temporal and Spatial Reasoning},
author={Ivo D{\"u}ntsch},
journal={Artificial Intelligence Review},
year={2005},
volume={23},
pages={315-357}
}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…
75 Citations
Qualitative spatial and temporal representation and reasoning : efficiency in time and space
- Psychology
- 2017
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…
Qualitative Spatial Reasoning about Relative Orientation - A Question of Consistency
- Computer Science
- 2012
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
- MathematicsSEMWEB
- 2015
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
- Mathematics
- 2019
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
- MathematicsCOSIT
- 2015
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
- Computer ScienceCOSIT
- 2013
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
- Philosophy
- 2012
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.
References
SHOWING 1-10 OF 96 REFERENCES
Relational reasoning in the region connection calculus
- MathematicsArXiv
- 2005
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
- MathematicsMemoirs of the American Mathematical Society
- 1997
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
- MathematicsAMAST
- 1993
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
- Computer ScienceInt. 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
- Computer ScienceInt. J. Geogr. Inf. Sci.
- 1992
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
- MathematicsTheor. Comput. Sci.
- 2001
Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interc
- Mathematics
- 1990
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…
Region Connection Calculus: Its models and composition table
- Computer ScienceArtif. Intell.
- 2003
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis
- Mathematics, Computer ScienceIJCAI
- 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.