{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T04:21:24Z","timestamp":1751516484360,"version":"3.41.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319781013"},{"type":"electronic","value":"9783319781020"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-78102-0_6","type":"book-chapter","created":{"date-parts":[[2018,3,20]],"date-time":"2018-03-20T05:18:03Z","timestamp":1521523083000},"page":"99-117","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Visualizing $$\\mathcal {ALC}$$ Using Concept Diagrams"],"prefix":"10.1007","author":[{"given":"Gem","family":"Stapleton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aidan","family":"Delaney","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Compton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Chapman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,21]]},"reference":[{"key":"6_CR1","unstructured":"Manchester owl corpus. http:\/\/owl.cs.manchester.ac.uk\/publications\/supporting-material\/owlcorpus\/ . Accessed Feb 2014"},{"key":"6_CR2","unstructured":"OntoGraf. http:\/\/protegewiki.stanford.edu\/wiki\/OntoGraf . Accessed July 2013"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-319-62075-6_18","volume-title":"Intelligent Computer Mathematics","author":"Z Shams","year":"2017","unstructured":"Shams, Z., Jamnik, M., Stapleton, G., Sato, Y.: Reasoning with concept diagrams about antipatterns in ontologies. In: Geuvers, H., England, M., Hasan, O., Rabe, F., Teschke, O. (eds.) CICM 2017. LNCS (LNAI), vol. 10383, pp. 255\u2013271. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-62075-6_18"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-662-44043-8_15","volume-title":"Diagrammatic Representation and Inference","author":"M Alqadah","year":"2014","unstructured":"Alqadah, M., Stapleton, G., Howse, J., Chapman, P.: Evaluating the impact of clutter in Euler diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS (LNAI), vol. 8578, pp. 108\u2013122. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44043-8_15"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-662-44043-8_18","volume-title":"Diagrammatic Representation and Inference","author":"P Chapman","year":"2014","unstructured":"Chapman, P., Stapleton, G., Rodgers, P., Micallef, L., Blake, A.: Visualizing sets: an empirical comparison of diagram types. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS (LNAI), vol. 8578, pp. 146\u2013160. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44043-8_18"},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.websem.2012.05.003","volume":"17","author":"M Compton","year":"2012","unstructured":"Compton, M., Barnaghi, P., Bermudez, L., Garcia-Castro, R., Corcho, O., Cox, S., Graybeal, J., Hauswirth, M., Henson, C., Herzog, A., Huang, V., Janowicz, K., Kelsey, W.D., Le Phuoc, D., Lefort, L., Leggieri, M., Neuhaus, H., Nikolov, A., Page, K., Passant, A., Sheth, A., Taylor, K.: The SSN ontology of the W3C semantic sensor network incubator group. Web Semant. Sci. Serv. Agents World Wide Web 17, 25\u201332 (2012)","journal-title":"Web Semant. Sci. Serv. Agents World Wide Web"},{"issue":"5","key":"6_CR7","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1016\/j.jvlc.2007.12.003","volume":"19","author":"F Dau","year":"2008","unstructured":"Dau, F., Ekland, P.: A diagrammatic reasoning system for the description logic $$\\cal{ALC}$$ . J. Vis. Lang. Comput. 19(5), 539\u2013573 (2008)","journal-title":"J. Vis. Lang. Comput."},{"key":"6_CR8","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1037\/0033-295X.96.3.433","volume":"96","author":"J Duncan","year":"1989","unstructured":"Duncan, J., Humphreys, G.: Visual search and stimulus similarity. Psychol. Rev. 96, 433\u2013458 (1989)","journal-title":"Psychol. Rev."},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-46037-3_6","volume-title":"Diagrammatic Representation and Inference","author":"J Flower","year":"2002","unstructured":"Flower, J., Howse, J.: Generating Euler diagrams. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol. 2317, pp. 61\u201375. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46037-3_6"},{"issue":"4","key":"6_CR10","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1006\/jvlc.1999.0130","volume":"10","author":"C Gurr","year":"1999","unstructured":"Gurr, C.: Effective diagrammatic communication: syntactic, semantic and pragmatic issues. J. Vis. Lang. Comput. 10(4), 317\u2013342 (1999)","journal-title":"J. Vis. Lang. Comput."},{"key":"6_CR11","unstructured":"Hammar, K.: Reasoning performance indicators for ontology design patterns. In: 4th Workshop on Ontology and Semantic Web Patterns (2013)"},{"key":"6_CR12","unstructured":"Hayes, P., Eskridge, T., Mehrotra, M., Bobrovnikoff, D., Reichherzer, T., Saavedra, R.: COE: tools for collaborative ontology development and reuse. In: Knowledge Capture Conference (2005)"},{"key":"6_CR13","unstructured":"Horridge, M.: Owlviz. www.co-ode.org\/downloads\/owlviz\/ . Accessed June 2009"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-642-25073-6_17","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"J Howse","year":"2011","unstructured":"Howse, J., Stapleton, G., Taylor, K., Chapman, P.: Visualizing ontologies: a case study. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 257\u2013272. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25073-6_17"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/11783183_36","volume-title":"Diagrammatic Representation and Inference","author":"C John","year":"2006","unstructured":"John, C., Fish, A., Howse, J., Taylor, J.: Exploring the notion of \u2018Clutter\u2019 in Euler diagrams. In: Barker-Plummer, D., Cox, R., Swoboda, N. (eds.) Diagrams 2006. LNCS (LNAI), vol. 4045, pp. 267\u2013282. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11783183_36"},{"issue":"6","key":"6_CR16","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/TVCG.2010.210","volume":"16","author":"N Riche","year":"2010","unstructured":"Riche, N., Dwyer, T.: Untangling Euler diagrams. IEEE Trans. Visual Comput. Graphics 16(6), 1090\u20131099 (2010)","journal-title":"IEEE Trans. Visual Comput. Graphics"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Shams, Z., Jamnik, M., Stapleton, G., Sato, Y.: Reasoning with concept diagrams about antipatterns. In: 21st International Conference on Logic for Programming, Artificial Intelligence, and Reasoning. pp. 27\u201342. Kapla Publications in Computing (2017)","DOI":"10.29007\/4ckv"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-319-62075-6_18","volume-title":"Intelligent Computer Mathematics","author":"Z Shams","year":"2017","unstructured":"Shams, Z., Jamnik, M., Stapleton, G., Sato, Y.: Reasoning with concept diagrams about antipatterns in ontologies. In: Geuvers, H., England, M., Hasan, O., Rabe, F., Teschke, O. (eds.) CICM 2017. LNCS (LNAI), vol. 10383, pp. 255\u2013271. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-62075-6_18"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Shams, Z., Sato, Y., Jamnik, M., Stapleton, G.: Accessible reasoning with diagrams: from cognition to automation. In: 10th International Conference on the Theory and Application of Diagrams. LNCS, vol. 10871. Springer (2018)","DOI":"10.1007\/978-3-319-91376-6_25"},{"issue":"3","key":"6_CR20","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1111\/j.1467-8659.2009.01452.x","volume":"28","author":"P Simonetto","year":"2009","unstructured":"Simonetto, P., Auber, D., Archambault, D.: Fully automatic visualisation of overlapping sets. Comput. Graphics Forum 28(3), 967\u2013974 (2009)","journal-title":"Comput. Graphics Forum"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Stapleton, G., Compton, M., Howse, J.: Visualizing OWL 2 using diagrams. In: IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 245\u2013253. IEEE (2017)","DOI":"10.1109\/VLHCC.2017.8103474"},{"key":"6_CR22","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/j.jvlc.2012.02.001","volume":"23","author":"G Stapleton","year":"2012","unstructured":"Stapleton, G., Flower, J., Rodgers, P., Howse, J.: Automatically drawing Euler diagrams with circles. J. Vis. Lang. Comput. 23, 163\u2013193 (2012)","journal-title":"J. Vis. Lang. Comput."},{"key":"6_CR23","unstructured":"Stapleton, G., Howse, J., Chapman, P., Delaney, A., Burton, J., Oliver, I.: Formalizing concept diagrams. In: 19th International Conference on Distributed Multimedia Systems, pp. 182\u2013187. KSI (2013)"}],"container-title":["Lecture Notes in Computer Science","Graph Structures for Knowledge Representation and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-78102-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T21:51:21Z","timestamp":1751493081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-78102-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319781013","9783319781020"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-78102-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}