A Canonical Model of the Region Connection Calculus

References

• BENNETT , B. 1996 . Modal Logics for Qualitative Spatial Reasoning . Journal of the Interest Group on Pure and Applied Logics , 4 : 23 – 45 .
   Google Scholar
• CLARKE , B. L. 1981 . A calculus of individuals based on “connection” . Notre Dame Journal of Formal Logic , 22 ( 3 ) : 204 – 218 .
   Google Scholar
• CLARKE , B. L. 1985 . Individuals and points . Notre Dame Journal of Formal Logic , 26 ( 1 ) : 61 – 75 .
   Google Scholar
• DORNHEIM , C. 1998 . Undecidability of Plane Polygonal Mereotopology . Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98) . 1998 , San Francisco , CA . Edited by: COHN , A. G. , SCHUBERT , L. K. and SCHUBERT , S. C. pp. 342 – 353 . Morgan Kaufmann .
   Google Scholar
• JONSSON , P. and DRAKENGREN , T. 1997 . A complete classification of tractability in RCC5 . Journal of Artificial Intelligence Research , 6 : 211 – 221 .
   Web of Science ®Google Scholar
• DE LAGUNA , T. 1922 . Point, line, and surface as sets of solids . The Journal of Philosophy , 19 : 449 – 461 .
   Google Scholar
• NUTT , W. 1999 . On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics . Advances in Artificial Intelligence, Proc. 23rd Annual German Conference on Artificial Intelligence, KI'99 . 1999 , Berlin . Edited by: BURGARD , W. , CHRISTALLER , T. and CREMERS , A. pp. 113 – 124 . Springer-Verlag . vol. 1701 of Lecture Notes in Computer Science
   Google Scholar
• PAPADIMITRIOU , C. H. 1994 . Computational Complexity , Reading , MA : Addison-Wesley .
   Google Scholar
• PAPADIMITRIOU , C. H. , SUCIU , D. and VIANU , V. Topological Queries in Spatial Databases . Proceedings of PODS'96 . pp. 81 – 92 . ACM .
   Google Scholar
• PRATT , I. and LEMON , O. 1997 . Ontologies for plane, polygonal mereotopology . Notre Dame Journal of Formal Logic , 38 ( 2 ) : 225 – 245 .
   Google Scholar
• PRATT , I. and SCHOOP , D. 1998 . A complete axiom system for polygonal mereotopology of the real plane . Journal of Philosophical Logic , 27 ( 6 ) : 621 – 658 .
   Web of Science ®Google Scholar
• PRATT , I. and SCHOOP , D. 2000 . Expressivity in polygonal, plane mereotopology . Journal of Symbolic Logic , 65 ( 2 ) : 822 – 838 .
   Web of Science ®Google Scholar
• PRATT , I. and SCHOOP , D. 2002 . Elementary polyhedral mereotopology . Journal of Philosophical Logic , 31 : 461 – 498 .
   Web of Science ®Google Scholar
• RANDELL , D. A. , CUI , Z. and COHN , A. G. 1992 . A Spatial Logic Based on Regions and Connection . Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR '92) . 1992 , San Mateo , CA . Edited by: NEBEL , B. , RICH , C. and SWARTOUT , W. pp. 165 – 176 . Morgan Kaufmann .
   Google Scholar
• RENZ , J. and NEBEL , B. 1999 . On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus . Artificial Intelligence , 108 : 69 – 123 .
   Web of Science ®Google Scholar
• RENZ , J. 2000 . Qualitative Spatial Reasoning with Topological Information , Albert-Ludwigs-Universität Freiburg im Breisgau . PhD thesis
   Google Scholar
• WHITEHEAD , A. N. 1929 . Process and Reality , New York : The MacMillan Company .
   Google Scholar
• WOLTER , F. and ZAKHARYASCHEV , M. 2000 . Spatial reasoning in RCC-8 with Boolean region terms . ECAI 2000: Fourteenth European Conference on Artificial Intelligence . 2000 , Amsterdam . Edited by: HORN , W. pp. 244 – 248 . IOS Press .
   Google Scholar
• WOLTER , F. and ZAKHARYASCHEV , M. 2000 . Spatio-temporal representation and reasoning based on RCC-8 . Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR-00) . 2000 , San Francisco . Edited by: COHN , A. G. , GIUNCHIGLIA , F. and SELMAN , B. pp. 3 – 14 . Morgan Kaufmann .
   Google Scholar