Unity analysisand Mereotopology

• Primitive: topological connection (C)

• Some axioms:

  • reflexivity
  • symmetry
  • monotonicity wrt parthood: Pxy _ Cxz _ Cyz
  • external contact: everything is connected with its mereological complement

• Problems:

  • distinguish between open and closed regions?
  • get rid of P, defining Pxy =def Cxz _ Cyz ?
  • different kinds of connection (line, point, surface): is C alone enough?

Previous slide

Next slide

Back to first slide

View graphic version