{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:27:03Z","timestamp":1725467223187},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642312229"},{"type":"electronic","value":"9783642312236"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31223-6_29","type":"book-chapter","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T15:59:20Z","timestamp":1340035160000},"page":"291-293","source":"Crossref","is-referenced-by-count":4,"title":["What Can Concept Diagrams Say?"],"prefix":"10.1007","author":[{"given":"Gem","family":"Stapleton","sequence":"first","affiliation":[]},{"given":"John","family":"Howse","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Chapman","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Oliver","sequence":"additional","affiliation":[]},{"given":"Aidan","family":"Delaney","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"Hammer, E.: Logic and Visual Information. CSLI Publications (1995)"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Kent, S.: Constraint diagrams: Visualizing invariants in object oriented modelling. In: Proceedings of OOPSLA 1997, pp. 327\u2013341. ACM Press (1997)","DOI":"10.1145\/263700.263756"},{"key":"29_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-540-87730-1_19","volume-title":"Diagrammatic Representation and Inference","author":"K. Mineshima","year":"2008","unstructured":"Mineshima, K., Okada, M., Sato, Y., Takemura, R.: Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol.\u00a05223, pp. 188\u2013205. Springer, Heidelberg (2008)"},{"key":"29_CR4","unstructured":"Oliver, I., Howse, J., Stapleton, G., Nuutila, E., T\u00f6rma, S.: A proposed diagrammatic logic for ontology specification and visualization. In: International Semantic Web Conference (2009)"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press (1994)","DOI":"10.1017\/CBO9780511574696"},{"issue":"2","key":"29_CR6","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.: Using DAG transformations to verify Euler\/Venn homogeneous and Euler\/Venn FOL heterogeneous rules of inference. Journal on Software and System Modeling\u00a03(2), 136\u2013149 (2004)","journal-title":"Journal on Software and System Modeling"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31223-6_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:52:07Z","timestamp":1620129127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31223-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642312229","9783642312236"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31223-6_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}