{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T13:47:11Z","timestamp":1765547231853,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["460234259, 390881007"],"award-info":[{"award-number":["460234259, 390881007"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"European Research Council","doi-asserted-by":"publisher","award":["819536"],"award-info":[{"award-number":["819536"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,5,13]]},"DOI":"10.1145\/3589334.3645607","type":"proceedings-article","created":{"date-parts":[[2024,5,8]],"date-time":"2024-05-08T07:08:13Z","timestamp":1715152093000},"page":"4295-4303","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Diagrammatic Reasoning for ALC Visualization with Logic Graphs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6573-131X","authenticated-orcid":false,"given":"Ildar","family":"Baimuratov","sequence":"first","affiliation":[{"name":"L3S Research Center, Leibniz University Hannover & TIB - Leibniz Information Centre for Science and Technology, Hannover, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,5,13]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Franz Baader Diego Calvanese Deborah L. McGuinness Daniele Nardi and Peter F. Patel-Schneider (Eds.). 2003. The Description Logic Handbook: Theory Implementation and Applications. Cambridge University Press USA."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013882326814"},{"key":"e_1_3_2_2_3_1","volume-title":"Developing nonempirical metrics and tools for ontology visualizations evaluation and comparing. Scientific Visualization 12, 4","author":"Baimuratov I","year":"2020","unstructured":"I Baimuratov, Th Nguyen, R Golchin, and D Mouromtsev. 2020. Developing nonempirical metrics and tools for ontology visualizations evaluation and comparing. Scientific Visualization 12, 4 (2020)."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2011.6070384"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.13140\/2.1.3838.3363"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2007.12.003"},{"key":"e_1_3_2_2_7_1","unstructured":"Sean Falconer. [n. d.]. OntoGraf. https:\/\/protegewiki.stanford.edu\/wiki\/OntoGraf. Accessed: 2022-04--22."},{"key":"e_1_3_2_2_8_1","unstructured":"Andrew Fish and Judith Masthoff. 2005. Do monkeys like elephants or do elephants watch monkeys? an empirical study into the default reading of constraint diagrams. Technical Report (2005)."},{"key":"e_1_3_2_2_9_1","volume-title":"Visualizing Ontologies: A Case Study. In International Semantic Web Conference. Springer, 257--272","author":"Howse John","year":"2011","unstructured":"John Howse, Gem Stapleton, Kerry Taylor, and Peter Chapman. 2011. Visualizing Ontologies: A Case Study. In International Semantic Web Conference. Springer, 257--272."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/263700.263756"},{"key":"e_1_3_2_2_11_1","unstructured":"Piotr Kunowski and Tomasz Boi'ski. [n. d.]. SOVA. https:\/\/protegewiki.stanford.edu\/wiki\/SOVA. Accessed: 2022-04--22."},{"key":"e_1_3_2_2_12_1","volume-title":"Generating Visualizations of Ontologies in the Logic Graphs Language. In 2022 31st Conference of Open Innovations Association (FRUCT). 131--137","author":"Kuryshev Vasiliy","year":"2022","unstructured":"Vasiliy Kuryshev, Ildar Baimuratov, Vladislav Shmatkov, and Dmitry Mouromtsev. 2022. Generating Visualizations of Ontologies in the Logic Graphs Language. In 2022 31st Conference of Open Innovations Association (FRUCT). 131--137."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.3390\/fi14030078"},{"key":"e_1_3_2_2_14_1","volume-title":"Visualizing ontologies with VOWL. Semantic Web 7 (05","author":"Lohmann Steffen","year":"2016","unstructured":"Steffen Lohmann, Stefan Negru, Florian Haag, and Thomas Ertl. 2016. Visualizing ontologies with VOWL. Semantic Web 7 (05 2016), 399--419. https:\/\/doi.org\/10.233\/SW-150200"},{"key":"e_1_3_2_2_15_1","volume-title":"Baimuratov","author":"Mouromtsev Dmitry I.","year":"2018","unstructured":"Dmitry I. Mouromtsev and Ildar R. Baimuratov. 2018. Logic Graphs: A complete visualization method for logical languages based on Ch. S. Peirce's existential graphs. In MICSECS."},{"key":"e_1_3_2_2_16_1","volume-title":"CEUR Workshop Proceedings 2893","author":"Nguyen T.","year":"2020","unstructured":"T. Nguyen and I. Baimuratov. 2020. Logic graphs: Complete, semantic-oriented and easy to learn visualization method for OWL DL language. CEUR Workshop Proceedings 2893 (2020)."},{"key":"e_1_3_2_2_17_1","volume-title":"Proceedings of the Fifth Australasian Ontology Workshop -","volume":"112","author":"Oliver Ian","year":"2009","unstructured":"Ian Oliver, John Howse, Gem Stapleton, Esko Nuutila, and Seppo T\u00f6rm\u00e4. 2009. Visualizing and Specifying Ontologies Using Diagrammatic Logics. In Proceedings of the Fifth Australasian Ontology Workshop - Volume 112 (Melbourne, Australia) (AOW '09). Australian Computer Society, Inc., 37--46."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45483-7_22"},{"volume-title":"Reasoning with Concept Diagrams About Antipatterns in Ontologies","author":"Shams Zohreh","key":"e_1_3_2_2_19_1","unstructured":"Zohreh Shams, Mateja Jamnik, Gem Stapleton, and Yuri Sato. 2017. Reasoning with Concept Diagrams About Antipatterns in Ontologies. In Intelligent Computer Mathematics, Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, and Olaf Teschke (Eds.). Springer International Publishing, Cham, 255--271."},{"volume-title":"Accessible Reasoning with Diagrams: From Cognition to Automation","author":"Shams Zohreh","key":"e_1_3_2_2_20_1","unstructured":"Zohreh Shams, Yuri Sato, Mateja Jamnik, and Gem Stapleton. 2018. Accessible Reasoning with Diagrams: From Cognition to Automation. In Diagrammatic Representation and Inference, Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, and Francesco Bellucci (Eds.). Springer International Publishing, Cham, 247--263."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1515\/semi.2011.060"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.204.0336"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2017.8103474"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2008.04.003"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--319--78102-0_6"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-015-9229-0"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","unstructured":"Taowei Wang Bijan Parsia and James Hendler. 2006. A Survey of the Web Ontology Landscape. 682--694. https:\/\/doi.org\/10.1007\/11926078_49","DOI":"10.1007\/11926078_49"}],"event":{"name":"WWW '24: The ACM Web Conference 2024","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"],"location":"Singapore Singapore","acronym":"WWW '24"},"container-title":["Proceedings of the ACM Web Conference 2024"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3589334.3645607","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3589334.3645607","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T00:31:40Z","timestamp":1755822700000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3589334.3645607"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,13]]},"references-count":28,"alternative-id":["10.1145\/3589334.3645607","10.1145\/3589334"],"URL":"https:\/\/doi.org\/10.1145\/3589334.3645607","relation":{},"subject":[],"published":{"date-parts":[[2024,5,13]]},"assertion":[{"value":"2024-05-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}