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...
Saved in:
| Published in | Fundamenta informaticae Vol. 74; no. 2-3; pp. 209 - 249 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
2006
|
| Online Access | Get full text |
Cover
Loading…
| Abstract | 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. |
|---|---|
| AbstractList | 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. |
| Author | Dimov, Georgi Vakarelov, Dimiter |
| Author_xml | – sequence: 1 givenname: Georgi surname: Dimov fullname: Dimov, Georgi – sequence: 2 givenname: Dimiter surname: Vakarelov fullname: Vakarelov, Dimiter |
| BookMark | eNotzc1OAjEUQOEuMBHQd-jKXZO2l5bW3YT4QyTRKK7Jnc4tjBnacTok8vaayOrsvjNjk5QTTdhUKuuF9tZds1kpX1JK5cFP2csqpxHDyKtuT_WAhWNq-Dvt25xEjYUavj1QHs48R_7RY6B7XvG3If-0x3Y886rvh4zhwAVf37CriF2h20vn7PPxYbt6FpvXp_Wq2oheOTuKGNHF6I1pAkjrgtf1EkC5aBYLgFobbbwDcDEoadA5UEZio7DWVkkkgjm7-3f_1t8nKuPu2JZAXYeJ8qnstPPagV3CLxrNSYY |
| ContentType | Journal Article |
| DBID | 7SC 7SP 7SR 7TB 7U5 8BQ 8FD FR3 JG9 JQ2 KR7 L7M L~C L~D |
| DatabaseName | Computer and Information Systems Abstracts Electronics & Communications Abstracts Engineered Materials Abstracts Mechanical & Transportation Engineering Abstracts Solid State and Superconductivity Abstracts METADEX Technology Research Database Engineering Research Database Materials Research Database ProQuest Computer Science Collection Civil Engineering Abstracts Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | Materials Research Database Civil Engineering Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Mechanical & Transportation Engineering Abstracts Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts METADEX Computer and Information Systems Abstracts Professional Engineered Materials Abstracts Solid State and Superconductivity Abstracts Engineering Research Database Advanced Technologies Database with Aerospace |
| DatabaseTitleList | Materials Research Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Mathematics |
| EndPage | 249 |
| GroupedDBID | --Z .4S .DC 0R~ 4.4 5GY 7SC 7SP 7SR 7TB 7U5 8BQ 8FD ABDBF ABJNI ACGFS ACIWK ACPQW ADZMO AENEX AFRHK AGIAB ALMA_UNASSIGNED_HOLDINGS ARCSS ASPBG AVWKF CAG COF DU5 EAD EAP EBO EBS EDO EJD EMK EPL ESX FR3 HZ~ I-F IL9 IOS J8X JG9 JQ2 KR7 L7M L~C L~D MET MIO MK~ MV1 O9- P2P PQQKQ SFC TH9 TUS Y2W |
| ID | FETCH-LOGICAL-p186t-ffa8ff955dc3068c92b73318f54433b252598338fc105a883150ad1ab2610aee3 |
| ISSN | 0169-2968 |
| IngestDate | Fri Oct 25 08:34:33 EDT 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 2-3 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-p186t-ffa8ff955dc3068c92b73318f54433b252598338fc105a883150ad1ab2610aee3 |
| Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| PQID | 28928367 |
| PQPubID | 23500 |
| PageCount | 41 |
| ParticipantIDs | proquest_miscellaneous_28928367 |
| PublicationCentury | 2000 |
| PublicationDate | 2006-00-00 |
| PublicationDateYYYYMMDD | 2006-01-01 |
| PublicationDate_xml | – year: 2006 text: 2006-00-00 |
| PublicationDecade | 2000 |
| PublicationTitle | Fundamenta informaticae |
| PublicationYear | 2006 |
| SSID | ssj0001939 |
| Score | 2.0257583 |
| Snippet | 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... |
| SourceID | proquest |
| SourceType | Aggregation Database |
| StartPage | 209 |
| Title | Contact Algebras and Region-based Theory of Space: A Proximity Approach - I |
| URI | https://search.proquest.com/docview/28928367 |
| Volume | 74 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3NT8IwFG-MXvRg_Izf9uDN1MC6jc4bCAQV0AMYbqTdOmMkg8Aw6l_ve1s3ZjTx49Js3bIl_TXvvb7293uEnJW4tLUINAO7J5kNDptJ7gQssAMd-lK52kGicKfrtvr2zcAZLNQsEnZJrC789295Jf9BFfoAV2TJ_gHZ_KPQAdeAL7SAMLS_whilpZDjWB094v7vzLAN8YgxQ_cUGOp9wkyZYL484aHfT8evyGt6wxg0ZVQxkz3NCnYiPyQ5Vn5ulFUx5Z3PgToA_JJn1J-y7gf5LKd6lD6qJ8yp6eesQjHF6HrM8tJiN5mNTCvpmLlgMV40eSWv4D0t21t4lmw3vXs3bPbb7WGvMcBtdbvEwSKtVGv1WjP3mhBIeqkOe_r3L74xcfi9DbJuInVaTYd9kyzpaIusFfQb4a6Ti97OtsmtgYNmcFCAgxbhoCkcdBzSBI5LWqU5GDQDgzJ6vUP6zUbvqsVMrQo2KQs3ZmEoRRh6jhP4sAgTvmcprIYpQtQX5MpyYJkpOBehDwGtFIJDIC6DslSwgi1JrfkuWY7Gkd4jlCcablrywEWBtrJX4UrJspbSrzi2EvvkNBuZIdgC3OCRkR7PZ0NYPEO06FYOfnzjkKwucklHZDmezvUxRFexOjHAfACIbyym |
| link.rule.ids | 315,783,787,4033 |
| linkProvider | EBSCOhost |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Contact+Algebras+and+Region-based+Theory+of+Space%3A+A+Proximity+Approach+-+I&rft.jtitle=Fundamenta+informaticae&rft.au=Dimov%2C+Georgi&rft.au=Vakarelov%2C+Dimiter&rft.date=2006&rft.issn=0169-2968&rft.volume=74&rft.issue=2-3&rft.spage=209&rft.epage=249&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0169-2968&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0169-2968&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0169-2968&client=summon |