Design and comparison of lattices of topological relations for spatial representation and reasoning

Journal of Experimental and Theoretical Artificial Intelligence

Volumn 15, Issue 3, 2003, Pages 331-371

  Le Ber, Florence ^a   Napoli, Amedeo ^a  

^a LORIA   (France)

Author keywords

Galois connection; Lattice based classification; Object based representation systems; Raster images; Relation computation; Topological relations

Indexed keywords

FRACTALS; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; TOPOLOGY;

GALOIS CONNECTION; LATTICE BASED CLASSIFICATION; RELATION COMPUTATION; TOPOLOGICAL RELATIONS;

ARTIFICIAL INTELLIGENCE;

EID: 0038447171     PISSN: 0952813X     EISSN: None     Source Type: Journal    
DOI: 10.1080/0952813031000119700     Document Type: Article

References (74)

1. Allen, J. F., 1983, Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11): 832-843.
2. Asher, N., and Vieu, L., 1995, Toward a geometry of common sense: a semantic and a complete axiomatization of meteotopology. In Proceedings of the 14th IJCAI, Montréal, Canada, pp. 846-852.
3. Bachacou, J., 1995, Map of the land use in Lorraine based on Landsat images, crop year 1989-90. Document, Laboratoire d'Intelligence Artificielle et de Beométrie, INRA-Nancy, France.
4. Barbut, M., and Monjarder, B., 1970, Ordre et classification - Algèbre et combinatoire (Paris: Hachette).
5. Bennet, B., 1994, Spatial reasoning with propositional logics. In D. Doyle, E. Sandwall and P. Torasso (eds) Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94), (San Francisco: Morgan Kaufmann Publishers), pp. 246-257.
6. Bennett, B., Isli, A., and Cohn, A. G., 1998, A system handling RCC-8 queries on 2D regions representable in the closure algebra of half-planes. In Proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA-AIE), LNCS (Berlin: Springer-Verlag).
7. Benoît, M., 1990, La gestion territoriale de l'activité agricole dans un village lorrain. Mappemonde, 90(4): 15-17.
8. Birkhoff, G., 1967, Lattice Theory, 3rd edn (Providence, RI: American Mathematical Society).
9. Carpineto, C., and Romano, G., 1993, Galois: an order-theoretic approach to conceptual clustering. In Proceedings of the 10th International Conference on Machine Learning (ICML'93), Amherst, USA (San Francisco: Morgan Kaufmann Publishers), pp. 33-40.
10. Clarke, B. L., 1981, A calculus of individuals based on 'connection'. Notre Dame Journal of Formal Logic, 22(3): 204-218.
11. Clarke, B. L., 1985, Individuals and points. Notre Dame Journal of Formal Logic, 26(1): 61-75.
12. Clementini, E., Di Felice, P., and van Oosterom, P., 1993 A small set of formal topological relationships for end-user interaction. In D. J. Abel and B. C. Ooi (eds) Advances in Spatial Databases, Third International Symposium SSD'93, Singapore, LNCS 692 (Berlin: Springer Verlag), pp. 277-295.
13. Cohn, A. G., Randell, D. A., Cui, Z., and Bennet, B., 1993, Qualitative spatial reasoning and representation. In N. Piera Carrete and M. G. Singh (eds) IMACS International Workshop on Qualitative Reasoning and Decision Technologies, Barcelona, Spain, pp. 513-522.
14. Cohn, A. G., Bennett, B., Gooday, J., and Gotts, N. M., 1997, Representing and reasoning with qualitative spatial relations about regions. In O. Stock (ed.) Spatial and Temporal Reasoning (Dordrecht: Kluwer Academic Publishers), pp. 97-134.
15. Cui, Z., Cohn, A. G., and Randell, D. A., 1993, Qualitative and topological relationships in spatial databases. In D. J. Abel and B. C. Ooi (eds) Advances in Spatial Databases, Third International Symposium SSD'93, Singapore, LNCS 692 (Berlin: Springer Verlag), pp. 296-315.
16. Davey, B. A., and Priestley, H. A., 1990, Introduction to Lattices and Order (Cambridge: Cambridge University Press).
17. Deffontaines, J.-P., 1986, Un point de vue d'agronome sur le paysage. Une méthode d'analyse du paysage pour l'étude de l'activité agricole. In Lectures du paysage (Coll. INRAP-Dijon), pp. 35-52.
18. Deffontaines, J.-P., 1990, Organisation spatiale de l'activité agricole et développement d'une petite région lorraine. Mappemonde, 90(4): 12-14.
19. Ducournau, R., 1991, Y3: YAFOOL, the object oriented language (Montrouge: SEMA Group).
20. Egenhofer, M. J., 1989, A formal definition of binary topological relationships. In W. Litwin and H. J. Schek (eds) Foundations of Data Organization and Algorithms, FODO 1989, Paris, France, LNCS 367 (Berlin: Springer Verlag), pp. 457-472.
21. 2. In D. J. Abel and B. C. Ooi (eds) Advances in spatial databases. Third International Symposium, SSD'93, Singapore, LNCS 692 (Berlin: Springer Verlag), pp. 316-336.
22. Frank, A. U. 1997, Spatial ontology: a geographical information point of view. In O. Stock (ed.) Spatial and Temporal Reasoning (Dordrecht: Kluwer Academic Publishers), pp. 135-153.
23. Freksa, C., and Mark, D. M., 1999, Spatial Information Theory, Cognitive and Computational Foundations of Geographic Information Science, LNCS 1661. International Conference COSIT'99, State, Germany (Berlin: Springer Verlag).
24. Galton, A., 1999, The mereology of discrete space. In C. Freksa and D. M. Mark (eds) Spatial Information Theory, Cognitive and Computational Foundations of Geographic Information Science, LNCS 1661 (Berlin: Springer Verlag), pp. 251-266.
25. Ganter, B., and Wille, R., 1999, Formal Concept Analysis (Berlin: Springer Verlag).
26. Godin, R., and Missaoui R., 1994, An incremental concept formation approach for learning from databases. Theoretical Computer Science, 133(2): 387-419.
27. Godin, R., Missaoui, R., and Alaoui, H., 1995, Incremental concept formation algorithms based on Galois (concepts) lattices. Computational Intelligence, 11(2): 246-267.
28. Grigni, M., Papadias, D., and Papadimitrou, C., 1995, Topological inference. In Proceedings of the 14th IJCAI, Montréal, Canada, pp. 901-906.
29. Guénoche, A., and van Mechelen, I., 1993, Galois approach to the induction of concepts. In I. Van Mechelen, J. Hampton, R. S. Michalski and P. Theuns (eds) Categories and Concepts. Theoretical Views and Inductive Data Analysis, (London: Academic Press), pp. 287-308.
30. Haarslev, V., Lutz, C., and Möller, R., 1998, Foundations of spatioterminological reasoning with description logics. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy (Morgan Kaufmann Publishers), pp. 112-123.
31. Haarslev, V., Lutz, C., and Möller, R., 1999, A description logic with concrete domains and a role-forming predicate operator. Journal of Logic and Computation, 9(3): 351-384, San Francisco.
32. Kawashima, T., Yoshino, K., and Aoki, Y., 1994, Qualitative image analysis of group behaviour. In IEEE Computer Vision and Pattern Recognition (CVPR'94), pp. 690-693.
33. Kong, T. Y., and Rosenfeld, A., 1989, Digital topology: introduction and survey. Computer Vision, Graphics, and Image Processing, 48: 357-393.
34. Kovalevsky, V. A., 1989, Finite topology as applied to image analysis. Computer Vision, Graphics, and Image Processing, 46: 141-161.
35. Latecki, L., Eckhardt, U., and Rozenfeld, A., 1995, Well-composed sets. Computer Vision and Image Understanding, 61 (1): 70-83.
36. Le Ber, F., and Mangelinck, L., 1998, A formal representation of landscape spatial patterns to analyze satellite images. AI Applications, 12(1-3): 51-59.
37. Le Ber, F., and Napoili, A., 2002, Design and comparison of lattices of topological relations based on galois lattice theory. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France (San Francisco: Morgan Kaufmann Publishers), pp. 37-46.
38. Le Ber, F., Mangelinck, L., and Napoli, A., 1999, Représentation de relations et classification de structures spatiales. Revue d'Intelligence Artificielle, 13(2): 441-467.
39. Le Ber, F., Mangelinck, L., and Napoli, A., 2001, Design and comparison of lattices of topological relations for spatial representation and reasoning. INRIA Research Report RR-4321.
40. Lesniewski, S., 1927-1931, O podstawach matematyki (On the foundations of mathematics). Przeglad filozoficzny (Philosophical Review), 30-34.
41. Lieber, J., and Napoli, A., 1996, Using classification in case-based planning. In W. Wahlster (ed.) Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96), Budapest, Hungary (Chichester: John Wiley & Sons Ltd), pp. 132-136.
42. Lieber, J., and Napoli, A., 1998, Correct and complete retrieval for case-based problem-solving. In H. Prade (ed.) Proceedings of the 13th European Conference on Artificial Intelligence (ECAI'98), Brighton, UK (Chichester: John Wiley & Sons Ltd), pp. 68-72.
43. Ligozat, G., 1999, Simple models for simple calculi. In C. Freksa and D. M. Mark (eds) Spatial Information Theory, Cognitive and Computational Foundations of Geographical Information Science, LNCS 1661 (Berlin: Springer Verlag), pp. 173-188.
44. MacGregor, R. M., and Brill, D., 1992, Recognition algorithms for the loom classifier. In Proceedings of AAAI'92, San Jose, USA, pp. 774-779.
45. MacGregor, R. M., 1991, Inside the LOOM description classifier. ACM Sigart Bulletin, 2(3): 88-92.
46. Mangelinck, L., Le Ber, F., and Tabbone, S., 1996, Etude pour la reconnaissance de paysages argicoles sur des images satellitaires. In 10iéme Congrès Reconnaissance de Formes et Intelligence Artificielle, Rennes, France (AFCET), pp. 53-59.
47. Mangelinck, L., 1998, Représentation et classification de structures spatiales. Application à la reconnaissance de paysages agricoles. Doctorate thesis, Université Henri Poincaré Nancy 1.
48. Masini, G., Napoli, A., Colnet, D., Léonard, D., and Tombre, K., 1991, Object-Oriented Languages (London: Academic Press).
49. Masolo, C., and Vieu, L., 1999, Atomicity vs. infinite divisibility of space. In C. Freksa and D. M. Mark (eds) Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science, LNCS 1661 (Berlin: Springer Verlag), pp. 235-250.
50. Masolo, C., 2000, Critères de comparaison et de construction de théries axiomatiques pour la représentation de connaissances: ontologies de l'espace et du temps. Doctorate thesis, Université Paul Sabatier - Toulouse et Università degli Studi di Padova.
51. Metzger, J.-L., Le Ber, F., and Napoli, A., 2002, Using DL for a case-based explanation system. In Proceedings of the International Workshop on Descriptions Logics (DL2002), Toulouse, France, pp. 203-210.
52. Missikoff, M., and Scholl, M., 1989, An algorithm for insertion into a lattice: application to type classification. In W. Litwin and H.-J. Scheck (eds) Foundations of Data Organization and Algorithms, LNCS 367 (Berlin: Springer-Verlag), pp. 64-82.
53. Möller, R., and Wessel, M., 1999, Terminological default reasoning about spatial information: a first step. In C. Freksa and D. M. Mark (eds) Spatial Information Theory, Cognitive and Computational Foundations of Geographic Information Science, LNCS 1661 (Berlin: Springer Verlag), pp. 189-204.
54. Napoli, A., 1992, Subsumption and classification-based reasoning in object-based representations. In Proceedings of the 10th European Conference on Artificial Intelligence (ECAI'92), Vienna, Austria, pp. 425-429.
55. Napoli, A., Laurenço, C., and Ducournau, R., 1994, An object-based representation system for organic synthesis planning. International Journal of Human-Computer Studies, 41(1/2): 5-32.
56. Nebel, B., 2000, Knowledge representation and reasoning - the theoretical side of AI. In W. Horn (ed.) 14th European Conference on Artificial Intelligence (ECAI 2000), Berlin, Germany, p. 763.
57. Price, K., Russ, T., and MacGregor, R., 1994, Knowledge representation for computer vision: the VEIL project. In ARPA Image Understanding Workshop.
58. Randell, D. A., and Cohn, A. G., 1992, Exploiting lattices in a theory of space and time. Computers and Mathematics with Applications, 23(6-9) 459-476.
59. Randell, D., and Witkowski, M., 2002, Building large composition tables via axiomatic theories. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France (San Francisco: Morgan Kaufmann Publishers), pp. 26-35.
60. Randell, D. A., Cohn, A. G., and Cui, Z., 1992, Computing transitivity tables: a challenge for automated theorem provers. In Proceedings of the 11th International Conference on Automated Deduction, CADE'92, LNCS 607 (Berlin: Springer-Verlag).
61. Randell, D. A., Cui, Z., and Cohn, A. G., 1992, A spatial logic based on regions and connection. In 3rd International Conference on Principles of Knowledge Representation and Reasoning (San Francisco: Morgan Kaufmann Publishers), pp. 165-176.
62. 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(1-2): 69-123.
63. Renz, J., 1999, A canonical model of the region connection calculus. In T. Cohn, L. Schubert, and S. Shapiro (eds) Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, pp. 330-341.
64. Renz, J., 1999, Maximal tractable fragment of the region connection calculus: a complete analysis. In Proceedings of the 16th IJCAI, Stockholm, Sweden, pp. 448-454.
65. Russ, T., MacGregor, R., Salemi, B., Price, K., and Nevalia, R., 1996, VEIL: combining semantic knowledge with image understanding. In ARPA Image Understanding Workshop.
66. Simon, A., and Napoli, A. 1999, Building viewpoints in an object-based representation system for knowledge discovery in databases. In S. Rubin (ed.) Proceedings of the First International Conference on Information Reuse and Integration (IRU'99), Atlanta, Georgia (The International Society for Computers and Their Applications, ISCA), pp. 104-108.
67. Stock, O. (ed.) 1997, Spatial and Temporal Reasoning (Dordrecht: Kluwer Academic Publishers).
68. Varzi, A. C., 1996, Parts, wholes, and part-whole relations: the prospects of mereotopology. Data & Knowledge Engineering, 20: 259-286.
69. Varzi, A. C., 1998, Basic problems of mereotopology. In N. Guarino (ed.) Formal Ontology in information systems, (FOIS'98), Trento, Italy (Amsterdam: IOS Press), pp. 29-38.
70. Vieu, L., 1993, A logical framework for reasoning about space. In Spatial Information Theory, COSIT'93, LNCS 716 (Berlin: Springer-Verlag), pp. 25-35.
71. Vieu, L. 1997, Spatial representation and reasoning in artificial intelligence. In O. Stock (ed.) Spatial and Temporal Reasoning (Dordrecht: Kluwer Academic Publishers), pp. 5-42
72. Wille, R., 1992, Concept lattices and conceptual knowledge systems. Computers & Mathematics With Applications, 23(6-9): 493-515.
73. Winston, M. E., Chaffin, R., and Hermann, D., 1987, A taxonomy of part-whole relations. Cognitive Science, 11: 417-444.
74. Winter, S., and Frank, A. U., 1999, Functional extensions of a raster representation for topological relations. In A. Vckovski, K. E. Brassel and H.-J. Schek (eds) 2nd International Conference on Interoperating Geographic Informations Systems (INTEROP'99), Zürich, Suisse, LNCS 1580 (Berlin: Springer-Verlag).