{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T20:52:16Z","timestamp":1762807936003,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":81,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642018145"},{"type":"electronic","value":"9783642018152"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01815-2_3","type":"book-chapter","created":{"date-parts":[[2009,5,11]],"date-time":"2009-05-11T15:25:03Z","timestamp":1242055503000},"page":"38-56","source":"Crossref","is-referenced-by-count":2,"title":["The Advent of Formal Diagrammatic Reasoning Systems"],"prefix":"10.1007","author":[{"given":"Frithjof","family":"Dau","sequence":"first","affiliation":[]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"3_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/3-540-48659-3_28","volume-title":"Conceptual Structures: Standards and Practices","author":"J.-F. Baget","year":"1999","unstructured":"Baget, J.-F.: A simulation of co-identity with rules in simple and nested graphs. In: Tepfenhart, W.M., Cyre, W. (eds.) ICCS 1999. LNCS, vol.\u00a01640, pp. 442\u2013455. Springer, Heidelberg (1999)"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1613\/jair.918","volume":"16","author":"J.-F. Baget","year":"2002","unstructured":"Baget, J.-F., Mugnier, M.-L.: Extensions of Simple Conceptual Graphs: The Complexity of Rules and Constraints. JAIR\u00a016, 425\u2013465 (2002)","journal-title":"JAIR"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Baget, J.-F.: Homomorphismes d\u2019hypergraphes pour la subsumption en rdf\/rdfs. In: Langages et mod\u00e8les \u00e0 objets 2004 (actes 10e conf\u00e9rence), RSTI - L\u2019objet (num\u00e9ro sp\u00e9cial), vol.\u00a010(2-3), pp. 203\u2013216 (2004)","DOI":"10.3166\/objet.10.2-3.203-216"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11574620_9","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"J.-F. Baget","year":"2005","unstructured":"Baget, J.-F.: Rdf entailment as a graph homomorphism. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 82\u201396. Springer, Heidelberg (2005)"},{"key":"3_CR6","unstructured":"Berger, S.: Studies on the uses and usefulness of diagrams. Master\u2019s thesis, ILLC, University of Amsterdam (2000)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-30475-3_15","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"S. Brockmans","year":"2004","unstructured":"Brockmans, S., Volz, R., Eberhart, A., L\u00f6ffler, P.: Visual modeling of owl dl ontologies using uml. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 198\u2013213. Springer, Heidelberg (2004)"},{"issue":"4","key":"3_CR8","first-page":"365","volume":"6","author":"M. Chein","year":"1992","unstructured":"Chein, M., Mugnier, M.-L.: Conceptual Graphs: Fundamental Notions. Revue d\u2019Intelligence Artificielle\u00a06(4), 365\u2013406 (1992)","journal-title":"Revue d\u2019Intelligence Artificielle"},{"key":"3_CR9","unstructured":"Chein, M., Mugnier, M.-L.: Conceptual graphs are also graphs. Technical report, LIRMM, Universit\u00e9 Montpellier II, Rapport de Recherche 95003 (1995)"},{"key":"3_CR10","volume-title":"Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998)","author":"M. Chein","year":"1998","unstructured":"Chein, M., Mugnier, M.-L., Simonet, G.: Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. In: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998). Morgan Kaufmann, San Francisco (1998), http:\/\/www.lirmm.fr\/~mugnier\/"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Chein, M., Mugnier, M.-L.: Concept types and coreference in simple conceptual graphs. In: Wolff, et al. [79], pp. 303\u2013318","DOI":"10.1007\/978-3-540-27769-9_20"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Clark, R.P.: Failure mode modular de-composition using spider diagrams. In: Proceedings of Euler Diagrams 2004. Electronic Notes in Theoretical Computer Science, vol.\u00a0134, pp. 19\u201331 (2005)","DOI":"10.1016\/j.entcs.2005.02.018"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Dau, F.: Negations in simple concept graphs. In: Ganter and Mineau [29], pp. 263\u2013276.","DOI":"10.1007\/10722280_18"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Dau, F.: Concept graphs and predicate logic. In: Delugach and Stumme [29], pp. 72\u201386.","DOI":"10.1007\/3-540-44583-8_6"},{"key":"3_CR15","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-540-45091-7_17","volume-title":"Conceptual Structures for Knowledge Creation and Communication","author":"F. Dau","year":"2003","unstructured":"Dau, F.: Concept graphs without negations: Standardmodels and standardgraphs. In: Ganter, B., de Moor, A., Lex, W. (eds.) ICCS 2003. LNCS (LNAI), vol.\u00a02746, pp. 243\u2013256. Springer, Heidelberg (2003); this paper is a part of [16] as well"},{"key":"3_CR16","series-title":"LNAI","doi-asserted-by":"crossref","DOI":"10.1007\/b94030","volume-title":"The Logic System of Concept Graphs with Negation","author":"F. Dau","year":"2003","unstructured":"Dau, F.: The Logic System of Concept Graphs with Negation. LNCS (LNAI), vol.\u00a02892. Springer, Heidelberg (2003)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Dau, F.: Types and tokens for logic with diagrams: A mathematical approach. In: Wolff, et al. [79], pp. 62\u201393.","DOI":"10.1007\/978-3-540-27769-9_5"},{"key":"3_CR18","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/11783183_10","volume-title":"Diagrammatic Representation and Inference","author":"F. Dau","year":"2006","unstructured":"Dau, F.: Fixing shin\u2019s reading algorithm for peirce\u2019s existential graphs. In: Barker-Plummer, D., Cox, R., Swoboda, N. (eds.) Diagrams 2006. LNCS (LNAI), vol.\u00a04045, pp. 88\u201392. Springer, Heidelberg (2006)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/11875604_38","volume-title":"Foundations of Intelligent Systems","author":"F. Dau","year":"2006","unstructured":"Dau, F.: Rdf as graph-based, diagrammatic logic: Syntax, semantics, calculus, normalforms. In: Esposito, F., Ra\u015b, Z.W., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS, vol.\u00a04203, pp. 332\u2013337. Springer, Heidelberg (2006)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Dau, F.: Formal, diagrammatic logic with conceptual graphs. In: Hitzler, P., Scharfe, H. (eds.) Conceptual structures in Practice. CRC Press(Chapman and Hall\/Taylor & Francis Group) (2009)","DOI":"10.1201\/9781420060638.ch2"},{"key":"3_CR21","first-page":"120","volume-title":"Proceedings of Information Visualisation","author":"R. DeChiara","year":"2003","unstructured":"DeChiara, R., Erra, U., Scarano, V.: VennFS: A Venn diagram file manager. In: Proceedings of Information Visualisation, pp. 120\u2013126. IEEE Computer Society, Los Alamitos (2003)"},{"key":"3_CR22","series-title":"LNAI","volume-title":"Conceptual Structures: Broadening the Base","year":"2001","unstructured":"Delugach, H.S., Stumme, G. (eds.): ICCS 2001. LNCS (LNAI), vol.\u00a02120. Springer, Heidelberg (2001)"},{"key":"3_CR23","unstructured":"Scotto di Luzio, P.: Patching up a logic of Venn diagrams. In: Proceedings 6th CSLI Workshop on Logic, Language and Computation. CSLI Publications (2000)"},{"key":"3_CR24","unstructured":"Euler, L.: Lettres a une princesse d\u2019allemagne sur divers sujets de physique et de philosophie. Letters\u00a02, 102\u2013108 (1775); Berne, Socit Typographique"},{"key":"3_CR25","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1016\/j.jvlc.2005.03.001","volume":"16","author":"A. Fish","year":"2005","unstructured":"Fish, A., Flower, J., Howse, J.: The semantics of augmented constraint diagrams. Journal of Visual Languages and Computing\u00a016, 541\u2013573 (2005)","journal-title":"Journal of Visual Languages and Computing"},{"key":"3_CR26","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1016\/j.jvlc.2005.03.001","volume":"16","author":"A. Fish","year":"2005","unstructured":"Fish, A., Flower, J., Howse, J.: The semantics of augmented constraint diagrams. Journal of Visual Languages and Computing\u00a016, 541\u2013573 (2005)","journal-title":"Journal of Visual Languages and Computing"},{"key":"3_CR27","unstructured":"Frithjof Dau, P.E.: A diagrammatic reasoning system for the description logic $\\cal ALC$ . Journal of Visual Languages and Computing (2008) (to be published)"},{"key":"3_CR28","unstructured":"Gaines, B.R.: An interactive visual language for term subsumption languages. In: IJCAI, pp. 817\u2013823 (1991)"},{"key":"3_CR29","series-title":"LNAI","volume-title":"Conceptual Structures: Logical, Linguistic, and Computational Issues","year":"2000","unstructured":"Ganter, B., Mineau, G.W. (eds.): ICCS 2000. LNCS (LNAI), vol.\u00a01867. Springer, Heidelberg (2000)"},{"key":"3_CR30","unstructured":"Hammer, E.: Logic and Visual Information. CSLI Publications (1995)"},{"key":"3_CR31","volume-title":"Collected Papers of Charles Sanders Peirce","author":"C. Hartshorne","year":"1931","unstructured":"Hartshorne, C., Weiss, P., Burks, A.W.: Collected Papers of Charles Sanders Peirce. Harvard University Press, Cambridge (1931\u20131935)"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Hayes, P., Eskridge, T., Saavedra, R., Reichherzer, T., Mehrotra, M., Bobrovnikoff, D.: Collaborative knowledge capture in ontologies. In: Proceedings of the 3rd International Conference on Knowledge Capture, pp. 99\u2013106 (2005)","DOI":"10.1145\/1088622.1088641"},{"key":"3_CR33","unstructured":"Houser, N., Roberts, D.D., Van Evra, J.(eds.): Studies in the Logic of Charles Sanders Peirce. Indiana University Press (1997)"},{"key":"3_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-46037-3_18","volume-title":"Diagrammatic Representation and Inference","author":"J. Howse","year":"2002","unstructured":"Howse, J., Molina, F., Shin, S.-J., Taylor, J.: On diagram tokens and types. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS, vol.\u00a02317, pp. 146\u2013160. Springer, Heidelberg (2002)"},{"key":"3_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/3-540-44590-0_8","volume-title":"Theory and Application of Diagrams","author":"J. Howse","year":"2000","unstructured":"Howse, J., Molina, F., Taylor, J.: On the completeness and expressiveness of spider diagram systems. In: Anderson, M., Cheng, P., Haarslev, V. (eds.) Diagrams 2000. LNCS, vol.\u00a01889, pp. 26\u201341. Springer, Heidelberg (2000)"},{"issue":"3","key":"3_CR36","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1006\/jvlc.2000.0210","volume":"12","author":"J. Howse","year":"2001","unstructured":"Howse, J., Molina, F., Taylor, J., Kent, S., Gil, J.: Spider diagrams: A diagrammatic reasoning system. Journal of Visual Languages and Computing\u00a012(3), 299\u2013324 (2001)","journal-title":"Journal of Visual Languages and Computing"},{"key":"3_CR37","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/s10270-004-0074-x","volume":"4","author":"J. Howse","year":"2005","unstructured":"Howse, J., Schuman, S.: Precise visual modelling. Journal of Software and Systems Modeling\u00a04, 310\u2013325 (2005)","journal-title":"Journal of Software and Systems Modeling"},{"key":"3_CR38","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.: Spider diagrams. LMS Journal of Computation and Mathematics\u00a08, 145\u2013194 (2005)","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"Chein, M., Aubert, J.-P., Baget, J.-F.: Simple conceptual graphs and simple concept graphs. In: \u00d8hrstr\u00f8m, et al. [58], pp. 87\u2013101","DOI":"10.1007\/11787181_7"},{"key":"3_CR40","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-25931-2_15","volume-title":"Diagrammatic Representation and Inference","author":"C. John","year":"2004","unstructured":"John, C.: Reasoning with projected contours. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol.\u00a02980, pp. 147\u2013150. Springer, Heidelberg (2004)"},{"key":"3_CR41","first-page":"327","volume-title":"Proceedings of OOPSLA 1997","author":"S. Kent","year":"1997","unstructured":"Kent, S.: Constraint diagrams: Visualizing invariants in object oriented modelling. In: Proceedings of OOPSLA 1997, pp. 327\u2013341. ACM Press, New York (1997)"},{"key":"3_CR42","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1145\/263698.263756","volume-title":"OOPSLA","author":"S. Kent","year":"1997","unstructured":"Kent, S.: Constraint diagrams: Visualizing assertions in object-oriented models. In: OOPSLA, pp. 327\u2013341. ACM Press, New York (1997)"},{"key":"3_CR43","unstructured":"Kerdiles, G.N.: Saying it with Pictures: A Logical Landscape of Conceptual Graphs. ILLC Dissertation Series, DS 2001-09 (2001)"},{"key":"3_CR44","first-page":"102","volume-title":"6th Aisa Pacific Software Engineering Conference","author":"S.-K. Kim","year":"1999","unstructured":"Kim, S.-K., Carrington, D.: Visualization of formal specifications. In: 6th Aisa Pacific Software Engineering Conference, pp. 102\u2013109. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"3_CR45","unstructured":"Klinger, J.: Simple semiconcept graphs: A boolean logic approach. In: Delugach and Stumme [22]"},{"key":"3_CR46","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/3-540-45483-7_28","volume-title":"Conceptual Structures: Integration and Interfaces","author":"J. Klinger","year":"2002","unstructured":"Klinger, J.: Semiconcept graphs with variables. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol.\u00a02393, p. 369. Springer, Heidelberg (2002)"},{"key":"3_CR47","unstructured":"Klinger, J.: The Logic System of Protoconcept Graphs. Dissertation, Darmstadt University of Technology. Shaker Verlag, Aachen (2005)"},{"key":"3_CR48","volume-title":"Proc. of 11th Workshop on Knowledge Acquisition, Modeling and Management (KAW 1998)","author":"R. Kremer","year":"1998","unstructured":"Kremer, R.: Visual languages for konwledge representation. In: Proc. of 11th Workshop on Knowledge Acquisition, Modeling and Management (KAW 1998), Banff, Alberta, Canada. Morgan Kaufmann, San Francisco (1998)"},{"issue":"1","key":"3_CR49","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1111\/j.1551-6708.1987.tb00863.x","volume":"11","author":"J.H. Larkin","year":"1987","unstructured":"Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. Cognitive Science\u00a011(1), 65\u2013100 (1987)","journal-title":"Cognitive Science"},{"key":"3_CR50","doi-asserted-by":"crossref","unstructured":"Lecl\u00e8re, M., Mugnier, M.-L.: Simple conceptual graphs with atomic negation and difference. In: \u00d8hrstr\u00f8m, et al. [58], pp. 331\u2013345","DOI":"10.1007\/11787181_24"},{"key":"3_CR51","unstructured":"Lovdahl, J.: Towards a Visual Editing Environment for the Languages of the Semantic Web. PhD thesis, Linkoping University (2002)"},{"key":"3_CR52","doi-asserted-by":"crossref","unstructured":"Mugnier, M.-L.: Knowledge representation and reasonings based on graph homomophism. In: Ganter and Mineau [29], pp. 172\u2013192","DOI":"10.1007\/10722280_12"},{"key":"3_CR53","series-title":"LNAI","volume-title":"Conceptual Structures: Theory, Tools and Applications","year":"1998","unstructured":"Mugnier, M.-L., Chein, M. (eds.): ICCS 1998. LNCS (LNAI), vol.\u00a01453. Springer, Heidelberg (1998)"},{"issue":"3","key":"3_CR54","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1016\/j.datak.2006.03.008","volume":"60","author":"M.-L. Mugnier","year":"2007","unstructured":"Mugnier, M.-L., Lecl\u00e8re, M.: On querying simple conceptual graphs with negation. Data Knowl. Eng.\u00a060(3), 468\u2013493 (2007)","journal-title":"Data Knowl. Eng."},{"key":"3_CR55","doi-asserted-by":"crossref","unstructured":"Nardi, D., Brachman, R.J.: An introduction to description logics. In: Baader, et al [1], pp. 1\u201340","DOI":"10.1017\/CBO9780511711787.003"},{"issue":"2","key":"3_CR56","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/S0020-7373(05)80030-6","volume":"33","author":"J.T. Nosek","year":"1990","unstructured":"Nosek, J.T., Roth, I.: A comparison of formal knowledge representation schemes as communication tools: Predicate logic vs semantic network. International Journal of Man-Machine Studies\u00a033(2), 227\u2013239 (1990)","journal-title":"International Journal of Man-Machine Studies"},{"issue":"6","key":"3_CR57","first-page":"163","volume":"8","author":"J. Oberlander","year":"1996","unstructured":"Oberlander, J.: Grice for graphics: pragmatic implicature in network diagrams. Information Design Journal\u00a08(6), 163\u2013179 (1996)","journal-title":"Information Design Journal"},{"key":"3_CR58","series-title":"Lecture Notes in Computer Science","volume-title":"Conceptual Structures: Inspiration and Application","year":"2006","unstructured":"\u00d8hrstr\u00f8m, P., Sch\u00e4rfe, H., Hitzler, P. (eds.): ICCS 2006. LNCS, vol.\u00a04068. Springer, Heidelberg (2006)"},{"key":"3_CR59","unstructured":"Peirce, C.: Collected Papers, vol.\u00a04. Harvard University Press (1933)"},{"key":"3_CR60","volume-title":"The Cambridge Conferences Lectures of 1898","author":"C.S. Peirce","year":"1992","unstructured":"Peirce, C.S.: Reasoning and the logic of things. In: Kremer, K.L., Putnam, H. (eds.) The Cambridge Conferences Lectures of 1898, Harvard Univ. Press, Cambridge (1992)"},{"key":"3_CR61","unstructured":"Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen \u2013 Ein Beitrag zur Restrukturierung der Mathematischen Logik. Dissertation, Darmstadt University of Technology. Shaker Verlag, Aachen (1998)"},{"key":"3_CR62","doi-asserted-by":"crossref","unstructured":"Prediger, S.: Simple concept graphs: A logic approach. In: Mugnier and Chein [53], pp. 225\u2013239","DOI":"10.1007\/BFb0054917"},{"key":"3_CR63","unstructured":"Prediger, S.: Nested concept graphs and triadic power context families: A situation\u2013based contextual approach. In: Ganter and Mineau [29], pp. 263\u2013276."},{"key":"3_CR64","unstructured":"Reasoning with Diagrams (2006), http:\/\/www.cs.kent.ac.uk\/projects\/rwd\/"},{"key":"3_CR65","doi-asserted-by":"crossref","DOI":"10.1515\/9783110226225","volume-title":"The Existential Graphs of Charles S. Peirce","author":"D.D. Roberts","year":"1973","unstructured":"Roberts, D.D.: The Existential Graphs of Charles S. Peirce. Mouton, The Hague (1973)"},{"key":"3_CR66","unstructured":"Shimojima, A.: On the Efficacy of Representation. PhD thesis, The Department of Philosophy, Indiana University (1996), http:\/\/www.jaist.ac.jp\/ashimoji\/e-papers.html"},{"key":"3_CR67","volume-title":"The Logical Status of Diagrams","author":"S.-J. Shin","year":"1994","unstructured":"Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)"},{"key":"3_CR68","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3633.001.0001","volume-title":"The Iconic Logic of Peirce\u2019s Graphs","author":"S.-J. Shin","year":"2002","unstructured":"Shin, S.-J.: The Iconic Logic of Peirce\u2019s Graphs. Bradford Book, Massachusetts (2002)"},{"key":"3_CR69","doi-asserted-by":"crossref","unstructured":"Simonet, G.: Two fol-semantics for simple and nested conceptual graphs. In: Mugnier and Chein [53], pp. 240\u2013254.","DOI":"10.1007\/BFb0054918"},{"key":"3_CR70","volume-title":"Conceptual structures: information processing in mind and machine","author":"J.F. Sowa","year":"1984","unstructured":"Sowa, J.F.: Conceptual structures: information processing in mind and machine. Addison-Wesley, Reading (1984)"},{"key":"3_CR71","unstructured":"Stapleton, G., Masthoff, J., Flower, J., Fish, A., Southern, J.: Automated theorem proving in Euler diagrams systems. Submitted to Journal of Automated Reasoning (2005)"},{"issue":"6","key":"3_CR72","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1093\/logcom\/14.6.857","volume":"14","author":"G. Stapleton","year":"2004","unstructured":"Stapleton, G., Thompson, S., Howse, J., Taylor, J.: The expressiveness of spider diagrams. Journal of Logic and Computation\u00a014(6), 857\u2013880 (2004)","journal-title":"Journal of Logic and Computation"},{"key":"3_CR73","unstructured":"Stapleton, G.: Reasoning with Constraint Diagrams. PhD thesis, Visual Modelling Group, Department of Mathematical Sciences, University of Brighton (2004), http:\/\/www.cmis.brighton.ac.uk\/Research\/vmg\/GStapletonthesis.html"},{"key":"3_CR74","unstructured":"Stapleton, G., Howse, J.: Enhancing the expressiveness of spider diagram systems. In: Accepted for Distributed Multimedia Systems, International Workshop on Visual Languages and Computings, Grand Canyon, USA, Knowledge Systems Institute (2006)"},{"key":"3_CR75","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","author":"G. Stapleton","year":"2005","unstructured":"Stapleton, G., Howse, J., Taylor, J.: Spider diagrams. LMS Journal of Computation and Mathematics\u00a08, 145\u2013194 (2005); J Howse: This is the definitive spider diagrams paper but is a little technical in places","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"3_CR76","series-title":"ENTCS","volume-title":"Proceedings of Euler Diagrams 2004","author":"N. Swoboda","year":"2005","unstructured":"Swoboda, N., Allwein, G.: Heterogeneous reasoning with Euler\/Venn diagrams containing named constants and FOL. In: Proceedings of Euler Diagrams 2004. ENTCS, vol.\u00a0134. Elsevier Science, Amsterdam (2005)"},{"key":"3_CR77","doi-asserted-by":"crossref","unstructured":"Venn, J.: On the diagrammatic and mechanical representation of propositions and reasonings. Phil. Mag. (1880)","DOI":"10.1080\/14786448008626877"},{"key":"3_CR78","first-page":"267","volume-title":"Logic and Algebra","author":"R. Wille","year":"1996","unstructured":"Wille, R.: Restructuring mathematical logic: An approach based on peirce\u2019s pragmatism. In: Ursini, A., Agliano, P. (eds.) Logic and Algebra, pp. 267\u2013281. Marcel Dekker, New York (1996)"},{"key":"3_CR79","series-title":"Lecture Notes in Computer Science","volume-title":"Conceptual Structures at Work","year":"2004","unstructured":"Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.): ICCS 2004. LNCS, vol.\u00a03127. Springer, Heidelberg (2004)"},{"key":"3_CR80","unstructured":"Zeman, J.J.: The Graphical Logic of C.\u00a0S.\u00a0Peirce. PhD thesis, University of Chicago (1964), http:\/\/www.clas.ufl.edu\/users\/jzeman\/"},{"key":"3_CR81","unstructured":"Zhao, Y., L\u00f6vdahl, J.: A reuse based method of developing the ontology for e-procurement. In: Proceedings of the Nordic Conference on Web Services, pp. 101\u2013112 (2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Concept Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01815-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,5]],"date-time":"2021-10-05T05:18:43Z","timestamp":1633411123000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01815-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642018145","9783642018152"],"references-count":81,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01815-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}