Contact Algebras and Region-based Theory of Space: A Proximity Approach - I

This work is in the field of region-based (or Whitehedian) theory of space, which is an important subfield of Qualitative Spatial Reasoning (QSR). The paper can be considered also as an application of abstract algebra and topology to some problems arising and motivated in Theoretical Computer Scienc...

Full description

Saved in:
Bibliographic Details
Published inFundamenta informaticae Vol. 74; no. 2-3; pp. 209 - 249
Main Authors Dimov, Georgi, Vakarelov, Dimiter
Format Journal Article
LanguageEnglish
Published 2006
Online AccessGet full text

Cover

More Information
Summary:This work is in the field of region-based (or Whitehedian) theory of space, which is an important subfield of Qualitative Spatial Reasoning (QSR). The paper can be considered also as an application of abstract algebra and topology to some problems arising and motivated in Theoretical Computer Science and QSR. Different axiomatizations for region-based (or Whiteheadian) theory of space are given. The most general one is introduced under the name 'Contact Algebra' Adding some extra first- or secondorder axioms to those of contact algebras, some new or already known algebraic notions are obtained. Representation theorems and completion theorems for all such algebras are proved. Extension theories of the classes of all semiregular T_0-spaces and all N-regular (a notion introduced here) T_1-spaces are developed.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0169-2968