{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,20]],"date-time":"2023-08-20T10:56:21Z","timestamp":1692528981644},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2007,6,29]],"date-time":"2007-06-29T00:00:00Z","timestamp":1183075200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2007,8,2]]},"DOI":"10.1007\/s10472-007-9054-5","type":"journal-article","created":{"date-parts":[[2007,6,28]],"date-time":"2007-06-28T09:34:02Z","timestamp":1183023242000},"page":"171-190","source":"Crossref","is-referenced-by-count":7,"title":["The Galois lattice as a hierarchical structure for topological relations"],"prefix":"10.1007","volume":"49","author":[{"given":"Amedeo","family":"Napoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florence","family":"Le Ber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,6,29]]},"reference":[{"issue":"1\u20133","key":"9054_CR1","first-page":"51","volume":"12","author":"F. Ber Le","year":"1998","unstructured":"Le\u00a0Ber, F., Mangelinck, L.: A formal representation of landscape spatial patterns to analyze satellite images. AI Appl. (Natural Resources, Agriculture, and Environmental Science) 12 (1\u20133), 51\u201359 (1998)","journal-title":"AI Appl. (Natural Resources, Agriculture, and Environmental Science)"},{"key":"9054_CR2","volume-title":"Ordre et classification \u2013 Alg\u00e8bre et combinatoire","author":"M. Barbut","year":"1970","unstructured":"Barbut, M., Monjardet, B.: Ordre et classification \u2013 Alg\u00e8bre et combinatoire, Hachette, Paris (1970)"},{"key":"9054_CR3","volume-title":"Introduction to Lattices and Order","author":"B. Davey","year":"1990","unstructured":"Davey, B., Priestley, H.: Introduction to Lattices and Order. Cambridge University Press, Cambridge, UK (1990)"},{"key":"9054_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis. Springer, Berlin (1999)"},{"issue":"2","key":"9054_CR5","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"M.J. Egenhofer","year":"1991","unstructured":"Egenhofer, M.J., Franzosa, R.D.: Point-set topological spatial relations. Int. J. Geog. Inf. Syst. 5(2), 161\u2013174 (1991)","journal-title":"Int. J. Geog. Inf. Syst."},{"key":"9054_CR6","first-page":"316","volume-title":"Advances in Spatial Databases, Third International Symposium, SSD\u201993, Singapore, LNCS 692","author":"M.J. Egenhofer","year":"1993","unstructured":"Egenhofer, M.J., Sharma, J.: Topological relations between regions in $\\mathbb{R}^{2} $ and $\\mathbb{Z}^{2} $ . In: Abel, D.J., Ooi, B.C. (eds.) Advances in Spatial Databases, Third International Symposium, SSD\u201993, Singapore, LNCS 692, pp. 316\u2013336. Springer, Berlin Heidelberg New York (1993)"},{"key":"9054_CR7","first-page":"281","volume-title":"Proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA-AIE), LNCS 1415","author":"B. Bennett","year":"1998","unstructured":"Bennett, B., Isli, A., Cohn, A.G.: 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 1415, pp. 281\u2013290. Springer, Berlin Heidelberg New York (1998)"},{"issue":"6\u20139","key":"9054_CR8","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/0898-1221(92)90118-2","volume":"23","author":"D.A. Randell","year":"1992","unstructured":"Randell, D.A., Cohn, A.G.: Exploiting lattices in a theory of space and time. Comput. Math. Appl. 23(6\u20139), 459\u2013476 (1992)","journal-title":". Comput. Math. Appl."},{"key":"9054_CR9","first-page":"246","volume-title":"Proceeding of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201994)","author":"B. Bennett","year":"1994","unstructured":"Bennett, B.: Spatial reasoning with propositional logics. In: Doyle, J., Sandwall, E., Torasso, P. (eds.) Proceeding of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201994), pp. 246\u2013257. Morgan Kaufmann, San Mateo, CA (1994)"},{"key":"9054_CR10","doi-asserted-by":"crossref","unstructured":"M\u00f6ller, R., Wessel, M.: Terminological Default Reasoning about spatial information: A First Step. In: Freksa, C., Mark, D.M. (eds.) Spatial Information Theory, Cognitive and Computational Foundations of Geographic Information Science, LNCS 1661, Springer, 1999, International Conference COSIT\u201999, pp. 189\u2013204. Stade, Germany (1999)","DOI":"10.1007\/3-540-48384-5_13"},{"issue":"3","key":"9054_CR11","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1080\/02693799308901953","volume":"7","author":"W. Kainz","year":"1993","unstructured":"Kainz, W., Egenhofer, M.J., Greasley, I.: Modelling spatial relations and operations with partially ordered sets. Int. J. Geogr. Inf. Syst. 7(3), 215\u2013229 (1993)","journal-title":"Int. J. Geogr. Inf. Syst."},{"issue":"8","key":"9054_CR12","first-page":"751","volume":"8","author":"F. Ber Le","year":"2002","unstructured":"Le\u00a0Ber, F., Napoli, A.: The design of an object-based system for representing and classifying spatial structures and relations. J. Univers. Comput. Sci. 8(8), 751\u2013773 (2002)","journal-title":"J. Univers. Comput. Sci."},{"key":"9054_CR13","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/978-0-585-28322-7_1","volume-title":"Spatial and Temporal Reasoning","author":"L. Vieu","year":"1997","unstructured":"Vieu, L.: Spatial representation and reasoning in artificial intelligence. In: Stock, O. (ed.) Spatial and Temporal Reasoning, pp. 5\u201342. Kluwer, Boston (1997)"},{"key":"9054_CR14","first-page":"165","volume-title":"3rd International Conference on Principles of Knowledge Representation and Reasoning","author":"D.A. Randell","year":"1992","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: 3rd International Conference on Principles of Knowledge Representation and Reasoning, pp. 165\u2013176. Morgan Kaufmann, San Mateo, CA (1992)"},{"key":"9054_CR15","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/978-0-585-28322-7_4","volume-title":"Spatial and Temporal Reasoning","author":"A.G. Cohn","year":"1997","unstructured":"Cohn, A.G., Bennett, B., Gooday, J., Gotts, N.M.: Representing and reasoning with qualitative spatial relations about regions. In: Stock, O. (ed.) Spatial and Temporal Reasoning, pp. 97\u2013134. Kluwer, Boston (1997)"},{"issue":"3","key":"9054_CR16","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"22","author":"B.L. Clarke","year":"1981","unstructured":"Clarke, B.L.: A calculus of individuals based on \u2018connection\u2019. Notre Dame J. Form. Log. 22(3), 204\u2013218 (1981)","journal-title":"Notre Dame J. Form. Log."},{"key":"9054_CR17","first-page":"786","volume-title":"Proceedings of the 11th international conference on automated deduction, CADE\u201992, LNCS 607","author":"D.A. Randell","year":"1992","unstructured":"Randell, D.A., Cohn, A.G., Cui, Z.: Computing transitivity tables: a challenge for automated theorem provers. In: Proceedings of the 11th international conference on automated deduction, CADE\u201992, LNCS 607, pp. 786\u2013790. Springer, Berlin Heidelberg New York (1992)"},{"key":"9054_CR18","unstructured":"Cohn, A.G., Randell, D.A., Cui, Z., Bennet, B.: Qualitative spatial reasoning and representation. In: Piera Carrete, N., Singh, M.G. (eds.) IMACS Int. Workshop on Qualitative Reasoning and Decision Technologies, pp. 513\u2013522. Barcelona, Spain (1993)"},{"key":"9054_CR19","first-page":"26","volume-title":"Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France","author":"D. Randell","year":"2002","unstructured":"Randell, D., Witkowski, M.: Building large composition tables via axiomatic theories. In: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France, pp. 26\u201335. Morgan Kaufmann, San Mateo, CA (2002)"},{"issue":"3","key":"9054_CR20","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1080\/0952813031000119700","volume":"15","author":"F. Ber Le","year":"2003","unstructured":"Le\u00a0Ber, F., Napoli, A.: Design and comparison of lattices of topological relations for spatial representation and reasoning. J. Exp. Theor. Artif. Intell. 15(3), 331\u2013371 (2003)","journal-title":"J. Exp. Theor. Artif. Intell."},{"key":"9054_CR21","first-page":"457","volume-title":"Foundations of Data Organization and Algorithms, FODO 1989, Paris, France, LNCS 367","author":"M.J. Egenhofer","year":"1989","unstructured":"Egenhofer, M.J.: A formal definition of binary topological relationships. In: Litwin, W., Schek, H. (eds.) Foundations of Data Organization and Algorithms, FODO 1989, Paris, France, LNCS 367, pp. 457\u2013472. Springer, Berlin Heidelberg New York (1989)"},{"key":"9054_CR22","unstructured":"Mangelinck, L.: Repr\u00e9sentation et classification de structures spatiales. Application \u00e0 la reconnaissance de paysages agricoles, Th\u00e8se de doctorat, Universit\u00e9 Henri Poincar\u00e9 Nancy 1 (1998)"},{"key":"9054_CR23","unstructured":"Le\u00a0Ber, F., Mangelinck, L., Napoli, A.: Design and comparison of lattices of topological relations for spatial representation and reasoning. Rapport de recherche INRIA RR-4321, 57 (2001)"},{"key":"9054_CR24","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1016\/S0304-3975(98)00279-5","volume":"217","author":"V. Duquenne","year":"1999","unstructured":"Duquenne, V.: Latticial structures in data analysis. Theor. Comp. Sci. 217, 407\u2013436 (1999)","journal-title":"Theor. Comp. Sci."},{"key":"9054_CR25","first-page":"5","volume":"95","author":"J.-L. Guigues","year":"1986","unstructured":"Guigues, J.-L., Duquenne, V.: Familles minimales d\u2019implications informatives r\u00e9sultant d\u2019un tableau de donn\u00e9es binaires. Math. Sci. Hum. 95, 5\u201318 (1986)","journal-title":"Math. Sci. Hum."},{"key":"9054_CR26","first-page":"213","volume-title":"Beitr\u00e4ge zur Begriffsanalyse","author":"V. Duquenne","year":"1987","unstructured":"Duquenne, V.: Contextual implications between attributes and some representational properties for finite lattices. In: Beitr\u00e4ge zur Begriffsanalyse, pp. 213\u2013239. B.I. Wissenschafts-verlag, Mannheim (1987)"},{"issue":"6\u20139","key":"9054_CR27","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1016\/0898-1221(92)90120-7","volume":"23","author":"R. Wille","year":"1992","unstructured":"Wille, R.: Concept lattices and conceptual knowledge systems. Comput. Math. Appl. 23(6\u20139), 493\u2013515 (1992)","journal-title":"Comput. Math. Appl."},{"key":"9054_CR28","unstructured":"Ducournau, R.: Y3 : YAFOOL, the object oriented language, SEMA Group (1991)"},{"key":"9054_CR29","doi-asserted-by":"crossref","unstructured":"Ligozat, G.: Simple models for simple calculi. In: Freksa, C., Mark, D.M. (eds.) Spatial Information Theory, Cognitive and Computational Foundations of Geographic Information Science, LNCS 1661, Springer, 1999, International Conference COSIT\u201999, pp. 173\u2013188. Stade, Germany (1999)","DOI":"10.1007\/3-540-48384-5_12"},{"issue":"2","key":"9054_CR30","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1016\/0304-3975(94)90195-3","volume":"133","author":"R. Godin","year":"1994","unstructured":"Godin, R., Missaoui, R.: An incremental concept formation approach for learning from databases. Theor. Comp. Sci. 133(2), 387\u2013419 (1994)","journal-title":"Theor. Comp. Sci."},{"key":"9054_CR31","first-page":"104","volume-title":"Proceedings of the first international conference on information reuse and integration (IRI\u201999)","author":"A. Simon","year":"1999","unstructured":"Simon, A., Napoli, A.: Building viewpoints in an object-based representation system for knowledge discovery in databases. In: Rubin, S. (ed.) Proceedings of the first international conference on information reuse and integration (IRI\u201999), pp. 104\u2013108. Atlanta, Geogia, ISCA (1999)"},{"key":"9054_CR32","doi-asserted-by":"crossref","unstructured":"Valtchev, P., Missaoui, R., Godin, R.: Formal concept analysis for knowledge discovery and data mining: The new challenges. In: Eklund, P.W. (ed.) Concept Lattices, Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, Springer. Lect. Notes Comput. Sci. 2961, 352\u2013371 (2004)","DOI":"10.1007\/978-3-540-24651-0_30"},{"key":"9054_CR33","unstructured":"Price, K., Russ, T., MacGregor, R.: Knowledge representation for computer vision: the VEIL Project. In: ARPA Image Understanding Workshop (1994)"},{"key":"9054_CR34","unstructured":"Russ, T., MacGregor, R., Salemi, B., Price, K., Nevatia, R.: VEIL: combining semantic knowledge with image understanding. In: ARPA Image Understanding Workshop (1996)"},{"issue":"3","key":"9054_CR35","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1145\/122296.122309","volume":"2","author":"R.M. MacGregor","year":"1991","unstructured":"MacGregor, R.M.: Inside the LOOM Description Classifier. ACM Sigart Bulletin 2(3), 88\u201392 (1991)","journal-title":"ACM Sigart Bulletin"},{"key":"9054_CR36","unstructured":"MacGregor, R., Brill, D.: Recognition algorithms for the Loom classifier. In: Proceedings of AAAI\u201992, pp. 774\u2013779. San Jose, USA (1992)"},{"issue":"3","key":"9054_CR37","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1093\/logcom\/9.3.351","volume":"9","author":"V. Haarslev","year":"1999","unstructured":"Haarslev, V., Lutz, C., M\u00f6ller, R.: A description logic with concrete domains and a role-forming predicate operator. J. Log. Comput. 9(3), 351\u2013384 (1999)","journal-title":"J. Log. Comput."},{"issue":"9","key":"9054_CR38","first-page":"1073","volume":"9","author":"F. Ber Le","year":"2003","unstructured":"Le\u00a0Ber, F., Napoli, A., Metzger, J.-L., Lardon, S.: Modeling and comparing farm maps using graphs and case-based reasoning. J. Univers. Comput. Sci. 9(9), 1073\u20131095 (2003)","journal-title":"J. Univers. Comput. Sci."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-007-9054-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-007-9054-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-007-9054-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T13:51:50Z","timestamp":1559137910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-007-9054-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6,29]]},"references-count":38,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2007,8,2]]}},"alternative-id":["9054"],"URL":"https:\/\/doi.org\/10.1007\/s10472-007-9054-5","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,6,29]]}}}