Relations algebras in qualitative spatial reasoning

• Autorzy: Düntsch I. , Wang H. , McCloskey S.
• Języki publikacji: EN

Abstrakty

EN

The formalization of the ``part - of'' relationship goes back to the mereology of S. Leśniewski, subsequently taken up by [34], and [11]. In this paper we investigate relation algebras obtained from dixfferent notions of ``part-of'', respectively, ``connectedness'' in various domains. We obtain minimal models for the relational part of mereology in a general setting, and when the underlying set is an atomless Boolean algebra.

Słowa kluczowe

EN

qualitative spatial reasoning (QSR)

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1999
• Tom: Vol. 39, Nr 3
• Strony: 229--248
• Opis fizyczny: bibliogr. 57 poz.

Twórcy

autor

Düntsch I.

autor

Wang H.

autor

McCloskey S.

• School of Information and Software Engineering, University of Ulster, Newtownabbey, BT37 0QB, N.Ireland,