Connection Relations in Mereotopology

We provide a model-theoretic framework for inves- tigating and comparing a variety of mereotopological theories with respect to (i) the intended interpretation of their connec- tion primitives, and (ii) the composition of their intended do- mains (e.g., whether or not they allow for boundary elements).

[1]  Barry Smith,et al.  On Drawing Lines on a Map , 1995, COSIT.

[2]  Giangiacomo Gerla,et al.  Connection Structures , 1991, Notre Dame J. Formal Log..

[3]  Achille C. Varzi,et al.  Holes and Other Superficialities , 1994 .

[4]  Achille C. Varzi.  Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology , 1996, Data Knowl. Eng..

[5]  Anthony G. Cohn,et al.  Taxonomies of logically defined qualitative spatial relations , 1995, Int. J. Hum. Comput. Stud..

[6]  Barry Smith,et al.  The Basic Tools of Formal Ontology , 1998 .

[7]  Oliver Lemon,et al.  Semantical Foundations of Spatial Logics , 1996, KR.

[8]  Fabio Pianesi,et al.  Events, topology and temporal relations , 1996 .

[9]  Achille C. Varzi,et al.  Fiat and Bona Fide Boundaries , 2000 .

[10]  Oliver Lemon,et al.  Ontologies for Plane, Polygonal Mereotopology , 1997, Notre Dame J. Formal Log..

[11]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[12]  Margaret M. Fleck,et al.  The topology of boundaries , 1996 .

[13]  Achille C. Varzi.  Boundaries, Continuity, and Contact , 1997 .

[14]  Bowman L. Clarke,et al.  Individuals and points , 1985, Notre Dame J. Formal Log..

[15]  Timothy Williamson,et al.  Parts. A Study in Ontology , 1990 .

[16]  Roberto Casati,et al.  Spatial Entities , 1997 .

[17]  Achille C. Varzi.  Basic Problems of Mereotopology , 1998 .

[18]  Scattered objects , 1997, Science.

[19]  M. Aurnague,et al.  A three-level approach to the semantics of space , 1993 .

[20]  Margaret M. Fleck.  The Topology of Boundaries , 2018, Artif. Intell..

[21]  Achille C. Varzi,et al.  The structure of spatial localization , 1996 .

[22]  Laure Vieu,et al.  Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology , 1995, IJCAI.

[23]  Nicola Guarino,et al.  A Pointless Theory of Space Based on Strong Connection and Congruence , 1996, KR.

[24]  J. E. Tiles,et al.  Things that happen , 1981 .

[25]  D. Randell,et al.  Exploiting lattices in a theory of space and time , 1992 .

[26]  T. D. Laguna.  Point, Line, and Surface, as Sets of Solids , 1922 .

[27]  Bowman L. Clarke,et al.  A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..

[28]  W. Mays,et al.  Process and Reality , 1978 .

[29]  A. Cohn,et al.  A connection based approach to common-sense topological description and reasoning , 1996 .

[30]  Fabio Pianesi,et al.  Refining Temporal Reference in Event Structures , 1996, Notre Dame J. Formal Log..

[31]  B. L. Clark.  Individuals and points. , 1985 .

[32]  Giangiacomo Gerla,et al.  Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point , 1996, Notre Dame J. Formal Log..

[33]  Anthony G. Cohn,et al.  Modelling Topological and Metrical Properties in Physical Processes , 1989, KR.

[34]  Kit Fine,et al.  The Study of Ontology , 1991 .