{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:01:31Z","timestamp":1725494491147},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540767183"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76719-0_8","type":"book-chapter","created":{"date-parts":[[2007,11,12]],"date-time":"2007-11-12T14:38:05Z","timestamp":1194878285000},"page":"39-51","source":"Crossref","is-referenced-by-count":0,"title":["A Diagrammatic Reasoning System for $\\cal ALC$"],"prefix":"10.1007","author":[{"given":"Frithjof","family":"Dau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Eklund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications. Description Logic Handbook","year":"2003","key":"8_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0364-0213(87)80026-5","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":"8_CR3","unstructured":"Shimojima, A.: On the Efficacy of Representation. PhD thesis, The Department of Philosophy, Indiana University (1996), Available at \n                      \n                        http:\/\/www.jaist.ac.jp\/~ashimoji\/e-papers.html"},{"key":"8_CR4","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":"8_CR5","unstructured":"Gaines, B.R.: An interactive visual language for term subsumption languages. In: IJCAI, pp. 817\u2013823 (1991)"},{"key":"8_CR6","volume-title":"KAW 1998. Proc. of 11th Workshop on Knowledge Acquisition, Modeling and Management","author":"R. Kremer","year":"1998","unstructured":"Kremer, R.: Visual languages for konwledge representation. In: KAW 1998. Proc. of 11th Workshop on Knowledge Acquisition, Modeling and Management, Banff, Alberta, Canada, Morgan Kaufmann, San Francisco (1998)"},{"issue":"2","key":"8_CR7","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"},{"key":"8_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BFb0054913","volume-title":"Conceptual Structures: Theory, Tools and Applications","author":"P. Coupey","year":"1998","unstructured":"Coupey, P., Faron, C.: Towards correspondence between conceptual graphs and description logics. In: Mugnier, M.-L., Chein, M. (eds.) ICCS 1998. LNCS (LNAI), vol.\u00a01453, pp. 165\u2013178. Springer, Heidelberg (1998)"},{"key":"8_CR9","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, Mass (1984)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"key":"8_CR11","unstructured":"Stapleton, G.: Reasoning with Constraint Diagrams. PhD thesis, Visual Modelling Group, Department of Mathematical Sciences, University of Brighton (2004), Available at \n                      \n                        http:\/\/www.cmis.brighton.ac.uk\/Research\/vmg\/GStapletonthesis.html"},{"key":"8_CR12","doi-asserted-by":"crossref","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)","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"8_CR13","unstructured":"Zeman, J.J.: The Graphical Logic of C.\u00a0S.\u00a0Peirce. PhD thesis, University of Chicago (1964), Available at \n                      \n                        http:\/\/www.clas.ufl.edu\/users\/jzeman\/"},{"key":"8_CR14","unstructured":"Dau, F., Eklund, P.: Towards a diagrammatic reasoning system for description logics. Journal of Visual Languages and Computing\u00a0 (submitted, 2006), \n                      \n                        www.kvocentral.org"},{"key":"8_CR15","unstructured":"Burch, R.W.: A Peircean Reduction Thesis: The Foundation of Topological Logic. Texas Tech. University Press, Texas, Lubbock (1991)"},{"key":"8_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/3-540-45483-7_4","volume-title":"Conceptual Structures: Integration and Interfaces","author":"S. Pollandt","year":"2002","unstructured":"Pollandt, S.: Relation graphs: A structure for representing relations in contextual logic of relations. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol.\u00a02393, pp. 24\u201348. Springer, Heidelberg (2002)"},{"key":"8_CR17","series-title":"Lecture Notes in Artificial Intelligence","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)"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76719-0_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:36:24Z","timestamp":1619519784000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76719-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540767183"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76719-0_8","relation":{},"subject":[]}}