{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T22:10:01Z","timestamp":1745964601378,"version":"3.40.4"},"reference-count":49,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2013,1,1]]},"DOI":"10.1215\/00294527-1731344","type":"journal-article","created":{"date-parts":[[2013,2,21]],"date-time":"2013-02-21T13:56:35Z","timestamp":1361454995000},"source":"Crossref","is-referenced-by-count":1,"title":["Complementation in Representable Theories of Region-Based Space"],"prefix":"10.1215","volume":"54","author":[{"given":"Torsten","family":"Hahmann","sequence":"first","affiliation":[]},{"given":"Michael","family":"Gr\u00fcninger","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"34","unstructured":"[34] McCune, W., \u201cProver9,\u201d 2010, <a href=\"http:\/\/www.cs.unm.edu\/~mccune\/prover9\/\">http:\/\/www.cs.unm.edu\/~mccune\/prover9\/<\/a>."},{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Allen, J. F., \u201cMaintaining knowledge about temporal intervals,\u201d <i>Communications of the ACM<\/i>, vol. 26 (1983), pp. 832\u201343.","DOI":"10.1145\/182.358434"},{"key":"2","unstructured":"[2] Asher, N., and L. Vieu, \u201cToward a geometry of common sense: A semantics and a complete axiomatization for mereotopology,\u201d pp. 846\u201352 in <i>International Joint Conference on Artificial Intelligence (IJCAI-95)<\/i>, Morgan Kaufmann, San Francisco, 1995."},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Bennett, B., and I. D\u00fcntsch, \u201cAxioms, algebras and topology,\u201d pp. 99\u2013159 in <i>Handbook of Spatial Logics<\/i>, edited by M. Aiello, I. Pratt-Hartmann, and J. van Benthem, Springer, Dordrecht, 2007.","DOI":"10.1007\/978-1-4020-5587-4_3"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Biacino, L., and G. Gerla, \u201cConnection structures,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 32 (1991), pp. 242\u201347.","DOI":"10.1305\/ndjfl\/1093635748"},{"key":"5","unstructured":"[5] Birkhoff, G., <i>Lattice Theory<\/i>, 3rd edition, vol. 25 of <i>American Mathematical Society Colloquium Publications<\/i>, American Mathematical Society, Providence, 1967."},{"key":"6","unstructured":"[6] Blyth, T. S., <i>Lattices and Ordered Algebraic Structures<\/i>, Universitext, Springer, London, 2005."},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Casati, R., and A. C. Varzi, <i>Parts and Places: The Structures of Spatial Representation<\/i>, MIT Press, Cambridge, Mass., 1999.","DOI":"10.7551\/mitpress\/5253.001.0001"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Clarke, B. L., \u201cA calculus of individuals based on \u2018connection\u2019,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 22 (1981), pp. 204\u201318.","DOI":"10.1305\/ndjfl\/1093883455"},{"key":"9","unstructured":"[9] Cohn, A. G., and S. M. Hazarika, \u201cQualitative spatial representation and reasoning: An overview,\u201d <i>Fundamenta Informaticae<\/i>, vol. 46 (2001), pp. 1\u201329."},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Cohn, A. G., and J. Renz, \u201cQualitative spatial representation and reasoning,\u201d pp. 551\u201396 in <i>Handbook of Knowledge Representation<\/i>, edited by F. van Harmelen, V. Lifschitz, and B. Porter, vol. 3 of <i>Foundations of Artificial Intelligence<\/i>, Elsevier, Amsterdam, 2008.","DOI":"10.1016\/S1574-6526(07)03013-1"},{"key":"11","unstructured":"[11] Dimov, G., and D. Vakarelov, \u201cContact algebras and region-based theory of space: A proximity approach, I,\u201d <i>Fundamenta Informaticae<\/i>, vol. 74 (2006), pp. 209\u201349."},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] D\u00fcntsch, I., W. MacCaull, D. Vakarelov, and M. Winter, \u201cTopological representations of contact lattices,\u201d pp. 135\u201347 in <i>Relations and Kleene Algebra in Computer Science (RelMiCS-9)<\/i>, vol. 4136 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2006.","DOI":"10.1007\/11828563_9"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] D\u00fcntsch, I., W. MacCaull, D. Vakarelov, and M. Winter, \u201cDistributive contact lattices: Topological representations,\u201d <i>Journal of Logic and Algebraic Programming<\/i>, vol. 76 (2008), pp. 18\u201334.","DOI":"10.1016\/j.jlap.2007.10.002"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] D\u00fcntsch, I., and D. Vakarelov, \u201cRegion-based theory of discrete spaces: A proximity approach,\u201d <i>Annals of Mathematics and Artificial Intelligence<\/i>, vol. 49 (2007), pp. 5\u201314.","DOI":"10.1007\/s10472-007-9064-3"},{"key":"15","unstructured":"[15] D\u00fcntsch, I., and M. Winter, \u201cAlgebraization and representation of mereotopological structures,\u201d <i>Journal of Relational Methods in Computer Science<\/i>, vol. 1 (2004), pp. 161\u201380."},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] D\u00fcntsch, I., and M. Winter, \u201cA representation theorem for Boolean contact algebras,\u201d <i>Theoretical Computer Science<\/i>, vol. 347 (2005), pp. 498\u2013512.","DOI":"10.1016\/j.tcs.2005.06.030"},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] D\u00fcntsch, I., and M. Winter, \u201cWeak contact structures,\u201d pp. 73\u201382 in <i>Relational Methods in Computer Science<\/i>, vol. 3929 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2005.","DOI":"10.1007\/11734673_6"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] D\u00fcntsch, I., and M. Winter, \u201cThe lattice of contact relations on a Boolean algebra,\u201d pp. 99\u2013109 in <i>Relations and Kleene Algebra in Computer Science (RelMiCS-10)<\/i>, vol. 4988 in <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2008.","DOI":"10.1007\/978-3-540-78913-0_9"},{"key":"19","unstructured":"[19] Eschenbach, C., \u201cA comparison of calculi of mereotopology,\u201d unpublished manuscript, 2007."},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] Forrest, P., \u201cFrom ontology to topology in the theory of regions, <i>The Monist<\/i>, vol. 79 (1996), pp. 34\u201350.","DOI":"10.5840\/monist19967914"},{"key":"21","unstructured":"[21] Galton, A., \u201cTaking dimension seriously in qualitative spatial reasoning,\u201d pp. 501\u20135 in <i>European Conference on Artificial Intelligence (ECAI-96)<\/i>, Wiley, Chichester, UK, 1996."},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] Galton, A., \u201cThe mereotopology of discrete space,\u201d pp. 251\u201366 in <i>Conference on Spatial Information Theory (COSIT-99)<\/i>, vol. 1661 in <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 1999.","DOI":"10.1007\/3-540-48384-5_17"},{"key":"23","unstructured":"[23] Galton, A., \u201cMultidimensional mereotopology,\u201d pp. 45\u201354 in <i>Principles of Knowledge Representation and Reasoning (KR\u201904)<\/i>, 2004."},{"key":"24","unstructured":"[24] Gotts, N. M., \u201cFormalizing commonsense topology: the INCH calculus,\u201d pp. 72\u201375 in <i>International Symposium on Artificial Intelligence and Mathematics<\/i>, 1996."},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] Gotts, N. M., J. M. Gooday, and A. G. Cohn, \u201cA connection based approach to commonsense topological description and reasoning,\u201d <i>The Monist<\/i>, vol. 79 (1996), pp. 51\u201375.","DOI":"10.5840\/monist19967913"},{"key":"26","unstructured":"[26] Gr\u00e4tzer, G., <i>General Lattice Theory<\/i>, 2nd edition, Birkh\u00e4user, Basel, 1998."},{"key":"27","unstructured":"[27] Hahmann, T., <i>Model-Theoretic Analysis of Asher and Vieu\u2019s Mereotopology<\/i>, Master\u2019s thesis, University of Toronto, 2008."},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] Hahmann, T., and M. Gr\u00fcninger, \u201cRegion-based Theories of Space: Mereotopology and Beyond,\u201d pp. 1\u201362 in <i>Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions<\/i>, edited by S. Hazarika, IGI Publishing, 2012.","DOI":"10.4018\/978-1-61692-868-1.ch001"},{"key":"29","unstructured":"[29] Hahmann, T., and M. Gr\u00fcninger, \u201cA na\u00efve theory of dimension for qualitative spatial relations,\u201d pp. 42\u201348 in <i>Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense 2011)<\/i>, AAAI Press, Palo Alto, Calif., 2011."},{"key":"30","doi-asserted-by":"publisher","unstructured":"[30] Hahmann, T., M. Winter, and M. Gr\u00fcninger, \u201cStonian p-ortholattices: A new approach to the mereotopology ${RT}_{0}$,\u201d <i>Artificial Intelligence<\/i>, vol. 173 (2009), pp. 1424\u201340.","DOI":"10.1016\/j.artint.2009.07.001"},{"key":"31","doi-asserted-by":"publisher","unstructured":"[31] Li, S., and Y. Li, \u201cOn the complemented disk algebra,\u201d <i>Journal of Logic and Algebraic Programming<\/i>, vol. 66 (2006), pp. 195\u2013211.","DOI":"10.1016\/j.jlap.2005.04.003"},{"key":"32","doi-asserted-by":"publisher","unstructured":"[32] Li, S., and M. Ying, \u201cGeneralized region connection calculus,\u201d <i>Artificial Intelligence<\/i>, vol. 160 (2004), pp. 1\u201334.","DOI":"10.1016\/j.artint.2004.05.012"},{"key":"33","doi-asserted-by":"crossref","unstructured":"[33] Masolo, C., and L. Vieu, \u201cAtomicity vs. infinite divisibility of space,\u201d pp. 235\u201350 in <i>Conference on Spatial Information Theory (COSIT-99)<\/i>, vol. 1661 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 1999.","DOI":"10.1007\/3-540-48384-5_16"},{"key":"35","doi-asserted-by":"crossref","unstructured":"[35] Mormann, T., \u201cContinuous lattices and Whiteheadian theory of space,\u201d pp. 35\u201354 in <i>Logic and Logical Philosophy (\u017baga\u0144, Poland, 1998)<\/i>, vol. 6 of <i>Logic and Logical Philosophy<\/i>, Nicolaus Copernicus University Science Publishing House, Tor\u00fan, Poland, 1998.","DOI":"10.12775\/LLP.1998.002"},{"key":"36","unstructured":"[36] Randell, D. A., Z. Cui, and A. G. Cohn, \u201cA spatial logic based on regions and connection,\u201d pp. 165\u201376 in <i>Principles of Knowledge Representation and Reasoning (KR\u201992)<\/i>, Morgan Kaufmann, San Francisco, 1992."},{"key":"37","doi-asserted-by":"publisher","unstructured":"[37] Roeper, P., \u201cRegion-based topology,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 26 (1997), pp. 251\u2013309.","DOI":"10.1023\/A:1017904631349"},{"key":"38","doi-asserted-by":"crossref","unstructured":"[38] Roy, A. J., and J. G. Stell, \u201cA qualitative account of discrete space,\u201d pp. 276\u201390 in <i>Conference on Geographic Information Science (GIScience-02)<\/i>, vol. 2478 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2002.","DOI":"10.1007\/3-540-45799-2_19"},{"key":"39","doi-asserted-by":"publisher","unstructured":"[39] Stell, J. G., \u201cBoolean connection algebras: A new approach to the region-connection calculus,\u201d <i>Artificial Intelligence<\/i>, vol. 122 (2000), pp. 111\u201336.","DOI":"10.1016\/S0004-3702(00)00045-X"},{"key":"40","doi-asserted-by":"publisher","unstructured":"[40] Stell, J. G., \u201cPart and complement: Fundamental concepts in spatial relations,\u201d <i>Annals of Mathematics and Artificial Intelligence<\/i>, vol. 41 (2004), pp. 1\u201317.","DOI":"10.1023\/B:AMAI.0000018575.09226.ff"},{"key":"41","doi-asserted-by":"crossref","unstructured":"[41] Stell, J. G., and M. F. Worboys, \u201cThe algebraic structure of sets of regions,\u201d pp. 163-74 in <i>Conference on Spatial Information Theory (COSIT-97)<\/i>, vol. 1329of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 1997.","DOI":"10.1007\/3-540-63623-4_49"},{"key":"42","unstructured":"[42] Stern, M., <i>Semimodular Lattices: Theory and Applications<\/i>, vol. 73 of <i>Encyclopedia of Mathematics and Its Applications<\/i>, Cambridge University Press, Cambridge, 1999."},{"key":"43","doi-asserted-by":"crossref","unstructured":"[43] Stone, M. H., \u201cThe theory of representations for Boolean algebras,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 40 (1936), pp. 37\u2013111.","DOI":"10.1090\/S0002-9947-1936-1501865-8"},{"key":"44","doi-asserted-by":"publisher","unstructured":"[44] Vakarelov, D., \u201cRegion-based theory of space: Algebras of regions, representation theory, and logics,\u201d pp. 267\u2013348 in <i>Mathematical Problems from Applied Logic, II<\/i>, edited by D. Gabbay, S. Goncharov, and M. Zakharyaschev, Springer, New York, 2007.","DOI":"10.1007\/978-0-387-69245-6_6"},{"key":"45","unstructured":"[45] Varzi, A. C., \u201cBasic problems of mereotopology,\u201d pp. 29\u201338 in <i>Formal Ontology in Information Systems (FOIS-98)<\/i>, IOS Press, Amsterdam, 1998."},{"key":"46","doi-asserted-by":"crossref","unstructured":"[46] Vieu, L., \u201cSpatial representation and reasoning in artificial intelligence,\u201d pp. 5\u201342 in <i>Spatial and Temporal Reasoning<\/i>, edited by O. Stock, Kluwer, Norwell, Mass., 1997.","DOI":"10.1007\/978-0-585-28322-7_1"},{"key":"47","unstructured":"[47] Whitehead, A. N., <i>Process and Reality<\/i>, MacMillan, New York, 1929."},{"key":"48","doi-asserted-by":"publisher","unstructured":"[48] Winter, M., T. Hahmann, and M. Gr\u00fcninger, \u201cOn the algebra of regular sets\u2013Properties of representable Stonian $p$-ortholattices,\u201d <i>Annals of Mathematics and Artificial Intelligence<\/i>, vol. 65 (2012), pp. 25\u201360.","DOI":"10.1007\/s10472-012-9301-2"},{"key":"49","doi-asserted-by":"publisher","unstructured":"[49] Winter, M., T. Hahmann, and M. Gr\u00fcninger, \u201cOn the skeleton of Stonian p-ortholattices,\u201d pp. 351\u201365 in <i>Relations and Kleene Algebra in Computer Science (RelMiCS-11)<\/i>, vol. 5827 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2009.","DOI":"10.1007\/978-3-642-04639-1_24"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1731344","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T21:53:03Z","timestamp":1745963583000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-54\/issue-2\/Complementation-in-Representable-Theories-of-Region-Based-Space\/10.1215\/00294527-1731344.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,1]]},"references-count":49,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2013,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1731344","relation":{},"ISSN":["0029-4527"],"issn-type":[{"type":"print","value":"0029-4527"}],"subject":[],"published":{"date-parts":[[2013,1,1]]}}}