\hyphenation{ Ber-lin know-ledge }
\begin{thebibliography}{10}

\bibitem{AsherVieu95}
N.~Asher and L.~Vieu.
\newblock Toward a geometry of common sense -- {A} semantics and a complete
  axiomatization of mereotopology.
\newblock In {\em Proceedings of the Fourteenth International Joint Conference
  on Artificial Intelligence (IJCAI-95)}, pages 846--852, 1995.

\bibitem{BiacinoGerla96}
L.~Biacino and G.~Gerla.
\newblock Connection structures: {Grzegorczyk's} and {Whitehead's} definition
  of point.
\newblock {\em Notre Dame Journal of Formal Logic}, 37(3):431--439, 1996.

\bibitem{Bollobas79}
{B\'ela} {Bollob\'as}.
\newblock {\em Graph Theory: {an} Introductory Course}.
\newblock Spinger-Verlag, New York, 1979.

\bibitem{Borgo+96}
S.~Borgo, N.~Guarino, and C.~Masolo.
\newblock A pointless theory of space based on strong connection and
  congruence.
\newblock In L.~C. Aiello, J.~Doyle, and S.~C. Shapiro, editors, {\em
  {Principles of Knowledge Representation and Reasoning: Proceedings of the
  Fifth International Conference (KR96)}}, pages 220--229, San Francisco, CA.,
  1996. Morgan Kaufmann Publishers.

\bibitem{ChangKeisler90}
C.~C. Chang and H.~J. Keisler.
\newblock {\em Model Theory}.
\newblock North Holland, Amsterdam, 3rd edition, 1990.

\bibitem{clarke81}
B.~L. Clarke.
\newblock A calculus of individuals based on ``connection''.
\newblock {\em Notre Dame Journal of Formal Logic}, 22(3):204--218, 1981.

\bibitem{clarke85}
B.~L. Clarke.
\newblock Individuals and points.
\newblock {\em Notre Dame Journal of Formal Logic}, 26(1):61--75, 1985.

\bibitem{Gotts+96}
N.~M. Gotts, J.~M. Gooday, and A.~G. Cohn.
\newblock A connection based approach to commonsense topological description
  and reasoning.
\newblock {\em Monist}, 79(1):51--75, 1996.

\bibitem{Johnstone82}
P.~T. Johnstone.
\newblock {\em Stone Spaces}.
\newblock Cambridge University Press, 1982.

\bibitem{Newman64}
M.~H.~A. Newman.
\newblock {\em Elements of the Topology of Plane Sets of Points}.
\newblock Cambridge University Press, Cambridge, 1964.

\bibitem{PrattLemon97b}
Ian Pratt and Oliver Lemon.
\newblock {Ontologies for plane, polygonal mereotopology}.
\newblock {\em Notre Dame Journal of Formal Logic}, 38(2):225--245, 1997.

\bibitem{Randell+92}
D.~A. Randell, Z.~Cui, and A.~G. Cohn.
\newblock A spatial logic based on regions and connection.
\newblock In B.~Nebel, C.~Rich, and W.~Swartout, editors, {\em Principles of
  Knowledge Representation and Reasoning: Proceedings of the Third
  International Conference (KR '92)}, pages 165--176, Los Altos, CA, 1992.
  Morgan Kaufmann Publishers.

\bibitem{Tarski56b}
Alfred Tarski.
\newblock Foundations of the geometry of solids.
\newblock In {\em Logics, Semantics, and Metamathematics}, pages 24 -- 29.
  Clarendon Press, Oxford, 1956.

\bibitem{whitehead29}
A.~N. Whitehead.
\newblock {\em {Process and Reality}}.
\newblock The MacMillan Company, New York, 1929.

\bibitem{Wilson79}
Robin~J. Wilson.
\newblock {\em Introduction to Graph Theory}.
\newblock Longman, London, 1979.

\end{thebibliography}
