{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:10:24Z","timestamp":1743149424734,"version":"3.40.3"},"publisher-location":"Basel","reference-count":28,"publisher":"Springer Basel","isbn-type":[{"type":"print","value":"9783034805995"},{"type":"electronic","value":"9783034806008"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-0348-0600-8_7","type":"book-chapter","created":{"date-parts":[[2013,7,8]],"date-time":"2013-07-08T09:37:29Z","timestamp":1373276249000},"page":"101-133","source":"Crossref","is-referenced-by-count":2,"title":["On the Completeness of Spider Diagrams Augmented with Constants"],"prefix":"10.1007","author":[{"given":"Gem","family":"Stapleton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Howse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Thompson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Taylor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Chapman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"LNCS","first-page":"466","volume-title":"Proceedings of Graph Drawing 2003","author":"S. Chow","year":"2003","unstructured":"Chow, S., Ruskey, F.: Drawing area-proportional Venn and Euler diagrams. In: Proceedings of Graph Drawing 2003, Perugia, Italy. LNCS, vol. 2912, pp. 466\u2013477. Springer, Berlin (2003)"},{"key":"7_CR2","series-title":"Electronic Notes in Theor. Comput. Sci.","first-page":"19","volume-title":"Proceedings of Euler Diagrams 2004","author":"R. Clark","year":"2005","unstructured":"Clark, R.: Failure mode modular de-composition using spider diagrams. In: Proceedings of Euler Diagrams 2004. Electronic Notes in Theor. Comput. Sci., vol. 134, pp. 19\u201331 (2005)"},{"key":"7_CR3","first-page":"120","volume-title":"Proceedings of Information Visualisation","author":"R. De Chiara","year":"2003","unstructured":"De\u00a0Chiara, R., Erra, U., Scarano, V.: VennFS: a Venn diagram file manager. In: Proceedings of Information Visualisation, pp. 120\u2013126. IEEE Comput. Soc., Los Alamitos (2003)"},{"key":"7_CR4","first-page":"102","volume":"2","author":"L. Euler","year":"1775","unstructured":"Euler, L.: Lettres a une princesse d\u2019Allemagne sur divers sujets de physique et de philosophie. Opera Omnia 2, 102\u2013108 (1775)","journal-title":"Opera Omnia"},{"key":"7_CR5","first-page":"61","volume-title":"Proceedings of 2nd International Conference on the Theory and Application of Diagrams","author":"J. Flower","year":"2002","unstructured":"Flower, J., Howse, J.: Generating Euler diagrams. In: Proceedings of 2nd International Conference on the Theory and Application of Diagrams, Georgia, USA, pp. 61\u201375. Springer, Callaway Gardens (2002)"},{"key":"7_CR6","first-page":"279","volume-title":"Proceedings of Distributed Multimedia Systems, International Workshop on Visual Languages and Computing","author":"J. Flower","year":"2004","unstructured":"Flower, J., Masthoff, J., Stapleton, G.: Generating proofs with spider diagrams using heuristics. In: Proceedings of Distributed Multimedia Systems, International Workshop on Visual Languages and Computing, pp. 279\u2013285. Knowledge Systems Institute, San Francisco (2004)"},{"key":"7_CR7","series-title":"LNAI","first-page":"166","volume-title":"Proceedings of 3rd International Conference on the Theory and Application of Diagrams","author":"J. Flower","year":"2004","unstructured":"Flower, J., Masthoff, J., Stapleton, G.: Generating readable proofs: a heuristic approach to theorem proving with spider diagrams. In: Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Cambridge, UK. LNAI, vol. 2980, pp. 166\u2013181. Springer, Berlin (2004)"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/HCC.2001.995238","volume-title":"Proceedings of IEEE Symposia on Human-Centric Computing Languages and Environments","author":"C. Gurr","year":"2001","unstructured":"Gurr, C.: Aligning syntax and semantics in formalisations of visual languages. In: Proceedings of IEEE Symposia on Human-Centric Computing Languages and Environments, pp. 60\u201361. IEEE Comput. Soc., Los Alamitos (2001)"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/1088622.1088641","volume-title":"Proceedings of the 3rd International Conference on Knowledge Capture","author":"P. Hayes","year":"2005","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)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/505168.505185","volume-title":"Proceedings FOIS-2001: 2nd International Conference on Formal Ontology in Information Systems","author":"J. Howse","year":"2001","unstructured":"Howse, J., Molina, F., Shin, S.-J., Taylor, J.: Type-syntax and token-syntax in diagrammatic systems. In: Proceedings FOIS-2001: 2nd International Conference on Formal Ontology in Information Systems, Maine, USA, pp. 174\u2013185. ACM, New York (2001)"},{"issue":"3","key":"7_CR11","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. J. Vis. Lang. Comput. 12(3), 299\u2013324 (2001)","journal-title":"J. Vis. Lang. Comput."},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","author":"J. Howse","year":"2005","unstructured":"Howse, J., Stapleton, G., Taylor, J.: Spider diagrams. LMS J. Comput. Math. 8, 145\u2013194 (2005)","journal-title":"LMS J. Comput. Math."},{"key":"7_CR13","volume-title":"International Semantic Web Conference 2011","author":"J. Howse","year":"2011","unstructured":"Howse, J., Stapleton, G., Taylor, K., Chapman, P.: Visualizing ontologies: a case study. In: International Semantic Web Conference 2011. Springer, Bonn (2011)"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1145\/263698.263756","volume-title":"Proceedings of OOPSLA97","author":"S. Kent","year":"1997","unstructured":"Kent, S.: Constraint diagrams: visualizing invariants in object oriented modelling. In: Proceedings of OOPSLA97, pp. 327\u2013341. ACM, New York (1997)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Kestler, H., Muller, A., Kraus, J., Buchholz, M., Gress, T., Kane, D., Zeeberg, B., Weinstein, J.: VennMaster: area-proportional Euler diagrams for functional go analysis of microarrays. BMC Bioinformatics 9(67) (2008)","DOI":"10.1186\/1471-2105-9-67"},{"key":"7_CR16","unstructured":"Lovdahl, J.: Towards a visual editing environment for the languages of the semantic web. PhD thesis, Linkoping University (2002)"},{"key":"7_CR17","series-title":"LNAI","first-page":"66","volume-title":"Proceedings of 3rd International Conference on the Theory and Application of Diagrams","author":"P. Mutton","year":"2004","unstructured":"Mutton, P., Rodgers, P., Flower, J.: Drawing graphs in Euler diagrams. In: Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Cambridge, UK. LNAI, vol.\u00a02980, pp.\u00a066\u201381. Springer, Berlin (2004)"},{"key":"7_CR18","series-title":"Conf. Res. Pract. Inf. Technol.","volume-title":"5th Australasian Ontologies Workshop","author":"I. Oliver","year":"2009","unstructured":"Oliver, I., Howse, J., Stapleton, G., Nuutila, E., T\u00f6rm\u00e4, S.: Visualising and specifying ontologies using diagrammatic logics. In: 5th Australasian Ontologies Workshop. Conf. Res. Pract. Inf. Technol., vol.\u00a0112. CRPIT, Melbourne (2009)"},{"key":"7_CR19","first-page":"13","volume-title":"International Conference on Theory and Applications of Diagrams","author":"P. Rodgers","year":"2008","unstructured":"Rodgers, P., Zhang, L., Fish, A.: General Euler diagram generation. In: International Conference on Theory and Applications of Diagrams, pp. 13\u201327. Springer, Herrsching (2008)"},{"key":"7_CR20","series-title":"LNAI","first-page":"18","volume-title":"Proceedings of 3rd International Conference on the Theory and Application of Diagrams","author":"A. Shimojima","year":"2004","unstructured":"Shimojima, A.: Inferential and expressive capacities of graphical representations: survey and some generalizations. In: Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Cambridge, UK. LNAI, vol. 2980, pp. 18\u201321. Springer, Berlin (2004)"},{"key":"7_CR21","first-page":"292","volume-title":"Visual Languages and Computing","author":"G. Stapleton","year":"2008","unstructured":"Stapleton, G.: Spider diagrams augmented with constants: a complete system. In: Visual Languages and Computing, pp. 292\u2013299 (2008)"},{"issue":"4","key":"7_CR22","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1016\/j.jvlc.2008.04.003","volume":"19","author":"G. Stapleton","year":"2008","unstructured":"Stapleton, G., Delaney, A.: Evaluating and generalizing constraint diagrams. J. Vis. Lang. Comput. 19(4), 499\u2013521 (2008)","journal-title":"J. Vis. Lang. Comput."},{"issue":"6","key":"7_CR23","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. J. Log. Comput. 14(6), 857\u2013880 (2004)","journal-title":"J. Log. Comput."},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/s10817-007-9069-y","volume":"39","author":"G. Stapleton","year":"2007","unstructured":"Stapleton, G., Masthoff, J., Flower, J., Fish, A., Southern, J.: Automated theorem proving in Euler diagrams systems. J. Autom. Reason. 39, 431\u2013470 (2007)","journal-title":"J. Autom. Reason."},{"issue":"1","key":"7_CR25","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jvlc.2008.01.005","volume":"20","author":"G. Stapleton","year":"2009","unstructured":"Stapleton, G., Taylor, J., Howse, J., Thompson, S.: The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. 20(1), 30\u201349 (2009)","journal-title":"J. Vis. Lang. Comput."},{"issue":"1","key":"7_CR26","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/TVCG.2010.28","volume":"17","author":"G. Stapleton","year":"2011","unstructured":"Stapleton, G., Rodgers, P., Howse, J., Zhang, L.: Inductively generating Euler diagrams. IEEE Trans. Vis. Comput. Graph. 17(1), 88\u2013100 (2011)","journal-title":"IEEE Trans. Vis. Comput. Graph."},{"issue":"2","key":"7_CR27","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. J. Softw. Syst. Model. 3(2), 136\u2013149 (2004)","journal-title":"J. Softw. Syst. Model."},{"key":"7_CR28","first-page":"101","volume-title":"Proceedings of the Nordic Conference on Web Services","author":"Y. Zhao","year":"2003","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":["Visual Reasoning with Diagrams"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-0348-0600-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,14]],"date-time":"2024-05-14T02:00:23Z","timestamp":1715652023000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-0348-0600-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783034805995","9783034806008"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-0348-0600-8_7","relation":{},"subject":[],"published":{"date-parts":[[2013]]}}}