Tangent Circle Algebras

Authors:
Ivo Düntsch;Marc Roubens
Affiliations:
-;-
Venue:
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Year:
2001

Citing 3
Cited 1

Relations algebras in qualitative spatial reasoning

Fundamenta Informaticae
Maintaining knowledge about temporal intervals

Communications of the ACM
A relation — algebraic approach to the region connection calculus

Theoretical Computer Science

Tangent circle graphs and 'orders'

Discrete Applied Mathematics

Quantified Score

Hi-index	0.00

Visualization

Abstract

In relational reasoning, one is concerned with the algebras generated by a given set of relations, when one allows only basic relational operations such as the Boolean operations, relational composition, and converse. According to a result by A. Tarski, the relations obtained in this way are exactly the relations which are definable in the three-variable fragment of first order logic. Thus, a relation algebra is a first indicator of the expressive power of a given set of relations.In this paper, we investigate relation algebras which arise in the context of preference relations. In particular, we study the tangent circle orders introduced in [1].