{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T09:10:47Z","timestamp":1777540247753,"version":"3.51.4"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,4,7]],"date-time":"2017-04-07T00:00:00Z","timestamp":1491523200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s10849-017-9250-6","type":"journal-article","created":{"date-parts":[[2017,4,7]],"date-time":"2017-04-07T16:12:28Z","timestamp":1491581548000},"page":"143-177","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":38,"title":["What Makes an Effective Representation of Information: A Formal Account of Observational Advantages"],"prefix":"10.1007","volume":"26","author":[{"given":"Gem","family":"Stapleton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mateja","family":"Jamnik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atsushi","family":"Shimojima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,7]]},"reference":[{"key":"9250_CR1","volume-title":"The description logic handbook: theory, implementation, and applications","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nadi, D., & Patel-Schneider, P. (Eds.). (2003). The description logic handbook: theory, implementation, and applications. New York, NY: Cambridge University Press."},{"key":"9250_CR2","volume-title":"Hyperproof","author":"J Barwise","year":"1994","unstructured":"Barwise, J., & Etchemendy, J. (1994). Hyperproof. Stanford, CA: CSLI Publications."},{"key":"9250_CR3","first-page":"3","volume-title":"Logical reasoning with diagrams","author":"J Barwise","year":"1996","unstructured":"Barwise, J., & Etchemendy, J. (1996). Visual information and valid reasoning. In G. Allwein & J. Barwise (Eds.), Logical reasoning with diagrams (pp. 3\u201325). New York, NY: Oxford University Press."},{"issue":"6","key":"9250_CR4","doi-asserted-by":"publisher","first-page":"1009","DOI":"10.1109\/TVCG.2009.122","volume":"15","author":"C Collins","year":"2009","unstructured":"Collins, C., Penn, G., & Carpendale, M. S. T. (2009). Bubble sets: Revealing set relations with isocontours over existing visualizations. IEEE Transactions on Visualization and Computer Graphics, 15(6), 1009\u20131016.","journal-title":"IEEE Transactions on Visualization and Computer Graphics"},{"key":"9250_CR5","volume-title":"Opuscules et fragments in\u00e9dits de Leibniz","author":"L Couturat","year":"1903","unstructured":"Couturat, L. (1903). Opuscules et fragments in\u00e9dits de Leibniz. Paris: Felix Alcan."},{"key":"9250_CR6","doi-asserted-by":"publisher","unstructured":"Dau, F. (2007). Constants and functions in Peirce\u2019s existential graphs. In International conference on conceptual structures (pp. 429\u2013442). Berlin: Springer.","DOI":"10.1007\/978-3-540-73681-3_32"},{"key":"9250_CR7","volume-title":"Seeing and knowing","author":"F Dretske","year":"1969","unstructured":"Dretske, F. (1969). Seeing and knowing. London: Routledge & Kegan Paul."},{"key":"9250_CR8","first-page":"33","volume-title":"Diagrammatic reasoning: Cognitive and computational perspectives","author":"B Funt","year":"1995","unstructured":"Funt, B. (1995). Problem-solving with diagrammatic representations. In J. Glasgow, N. Narayanan, & B. Chandrasekaran (Eds.), Diagrammatic reasoning: Cognitive and computational perspectives (pp. 33\u201368). Cambridge, MA: The MIT Press. (Originally published in 1980)."},{"key":"9250_CR9","doi-asserted-by":"publisher","unstructured":"Howse, J., Stapleton, G., Flower, J., & Taylor, J. (2002). Corresponding regions in Euler diagrams. In: Hegarty, M., Meyer, B., & Narayanan, H. (Eds.), Proceedings of 2nd international conference on the theory and application of diagrams. Lecture notes in artificial intelligence (Vol. 2317, pp. 46\u201360). Springer.","DOI":"10.1007\/3-540-46037-3_7"},{"key":"9250_CR10","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","author":"J Howse","year":"2005","unstructured":"Howse, J., Stapleton, G., & Taylor, J. (2005). Spider diagrams. LMS Journal of Computation and Mathematics, 8, 145\u2013194.","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"9250_CR11","doi-asserted-by":"publisher","unstructured":"Kent, S. (1997). Constraint diagrams: Visualizing invariants in object-oriented models. In: Proceedings of the 12th ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications, OOPSLA \u201997 (pp. 327\u2013341). New York, NY: ACM.","DOI":"10.1145\/263698.263756"},{"key":"9250_CR12","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1111\/j.1551-6708.1987.tb00863.x","volume":"11","author":"J Larkin","year":"1987","unstructured":"Larkin, J., & Simon, H. (1987). Why a diagram is (sometimes) worth ten thousand words. Cognitive Science, 11, 65\u201399.","journal-title":"Cognitive Science"},{"key":"9250_CR13","unstructured":"Lohmann, S., Negru, S., Haag, F., & Ertl, T. (2014). VOWL 2: User-oriented visualization of ontologies. In: 19th International conference on knowledge engineering and knowledge management. Lecture notes in computer science (Vol. 8876, pp. 266\u2013281). Springer."},{"issue":"11","key":"9250_CR14","doi-asserted-by":"publisher","first-page":"1846","DOI":"10.1109\/TVCG.2013.76","volume":"19","author":"W Meulemans","year":"2013","unstructured":"Meulemans, W., Henry Riche, N., Speckmann, B., Alper, B., & Dwyer, T. (2013). Kelpfusion: A hybrid set visualization technique. IEEE Transactions on Visualization and Computer Graphics, 19(11), 1846\u20131858.","journal-title":"IEEE Transactions on Visualization and Computer Graphics"},{"key":"9250_CR15","volume-title":"Collected papers","author":"C Peirce","year":"1933","unstructured":"Peirce, C. (1933). Collected papers (Vol. 4). Cambridge, MA: Harvard University Press."},{"key":"9250_CR16","unstructured":"Sato, Y., Mineshima, K., & Takemura, R. (2010). The efficacy of Euler and Venn diagrams in deductive reasoning: Empirical findings. In: 6th international conference on the theory and application of diagrams. Lecture notes in computer science (Vol. 6170, pp. 6\u201322). Springer."},{"key":"9250_CR17","first-page":"27","volume-title":"Logical reasoning with diagrams","author":"A Shimojima","year":"1996","unstructured":"Shimojima, A. (1996). Operational constraints in diagrammatic reasoning. In G. Allwein & J. Barwise (Eds.), Logical reasoning with diagrams (pp. 27\u201348). New York, NY: Oxford University Press."},{"key":"9250_CR18","volume-title":"Semantic properties of diagrams and their cognitive potentials","author":"A Shimojima","year":"2015","unstructured":"Shimojima, A. (2015). Semantic properties of diagrams and their cognitive potentials. Stanford, CA: CSLI Publications."},{"key":"9250_CR19","doi-asserted-by":"publisher","unstructured":"Shimojima, A., & Barker-Plummer, D. (2014). The Barwise\u2013Seligman model of representation systems: A philosophical explication. In: 8th international conference on the theory and application of diagrams. Lecture notes in computer science (Vol. 8578, pp. 231\u2013245). Springer.","DOI":"10.1007\/978-3-662-44043-8_25"},{"key":"9250_CR20","volume-title":"The logical status of diagrams","author":"SJ Shin","year":"1994","unstructured":"Shin, S. J. (1994). The logical status of diagrams. Cambridge: Cambridge University Press."},{"key":"9250_CR21","unstructured":"Simonetto, P. (2012). Visualisation of overlapping sets and clusters with Euler diagrams. Ph.D. thesis, Universit\u00e9 Bordeaux."},{"issue":"3","key":"9250_CR22","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1111\/j.1467-8659.2009.01452.x","volume":"28","author":"P Simonetto","year":"2009","unstructured":"Simonetto, P., Auber, D., & Archambault, D. (2009). Fully automatic visualisation of overlapping sets. Computer Graphics Forum, 28(3), 967\u2013974.","journal-title":"Computer Graphics Forum"},{"issue":"3","key":"9250_CR23","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.jvlc.2012.02.001","volume":"23","author":"G Stapleton","year":"2012","unstructured":"Stapleton, G., Flower, J., Rodgers, P., & Howse, J. (2012). Automatically drawing Euler diagrams with circles. Journal of Visual Languages and Computing, 23(3), 163\u2013193.","journal-title":"Journal of Visual Languages and Computing"},{"key":"9250_CR24","unstructured":"Stapleton, G., Howse, J., Chapman, P., Delaney, A., Burton, J., & Oliver, I. (2013). Formalizing concept diagrams. In Visual languages and computing (pp. 182\u2013187). Skokie: Knowledge Systems Institute."},{"key":"9250_CR25","unstructured":"Stapleton, G., & Masthoff, J. (2007). Incorporating negation into visual logics: A case study using Euler diagrams. In P. Maresca, Y. Khalifa, & X. Li (Eds.), Visual languages and computing 2007 (pp. 187\u2013194). Skokie: Knowledge Systems Institute."},{"issue":"2","key":"9250_CR26","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/s10270-003-0044-8","volume":"3","author":"N Swoboda","year":"2004","unstructured":"Swoboda, N., & Allwein, G. (2004). Using DAG transformations to verify Euler\/Venn homogeneous and Euler\/Venn FOL heterogeneous rules of inference. Journal on Software and System Modeling, 3(2), 136\u2013149.","journal-title":"Journal on Software and System Modeling"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-017-9250-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-017-9250-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-017-9250-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,5]],"date-time":"2017-05-05T12:57:19Z","timestamp":1493989039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-017-9250-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,7]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["9250"],"URL":"https:\/\/doi.org\/10.1007\/s10849-017-9250-6","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,7]]}}}