{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T15:02:16Z","timestamp":1725807736068},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,8,3]],"date-time":"2018-08-03T00:00:00Z","timestamp":1533254400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000275","name":"Leverhulme Trust","doi-asserted-by":"publisher","award":["RPG-2016-082"],"id":[{"id":"10.13039\/501100000275","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Cogn Process"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s10339-018-0877-2","type":"journal-article","created":{"date-parts":[[2018,8,3]],"date-time":"2018-08-03T10:17:02Z","timestamp":1533291422000},"page":"103-115","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Human inference beyond syllogisms: an approach using external graphical representations"],"prefix":"10.1007","volume":"20","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-4095-7451","authenticated-orcid":false,"given":"Yuri","family":"Sato","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-6567-6752","authenticated-orcid":false,"given":"Gem","family":"Stapleton","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0003-2772-2532","authenticated-orcid":false,"given":"Mateja","family":"Jamnik","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-0143-798X","authenticated-orcid":false,"given":"Zohreh","family":"Shams","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,3]]},"reference":[{"key":"877_CR1","first-page":"7","volume":"4","author":"J Barwise","year":"1995","unstructured":"Barwise J, Shimojima A (1995) Surrogate reasoning. Cogn Stud Bull Jpn Cogn Sci Soc 4:7\u201327","journal-title":"Cogn Stud Bull Jpn Cogn Sci Soc"},{"key":"877_CR2","doi-asserted-by":"crossref","unstructured":"Bowman SR, Angeli G, Potts C, Manning CD (2015) A large annotated corpus for learning natural language inference. In: Proceedings of 2015 conference on empirical methods in natural language processing. The Association for Computational Linguistics, pp 632\u2013642","DOI":"10.18653\/v1\/D15-1075"},{"key":"877_CR3","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"RJ Brachman","year":"1985","unstructured":"Brachman RJ, Schmolze JG (1985) An overview of the KL-ONE knowledge representation system. Cogn Sci 9:171\u2013216","journal-title":"Cogn Sci"},{"key":"877_CR4","doi-asserted-by":"publisher","first-page":"273","DOI":"10.4324\/9781410603005","volume-title":"Mental logic","author":"MDS Braine","year":"1998","unstructured":"Braine MDS (1998) Steps toward a mental-predicate logic. In: Braine MDS, O\u2019Brien DP (eds) Mental logic. Lawrence Erlbaum, Mahwah, pp 273\u2013331"},{"key":"877_CR5","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1207\/s15516709cog2303_1","volume":"23","author":"M Bucciarelli","year":"1999","unstructured":"Bucciarelli M, Johnson-Laird PN (1999) Strategies in syllogistic reasoning. Cogn Sci 23:247\u2013303","journal-title":"Cogn Sci"},{"key":"877_CR6","first-page":"69","volume":"186","author":"B Chandrasekaran","year":"2011","unstructured":"Chandrasekaran B (2011) When is a bunch of marks on paper a diagram? Diagrams as homomorphic representations. Semiotica 186:69\u201387","journal-title":"Semiotica"},{"issue":"4","key":"877_CR7","doi-asserted-by":"publisher","first-page":"i","DOI":"10.1017\/S1351324909990209","volume":"15","author":"I Dagan","year":"2009","unstructured":"Dagan I, Dolan B, Magnini B, Roth D (2009) Recognizing textual entailment: rational, evaluation and approaches. Nat Lang Eng 15(4):i\u2013xvii","journal-title":"Nat Lang Eng"},{"key":"877_CR8","unstructured":"Flouris G, Huang Z, Pan JZ, Plexousakis D, Wache H (2006) Inconsistencies, negations and changes in ontologies. In: Proceedings of the 21st national conference on artificial intelligence. The AAAI Press, Menlo Park, pp 1295\u20131300"},{"key":"877_CR9","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0004-3702(80)90002-8","volume":"13","author":"BV Funt","year":"1980","unstructured":"Funt BV (1980) Problem-solving with diagrammatic representations. Artif Intell 13:201\u2013230","journal-title":"Artif Intell"},{"key":"877_CR10","volume-title":"The analogical mind: perspectives from cognitive science","year":"2001","unstructured":"Gentner D, Holyoak KJ, Kokinov BN (eds) (2001) The analogical mind: perspectives from cognitive science. MIT Press, Cambridge"},{"key":"877_CR11","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/jos\/ffh018","volume":"22","author":"B Geurts","year":"2005","unstructured":"Geurts B, Van der Slik F (2005) Monotonicity and processing load. J Semant 22:97\u2013117","journal-title":"J Semant"},{"key":"877_CR12","volume-title":"Diagrammatic reasoning: cognitive and computational perspectives","year":"1995","unstructured":"Glasgow J, Narayanan NH, Chandrasekaran B (eds) (1995) Diagrammatic reasoning: cognitive and computational perspectives. MIT Press, Cambridge"},{"key":"877_CR13","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1037\/0033-295X.99.1.184","volume":"99","author":"SB Greene","year":"1992","unstructured":"Greene SB (1992) Multiple explanations for multiply quantified sentences: Are multiple models necessary? Psychol Rev 99:184\u2013187","journal-title":"Psychol Rev"},{"key":"877_CR14","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D Harel","year":"1988","unstructured":"Harel D (1988) On visual formalisms. Commun ACM 31:514\u2013530","journal-title":"Commun ACM"},{"key":"877_CR15","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S1364-6613(97)01057-7","volume":"1","author":"RT Hartley","year":"1997","unstructured":"Hartley RT, Barnden JA (1997) Semantic networks: visualizations of knowledge. Trends Cogn Sci 1:169\u2013175","journal-title":"Trends Cogn Sci"},{"key":"877_CR16","unstructured":"Itzik N, Reinhartz-Berger I (2014) SOVA\u2014a tool for semantic and ontological variability analysis. In: Proceedings of CAiSE 2014 forum at the 26th international conference on advanced information systems engineering, CEUR, vol 1164, pp 177\u2013184"},{"key":"877_CR17","doi-asserted-by":"publisher","first-page":"658","DOI":"10.1037\/0033-295X.96.4.658","volume":"96","author":"PN Johnson-Laird","year":"1989","unstructured":"Johnson-Laird PN, Byrne RM, Tabossi P (1989) Reasoning by model: the case of multiple quantification. Psychol Rev 96:658\u2013673","journal-title":"Psychol Rev"},{"key":"877_CR18","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1037\/a0026841","volume":"138","author":"S Khemlani","year":"2012","unstructured":"Khemlani S, Johnson-Laird PN (2012) Theories of the syllogism: a meta-analysis. Psychol Bull 138:427\u2013457","journal-title":"Psychol Bull"},{"key":"877_CR19","unstructured":"Khemlani S, Lotstein M, Johnson-Laird P (2014) A mental model theory of set membership. In: Proceedings of the 36th annual conference of the cognitive science society. Cognitive Science Society, Austin, TX, pp 2489\u20132494"},{"key":"877_CR20","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/j.brainres.2008.07.128","volume":"1243","author":"JK Kroger","year":"2008","unstructured":"Kroger JK, Nystrom LE, Cohen JD, Johnson-Laird PN (2008) Distinct neural substrates for deductive and mathematical processing. Brain Res 1243:86\u2013103","journal-title":"Brain Res"},{"key":"877_CR21","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1080\/13546783.2016.1167125","volume":"23","author":"S Mascarenhas","year":"2017","unstructured":"Mascarenhas S, Koralus P (2017) Illusory inferences with quantifiers. Think Reason 23:33\u201348","journal-title":"Think Reason"},{"key":"877_CR22","unstructured":"Nguyen TAT, Power R, Piwek P, Williams S (2012) Measuring the understandability of deduction rules for OWL. In: Proceedings of the 1st international workshop on debugging ontologies and ontology mappings, LECP 79, Link\u00f6ping University Electronic Press, pp 1\u201312"},{"key":"877_CR23","doi-asserted-by":"crossref","unstructured":"Nguyen TAT, Power R, Piwek P, Williams S (2013) Predicting the understandability of OWL inferences. In: Proceedings of the extended semantic web conference 2013, LNCS 7882. Springer, Heidelberg, pp 109\u2013123","DOI":"10.1007\/978-3-642-38288-8_8"},{"key":"877_CR24","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1080\/13546780802407271","volume":"14","author":"G Politzer","year":"2008","unstructured":"Politzer G, Mercier H (2008) Solving categorical syllogisms with singular premises. Think Reason 14:434\u2013454","journal-title":"Think Reason"},{"key":"877_CR25","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.1111\/cogs.12365","volume":"41","author":"G Politzer","year":"2017","unstructured":"Politzer G, Bosc-Min\u00e9 C, Sander E (2017) Preadolescents solve natural syllogisms proficiently. Cogn Sci 41:1031\u20131061","journal-title":"Cogn Sci"},{"key":"877_CR26","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s10339-012-0501-9","volume":"13","author":"M Ragni","year":"2012","unstructured":"Ragni M, Sonntag T (2012) Preferences and illusions in quantified spatial relational reasoning. Cogn Process 13:289\u2013292","journal-title":"Cogn Process"},{"key":"877_CR27","unstructured":"Ragni M, Singmann H, Steinlein EM (2014) Theory comparison for generalized quantifiers. In: Proceedings of the 36th annual conference of the cognitive science society. Cognitive Science Society, Austin, TX, pp 1222\u20131227"},{"key":"877_CR28","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1007\/s10462-012-9326-2","volume":"41","author":"S Ramakrishnan","year":"2014","unstructured":"Ramakrishnan S, Vijayan A (2014) A study on development of cognitive support features in recent ontology visualization tools. Artif Intell Rev 41:595\u2013623","journal-title":"Artif Intell Rev"},{"key":"877_CR29","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/s10849-015-9225-4","volume":"24","author":"Y Sato","year":"2015","unstructured":"Sato Y, Mineshima K (2015) How diagrams can support syllogistic reasoning: an experimental study. J Logic Lang Inf 24:409\u2013455","journal-title":"J Logic Lang Inf"},{"key":"877_CR30","doi-asserted-by":"crossref","unstructured":"Sato Y, Mineshima K (2016) Human reasoning with proportional quantifiers and its support by diagrams. In: Proceedings of diagrams 2016, LNCS 9781. Springer, Switzerland, pp 123\u2013138","DOI":"10.1007\/978-3-319-42333-3_10"},{"key":"877_CR31","doi-asserted-by":"crossref","unstructured":"Sato Y, Stapleton G, Jamnik M, Shams Z, Blake A (2017) How Network-based and set-based visualizations aid consistency checking in ontologies. In: Proceedings of the 10th international symposium on visual information communication and interaction. ACM, New York, NY, pp 137\u2013141","DOI":"10.1145\/3105971.3105988"},{"key":"877_CR32","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1111\/cogs.12553","volume":"42","author":"Y Sato","year":"2018","unstructured":"Sato Y, Sugimoto Y, Ueda K (2018a) Real objects can impede conditional reasoning but augmented objects do not. Cogn Sci 42:691\u2013707","journal-title":"Cogn Sci"},{"key":"877_CR33","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10849-017-9259-x","volume":"27","author":"Y Sato","year":"2018","unstructured":"Sato Y, Wajima Y, Ueda K (2018b) Strategy analysis of non-consequence inference with Euler diagrams. J Logic Lang Inf 27:61\u201377","journal-title":"J Logic Lang Inf"},{"key":"877_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df M, Smolka G (1991) Attributive concept descriptions with complements. Artif Intell 48:1\u201326","journal-title":"Artif Intell"},{"key":"877_CR35","doi-asserted-by":"crossref","unstructured":"Stapleton G, Compton M, Howse J (2017) Visualizing OWL 2 using diagrams. In: Proceedings of 2017 IEEE symposium on visual languages and human-centric computing. IEEE Computer Society Press, Los Alamitos, CA, pp 245\u2013253","DOI":"10.1109\/VLHCC.2017.8103474"},{"key":"877_CR36","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0921-8890(05)80029-6","volume":"6","author":"L Steels","year":"1990","unstructured":"Steels L (1990) Exploiting analogical representations. Robot Auton Syst 6:71\u201388","journal-title":"Robot Auton Syst"},{"key":"877_CR37","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198507741.001.0001","volume-title":"Seeing reason: image and language in learning to think","author":"K Stenning","year":"2002","unstructured":"Stenning K (2002) Seeing reason: image and language in learning to think. Oxford University Press, Oxford"},{"key":"877_CR38","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1207\/s15516709cog1901_3","volume":"19","author":"K Stenning","year":"1995","unstructured":"Stenning K, Oberlander J (1995) A cognitive theory of graphical and linguistic reasoning: logic and implementation. Cogn Sci 19:97\u2013140","journal-title":"Cogn Sci"},{"key":"877_CR39","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1023\/A:1011211207884","volume":"10","author":"K Stenning","year":"2001","unstructured":"Stenning K, van Lambalgen M (2001) Semantics as a foundation for psychology: a case study of Wason\u2019s selection task. J Logic Lang Inf 10:273\u2013317","journal-title":"J Logic Lang Inf"},{"key":"877_CR40","doi-asserted-by":"publisher","first-page":"876","DOI":"10.1109\/21.108304","volume":"21","author":"K Sugiyama","year":"1991","unstructured":"Sugiyama K, Misue K (1991) Visualization of structural information: automatic drawing of compound digraphs. IEEE Trans Syst Man Cybern 21:876\u2013892","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"877_CR41","unstructured":"W3C OWL Working Group (2012) OWL 2 web ontology language. Retrieved Dec 2017 from \n http:\/\/www.w3.org\/TR\/owl2-overview\/"}],"container-title":["Cognitive Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10339-018-0877-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10339-018-0877-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10339-018-0877-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T14:40:21Z","timestamp":1568990421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10339-018-0877-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,3]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["877"],"URL":"https:\/\/doi.org\/10.1007\/s10339-018-0877-2","relation":{},"ISSN":["1612-4782","1612-4790"],"issn-type":[{"value":"1612-4782","type":"print"},{"value":"1612-4790","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,8,3]]},"assertion":[{"value":"26 March 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 July 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 August 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors have no conflict of interest to declare.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"All procedures performed in the experiment involving human participants were in accordance with the ethical standards of the institutional and national research committee and with the 1964 Declaration of Helsinki and its later amendments.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}},{"value":"Informed consent was obtained from all individual participants included in the experiment.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Informed consent"}}]}}