A formal theory for reasoning about parthood, connection, and location

Artificial Intelligence

Volumn 160, Issue 1-2, 2004, Pages 145-172

  Donnelly, Maureen ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Formal ontology; Holes; Mereotopology; Physical objects; Spatial reasoning

Indexed keywords

MATHEMATICAL MODELS; MECHANICS; SET THEORY; TOPOLOGY;

FORMAL ONTOLOGY; HOLES; PHYSICAL OBJECTS; SPATIAL REASONING;

INFORMATION THEORY;

EID: 7544231514     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2004.06.003     Document Type: Article

References (18)

1. N. Asher, L. Vieu, Towards a geometry of commonsense: a semantics and a complete axiomatization of mereotopology, in: Proceedings of IJCAI '95, Morgan Kaufmann, San Mateo, CA, 1995, pp. 846-852.
2. B. Bennett, Space, time, matter, and things, in: C. Welty, B. Smith (Eds.), Proceedings of FOIS '01, ACM Press, New York, 2001, pp. 105-116.
3. L. Biacino, G. Gerla, Connection structures, Notre Dame J. Formal Logic 32 (1991) 242-247.
4. S. Borgo, N. Guarino, C. Masalo, A pointless theory of space based on strong connection and congruence, in: L.C. Aiello, S. Shapiro (Eds.), Proceedings of KR '96, Morgan Kaufmann, San Mateo, CA, 1996, pp. 220-229.
5. S. Borgo, N. Guarino, C. Masalo, An ontological theory of physical objects, in: L. Ironi (Ed.), Proceedings of QR '97, Cortona, Italy, 1997, pp. 223-231.
6. R. Casati, A.C. Varzi, Holes and Other Superficialities, MIT Press, Cambridge, MA, 1994.
7. R. Casati, A.C. Varzi, Parts and Places. The Structures of Spatial Representation, MIT Press, Cambridge, MA, 1999.
8. A.G. Cohn, Formalizing bio-spatial knowledge, in: C. Welty, B. Smith (Eds.), Proceedings of FOIS '01, ACM Press, New York, 2001, pp. 198-209.
9. A.G. Cohn, A.C. Varzi, Connection relations in mereotopology, in: H. Prade (Ed.), Proceedings of ECAI '98, Wiley, New York, 1985, pp. 150-154.
10. M. Donnelly, B. Smith, Layers: A new approach to locating objects in space, in: W. Kuhn, M.F. Worboys, S. Timpf (Eds.), Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, in: Lecture Notes in Comput. Sci., vol. 2825, Springer, Berlin, 2003, pp. 50-65.
11. N.M. Gotts, J.M. Gooday, A.G. Cohn, A connection based approach to commonsense topological description and reasoning, The Monist 79 (1996) 51-75.
12. G.W. Leibniz, in: L. Loemker (Ed.), Philosophical Papers and Letters, vol. 2, Kluwer Academic, Dordrecht, 1989.
13. H.S. Leonard, N. Goodman, The calculus of individuals and its uses, J. Symbolic Logic 5 (1940) 45-55.
14. J.L.V. Mejino, C. Rosse, Conceptualizations of anatomical spatial entities in the digital anatomist foundational model, in: Proceedings of the AMIA Symposium '99, 1999, pp. 112-116.
15. S. Schulz, U. Hahn, Mereotopological reasoning about parts and wholes in bio-ontologies, in: C. Welty, B. Smith (Eds.), Proceedings of FOIS '01, ACM Press, New York, 2001, pp. 210-221.
16. L. Sklar, Space, Time, and Spacetime, University of California Press, Berkeley, CA, 1974.
17. B. Smith, Mereotopology: a theory of parts and boundaries, Data & Knowledge Engineering 20 (1996) 287-303.
18. A. Tarski, Foundations of the Geometry of Solids, in: Logic, Semantics, and Metamathemarics, Clarendon Press, Oxford, 1956, trans. J.H. Woodger.