{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T21:18:33Z","timestamp":1717708713132},"reference-count":74,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1080\/0952813031000119700","type":"journal-article","created":{"date-parts":[[2003,11,10]],"date-time":"2003-11-10T16:58:20Z","timestamp":1068483500000},"page":"331-371","source":"Crossref","is-referenced-by-count":7,"title":["Design and comparison of lattices of topological relations for spatial representation and reasoning"],"prefix":"10.1080","volume":"15","author":[{"given":"Florence","family":"Le Ber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amedeo","family":"Napoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"CIT0002","unstructured":"Asher, N. and Vieu, L. Toward a geometry of common sense: a semantic and a complete axiomatization ofmereotopolog y. Proceedings of the 14th IJCAI. Montr\u00e9al, Canada. pp.846\u2013852."},{"key":"CIT0003","volume-title":"Document. Laboratoire d'Intelligence Artificielle et de Biom\u00e9trie","author":"Bachacou J.","year":"1995"},{"key":"CIT0004","volume-title":"Ordre et classification\u2014Alg\u00e8bre et combinatoire","author":"Barbut M.","year":"1970"},{"key":"CIT0005","doi-asserted-by":"crossref","unstructured":"Bennet, B. Spatial reasoning with propositional logics. Proceeding of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Edited by: Doyle, J., Sandwall, E. and Torasso, P. pp.246\u2013257. San Francisco: Morgan Kaufmann Publishers.","DOI":"10.1016\/B978-1-4832-1452-8.50102-0"},{"key":"CIT0006","unstructured":"Bennett, B., Isli, A. and 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. Berlin: Springer-Verlag."},{"key":"CIT0007","doi-asserted-by":"crossref","first-page":"15","DOI":"10.3406\/mappe.1990.932","volume":"90","author":"Beno\u00eet M.","year":"1990","journal-title":"Mappemonde"},{"key":"CIT0008","volume-title":"Lattice Theory","author":"Birkhoff G.","year":"1967","edition":"3"},{"key":"CIT0009","doi-asserted-by":"crossref","unstructured":"Carpineto, C. and Romano, G. Galois: an order-theoretic approach to conceptual clustering. Proceedings of the 10th International Conference on Machine Learning (ICML'93). Amherst, USA. pp.33\u201340. San Francisco: Morgan Kaufmann Publishers.","DOI":"10.1016\/B978-1-55860-307-3.50011-3"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093883455"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093870761"},{"key":"CIT0012","series-title":"LNCS 692","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/3-540-56869-7_16","volume-title":"Advances in Spatial Databases, Third International Symposium SSD'93","author":"Clementini E.","year":"1993"},{"key":"CIT0013","volume-title":"IMACS International Workshop on Qualitative Reasoning and Decision Technologies","author":"Cohn A. G.","year":"1993"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-585-28322-7_4"},{"key":"CIT0015","series-title":"LNCS 692","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/3-540-56869-7_17","volume-title":"Advances in Spatial Databases, Third International Symposium SSD'93","author":"Cui Z.","year":"1993"},{"key":"CIT0016","volume-title":"Introduction to Lattices and Order","author":"Davey B. A.","year":"1990"},{"key":"CIT0017","first-page":"35","volume-title":"Lectures du paysage (Coll. INRAP-Dijon)","author":"Deffontaines J.-P.","year":"1986"},{"key":"CIT0018","doi-asserted-by":"crossref","first-page":"12","DOI":"10.3406\/mappe.1990.931","volume":"90","author":"Deffontaines J.-P.","year":"1990","journal-title":"Mappemonde"},{"key":"CIT0019","volume-title":"Y3: YAFOOL, the object oriented language","author":"Ducournau R.","year":"1991"},{"key":"CIT0020","series-title":"LNCS 367","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/3-540-51295-0_148","volume-title":"Foundations of Data Organization and Algorithms, FODO 1989","author":"Egenhofer M. J.","year":"1989"},{"key":"CIT0021","series-title":"LNCS 692","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1007\/3-540-56869-7_18","volume-title":"Advances in spatial databases, Third International Symposium, SSD'93","author":"Egenhofer M. J.","year":"1993"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-585-28322-7_5"},{"key":"CIT0023","unstructured":"Freksa, C. and Mark, D. M. Spatial Information Theory, Cognitive and Computational Foundations of Geographic Information Science, LNCS 1661. International Conference COSIT'99. Stade, Germany. Berlin: Springer Verlag."},{"key":"CIT0024","series-title":"LNCS 1661","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/3-540-48384-5_17","volume-title":"Spatial Information Theory, Cognitive and Computational Foundations of Geographic Information Science","author":"Galton A.","year":"1999"},{"key":"CIT0025","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis","author":"Ganter B.","year":"1999"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90195-3"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1995.tb00031.x"},{"key":"CIT0028","unstructured":"Grigni, M., Papadias, D. and Papadimitriou, C. Topological inference. Proceedings of the 14th IJCAI. Montr\u00e9al, Canada. pp.901\u2013906."},{"key":"CIT0029","first-page":"287","volume-title":"Categories and Concepts. Theoretical Views and Inductive Data Analysis","author":"Gu\u00e9noche A.","year":"1993"},{"key":"CIT0030","unstructured":"Haarslev, V., Lutz, C. and M\u00f6ller, R. Foundations of spatioterminological reasoning with description logics. Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98). Trento, Italy. pp.112\u2013123. Morgan Kaufmann Publishers."},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.3.351"},{"key":"CIT0032","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/CVPR.1994.323777","volume-title":"IEEE Computer Vision and Pattern Recognition (CVPR'94)","author":"Kawashima T.","year":"1994"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1016\/0734-189X(89)90147-3"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1016\/0734-189X(89)90165-5"},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.1006\/cviu.1995.1006"},{"key":"CIT0036","first-page":"51","volume":"12","author":"Le Ber F.","year":"1998","journal-title":"AI Applications"},{"key":"CIT0037","unstructured":"Le Ber, F. and Napoili, A. Design and comparison of lattices of topological relations based on galois lattice theory. Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002). Toulouse, France. pp.37\u201346. San Francisco: Morgan Kaufmann Publishers."},{"key":"CIT0038","first-page":"441","volume":"13","author":"Le Ber F.","year":"1999","journal-title":"Revue d'Intelligence Artificielle"},{"key":"CIT0039","series-title":"INRIA Research Report RR-4321","volume-title":"Design and comparison of lattices of topological relations for spatial representation and reasoning","author":"Le Ber F.","year":"2001"},{"key":"CIT0040","first-page":"30","author":"Lesniewski S.","year":"1927","journal-title":"Przeglad filozoficzny (Philosophical Review)"},{"key":"CIT0041","unstructured":"Lieber, J. and Napoli, A. Using classification in case-based planning. Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96). Budapest, Hungary. Edited by: Wahlster, W. pp.132\u2013136. Chichester: John Wiley & Sons Ltd."},{"key":"CIT0042","unstructured":"Lieber, J. and Napoli, A. Correct and complete retrieval for case-based problem-solving. Proceedings of the 13th European Conference on Artificial Intelligence (ECAI'98). Brighton, UK. Edited by: Prade, H. pp.68\u201372. Chichester: John Wiley & Sons Ltd."},{"key":"CIT0043","series-title":"LNCS 1661","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/3-540-48384-5_12","volume-title":"Spatial Information Theory, Cognitive and Computational Foundations of Geographic Information Science","author":"Ligozat G.","year":"1999"},{"key":"CIT0044","unstructured":"MacGregor, R. M. and Brill, D. Recogntion algorithms for the loom classifier. Proceedings of AAAI'92. San Jose, USA. pp.774\u2013779."},{"key":"CIT0045","doi-asserted-by":"publisher","DOI":"10.1145\/122296.122309"},{"key":"CIT0046","unstructured":"Mangelinck, L., Le Ber, F. and Tabbone, S. \u00c9tude pour la reconnaissance de paysages argricoles sur des images satellitaires. 10i`me Congr\u00e9s Reconnaissance de Formes et Intelligence Artificielle. Rennes, France. pp.53\u201359. AFCET."},{"key":"CIT0047","volume-title":"Repr\u00e9sentation et classification de structures spatiales. Application \u00e0 la reconnaissance de paysages agricoles","author":"Mangelinck L.","year":"1998"},{"key":"CIT0048","volume-title":"Object-Oriented Languages","author":"Masini G.","year":"1991"},{"key":"CIT0049","series-title":"LNCS 1661","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/3-540-48384-5_16","volume-title":"Spatial Information Theory, Cognitive and Computational Foundations of Geographic Information Science","author":"Masolo C.","year":"1999"},{"key":"CIT0050","volume-title":"Crit\u00e8res de comparaison et de construction de th\u00e9ories axiomatiques pour la repr\u00e9 sentation de connaissances: ontologies de l'espace et du temps","author":"Masolo C.","year":"2000"},{"key":"CIT0051","unstructured":"Metzger, J.L., Le Ber, F. and Napoli, A. Using DL for a case-based explanation system. Proceedings of the International Workshop on Descriptions Logics (DL2002). Toulouse, France. pp.203\u2013210."},{"key":"CIT0052","series-title":"LNCS 367","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/3-540-51295-0_119","volume-title":"Foundations of Data Organization and Algorithms","author":"Missikoff M.","year":"1989"},{"key":"CIT0053","series-title":"LNCS 1661","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/3-540-48384-5_13","volume-title":"Spatial Information Theory, Cognitive and Computational Foundations of Geographic Information Science","author":"M\u00f6ller R.","year":"1999"},{"key":"CIT0054","unstructured":"Napoli, A. Subsumption and classification-based reasoning in object-based representations. Proceedings of the 10th European Conference on Artificial Intelligence (ECAI'92). Vienna, Austria. pp.425\u2013429."},{"key":"CIT0055","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1994.1051"},{"key":"CIT0056","unstructured":"Nebel, B. Knowledge representation and reasoning - the theoretical side of AI. 14th European Conference on Artificial Intelligence (ECAI 2000). Berlin, Germany. Edited by: Horn, W. pp.763"},{"key":"CIT0057","volume-title":"ARPA Image Understanding Workshop","author":"Price K.","year":"1994"},{"key":"CIT0058","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(92)90118-2"},{"key":"CIT0059","unstructured":"Randell, D. and Witkowski, M. Building large composition tables via axiomatic theories. Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002). Toulouse, France. pp.26\u201335. San Francisco: Morgan Kaufmann Publishers."},{"key":"CIT0060","doi-asserted-by":"crossref","unstructured":"Randell, D. A., Cohn, A. G. and Cui, Z. Computing transitivity tables: a challenge for automated theorem provers. Proceedings of the 11th International Conference on Automated Deduction, CADE'92, LNCS 607. Berlin: Springer-Verlag.","DOI":"10.1007\/3-540-55602-8_225"},{"key":"CIT0061","unstructured":"Randell, D. A., Cui, Z. and Cohn, A. G. A spatial logic based on regions and connection. 3rd International Conference on Principles of Knowledge Representation and Reasoning. pp.165\u2013176. San Francisco: Morgan Kaufmann Publishers."},{"key":"CIT0062","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00002-8"},{"key":"CIT0063","doi-asserted-by":"crossref","unstructured":"Renz, J. A canonical model of the region connection calculus. Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98). Trento, Italy. Edited by: Cohn, In T., Schubert, L. and Shapiro, S. pp.330\u2013341.","DOI":"10.3166\/jancl.12.469-494"},{"key":"CIT0064","unstructured":"Renz, J. Maximal tractable fragment of the region connection calculus: a complete analysis. In Proceedings of the 16th IJCAI. Stockholm, Sweden. pp.448\u2013454."},{"key":"CIT0065","volume-title":"ARPA Image Understanding Workshop","author":"Russ T.","year":"1996"},{"key":"CIT0066","unstructured":"Simon, A. and Napoli, A. Building viewpoints in an object-based representation system for knowledge discovery in databases. Proceedings of the First International Conference on Information Reuse and Integration (IRU'99). Atlanta, Georgia. Edited by: Rubin, S. pp.104\u2013108. The International Society for Computers and Their Applications, ISCA."},{"key":"CIT0067","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-585-28322-7"},{"key":"CIT0068","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(96)00017-1"},{"key":"CIT0069","first-page":"29","volume-title":"Formal Ontology in information systems, (FOIS'98)","author":"Varzi A. C.","year":"1998"},{"key":"CIT0070","series-title":"LNCS 716","first-page":"25","volume-title":"Spatial Information Theory, COSIT'93","author":"Vieu L.","year":"1993"},{"key":"CIT0071","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/978-0-585-28322-7_1","volume-title":"Spatial and Temporal Reasoning","author":"Vieu L.","year":"1997"},{"key":"CIT0072","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(92)90120-7"},{"key":"CIT0073","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog1104_2"},{"key":"CIT0074","unstructured":"Winter, S. and Frank, A. U. Functional extensions of a raster representation for topological relations. 2nd International Conference on Interoperating Geographic Informations Systems (INTEROP'99), Z\u00fcrich, Suisse, LNCS 1580. Edited by: Vckovski, In A., Brassel, K. E. and Schek, H.J. Berlin: Springer-Verlag."}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/0952813031000119700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T09:31:42Z","timestamp":1704965502000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/0952813031000119700"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":74,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["10.1080\/0952813031000119700"],"URL":"https:\/\/doi.org\/10.1080\/0952813031000119700","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}