{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T20:13:37Z","timestamp":1758053617161,"version":"3.44.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032041661","type":"print"},{"value":"9783032041678","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T00:00:00Z","timestamp":1757894400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T00:00:00Z","timestamp":1757894400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>\n            <jats:sc>Evonne<\/jats:sc> is a web application primarily designed to explain Description Logic (DL) entailments using an interactive visualization approach for proofs. This paper introduces an extension of <jats:sc>Evonne<\/jats:sc> to DLs with concrete domains, which are needed for formalizing concepts whose definitions involve quantitative information. Specifically, we focus on two extensions of the DL <jats:inline-formula>\n              <jats:alternatives>\n                <jats:tex-math>$$\\mathcal{E}\\mathcal{L}_\\bot $$<\/jats:tex-math>\n                <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>E<\/mml:mi>\n                    <mml:msub>\n                      <mml:mi>L<\/mml:mi>\n                      <mml:mi>\u22a5<\/mml:mi>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math>\n              <\/jats:alternatives>\n            <\/jats:inline-formula>: one with constraints formulated as linear equations and the other with difference constraints. First, we have extended <jats:sc>Evonne<\/jats:sc> to enable the generation and presentation of proofs involving these concrete domains. Then, leveraging the unique properties of each domain, we have designed and incorporated alternative visual explanations for the numerical parts of the proofs. Finally, we have assessed the effectiveness of these visual explanations through qualitative user studies and a performance benchmark. While opinions on one of these explanations varied, the other was widely recognized for its clarity and ease of understanding.<\/jats:p>","DOI":"10.1007\/978-3-032-04167-8_1","type":"book-chapter","created":{"date-parts":[[2025,9,14]],"date-time":"2025-09-14T22:03:48Z","timestamp":1757887428000},"page":"3-21","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Concrete Evonne: Visualization Meets Concrete Domain Reasoning"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2925-1765","authenticated-orcid":false,"given":"Christian","family":"Alrabbaa","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4049-221X","authenticated-orcid":false,"given":"Franz","family":"Baader","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2176-876X","authenticated-orcid":false,"given":"Raimund","family":"Dachselt","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9936-0943","authenticated-orcid":false,"given":"Alisa","family":"Kovtunova","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1029-7656","authenticated-orcid":false,"given":"Juli\u00e1n","family":"M\u00e9ndez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,9,15]]},"reference":[{"key":"1_CR1","unstructured":"Der Umfragedienst f\u00fcr s\u00e4chsische Hochschulen und Berufsakademien. https:\/\/bildungsportal.sachsen.de\/umfragen\/"},{"key":"1_CR2","doi-asserted-by":"publisher","unstructured":"Alrabbaa, C., Baader, F., Borgwardt, S., Dachselt, R., Koopmann, P., M\u00e9ndez, J.: Evonne: interactive proof visualization for description logics (system description). In: Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings. Lecture Notes in Computer Science, vol. 13385, pp. 271\u2013280. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-10769-6_16","DOI":"10.1007\/978-3-031-10769-6_16"},{"key":"1_CR3","doi-asserted-by":"publisher","unstructured":"Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P., Kovtunova, A.: Finding small proofs for description logic entailments: theory and practice. In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020. EPiC Series in Computing, vol.\u00a073, pp. 32\u201367. EasyChair (2020). https:\/\/doi.org\/10.29007\/NHPP","DOI":"10.29007\/NHPP"},{"key":"1_CR4","doi-asserted-by":"publisher","unstructured":"Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P., Kovtunova, A.: Finding good proofs for description logic entailments using recursive quality measures. In: Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction 2021, Proceedings. Lecture Notes in Computer Science, vol. 12699, pp. 291\u2013308. Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-79876-5_17","DOI":"10.1007\/978-3-030-79876-5_17"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P., Kovtunova, A.: Combining proofs for description logic and concrete domain reasoning. In: Rules and Reasoning - 7th International Joint Conference, RuleML+RR 2023, Proceedings. Lecture Notes in Computer Science, vol. 14244, pp. 54\u201369. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-45072-3_4","DOI":"10.1007\/978-3-031-45072-3_4"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P., Kovtunova, A.: Combining proofs for description logic and concrete domain reasoning (technical report) (2023). https:\/\/arxiv.org\/abs\/2308.03705","DOI":"10.1007\/978-3-031-45072-3_4"},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"Alrabbaa, C., et al.: Explaining reasoning results for OWL ontologies with Evee. In: Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024 (2024). https:\/\/doi.org\/10.24963\/KR.2024\/67","DOI":"10.24963\/KR.2024\/67"},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"Alrabbaa, C., Hieke, W.: Explaining non-entailment by model transformation for the description logic $$\\cal{EL}$$. In: Proceedings of the 11th International Joint Conference on Knowledge Graphs, IJCKG 2022, pp.\u00a01\u20139. ACM (2022). https:\/\/doi.org\/10.1145\/3579051.3579060","DOI":"10.1145\/3579051.3579060"},{"key":"1_CR9","unstructured":"Alrabbaa, C., Hieke, W., Turhan, A.: Counter model transformation for explaining non-subsumption in $$\\cal{EL}$$. In: Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021). CEUR Workshop Proceedings, vol.\u00a02961, pp. 9\u201322. CEUR-WS.org (2021). https:\/\/ceur-ws.org\/Vol-2961\/paper_2.pdf"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005. pp. 364\u2013369. Professional Book Center (2005). http:\/\/ijcai.org\/Proceedings\/05\/Papers\/0372.pdf","DOI":"10.25368\/2022.144"},{"key":"1_CR11","unstructured":"Baader, F., Hanschke, P.: A scheme for integrating concrete domains into concept languages. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991, pp. 452\u2013457. Morgan Kaufmann (1991). http:\/\/ijcai.org\/Proceedings\/91-1\/Papers\/070.pdf"},{"key":"1_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/9781139025355","author":"F Baader","year":"2017","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logic. Cambridge Univ. Press (2017). https:\/\/doi.org\/10.1017\/9781139025355","journal-title":"Cambridge Univ. Press"},{"issue":"3","key":"1_CR13","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/s10817-022-09626-2","volume":"66","author":"F Baader","year":"2022","unstructured":"Baader, F., Rydval, J.: Using model theory to find decidable and tractable description logics with concrete domains. J. Autom. Reason. 66(3), 357\u2013407 (2022). https:\/\/doi.org\/10.1007\/s10817-022-09626-2","journal-title":"J. Autom. Reason."},{"key":"1_CR14","unstructured":"Cormen, T., Leiserson, C., Rivest, R., Stein, C.: Introduction to Algorithms, third edition. Computer science, MIT Press (2009). https:\/\/books.google.de\/books?id=i-bUBQAAQBAJ"},{"key":"1_CR15","doi-asserted-by":"publisher","unstructured":"Cunningham, J.P., Ghahramani, Z.: Linear dimensionality reduction: survey, insights, and generalizations. J. Mach. Learn. Res. 16, 2859\u20132900 (2015). https:\/\/doi.org\/10.5555\/2789272.2912091","DOI":"10.5555\/2789272.2912091"},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"Dabrowski, J.R., Munson, E.V.: Is 100 milliseconds too fast? In: CHI 2001 Extended Abstracts on Human Factors in Computing Systems, CHI Extended Abstracts 2001, Seattle, Washington, USA, March 31 - April 5, 2001. pp. 317\u2013318. ACM (2001). https:\/\/doi.org\/10.1145\/634067.634255","DOI":"10.1145\/634067.634255"},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"Dyer, T., Jr., J.W.B.: Sterling: a web-based visualizer for relational modeling languages. In: Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings. Lecture Notes in Computer Science, vol. 12709, pp. 99\u2013104. Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-77543-8_7","DOI":"10.1007\/978-3-030-77543-8_7"},{"key":"1_CR18","doi-asserted-by":"publisher","unstructured":"Gunning, D., Stefik, M., Choi, J., Miller, T., Stumpf, S., Yang, G.: XAI \u2013 explainable artificial intelligence. Sci. Robotics 4(37) (2019). https:\/\/doi.org\/10.1126\/SCIROBOTICS.AAY7120","DOI":"10.1126\/SCIROBOTICS.AAY7120"},{"key":"1_CR19","doi-asserted-by":"publisher","unstructured":"Holzinger, A., Saranti, A., Molnar, C., Biecek, P., Samek, W.: Explainable AI methods - a brief overview. In: xxAI \u2013 Beyond Explainable AI - International Workshop, Held in Conjunction with ICML 2020, Revised and Extended Papers. Lecture Notes in Computer Science, vol. 13200, pp. 13\u201338. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-031-04083-2_2","DOI":"10.1007\/978-3-031-04083-2_2"},{"key":"1_CR20","doi-asserted-by":"publisher","unstructured":"Kovtunova, A., Alrabbaa, C., Baader, F., Dachselt, R., M\u00e9ndez, J.: The Concrete Evonne (2025). https:\/\/doi.org\/10.17605\/OSF.IO\/Y4X5T","DOI":"10.17605\/OSF.IO\/Y4X5T"},{"key":"1_CR21","doi-asserted-by":"publisher","unstructured":"Laugwitz, B., Held, T., Schrepp, M.: Construction and evaluation of a user experience questionnaire. In: HCI and Usability for Education and Work, 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings. Lecture Notes in Computer Science, vol.\u00a05298, pp. 63\u201376. Springer (2008). https:\/\/doi.org\/10.1007\/978-3-540-89350-9_6","DOI":"10.1007\/978-3-540-89350-9_6"},{"key":"1_CR22","unstructured":"Lutz, C.: Description logics with concrete domains-a survey. In: Advances in Modal Logic 4, papers from the fourth conference on \"Advances in Modal logic,\" held in Toulouse, France, 30 September - 2 October 2002, pp. 265\u2013296. King\u2019s College Publications (2002). http:\/\/www.aiml.net\/volumes\/volume4\/Lutz.ps"},{"key":"1_CR23","doi-asserted-by":"publisher","unstructured":"M\u00e9ndez, J., Alrabbaa, C., Koopmann, P., Langner, R., Baader, F., Dachselt, R.: Evonne: A visual tool for explaining reasoning with OWL ontologies and supporting interactive debugging. Comput. Graph. Forum 42(6) (2023). https:\/\/doi.org\/10.1111\/CGF.14730","DOI":"10.1111\/CGF.14730"},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"Sauro, J., Dumas, J.S.: Comparison of three one-question, post-task usability questionnaires. In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009 pp. 1599\u20131608. ACM (2009). https:\/\/doi.org\/10.1145\/1518701.1518946","DOI":"10.1145\/1518701.1518946"},{"key":"1_CR25","doi-asserted-by":"publisher","unstructured":"Schrepp, M.: User Experience Questionnaire Handbook (2015). https:\/\/doi.org\/10.13140\/RG.2.1.2815.0245","DOI":"10.13140\/RG.2.1.2815.0245"},{"issue":"6","key":"1_CR26","doi-asserted-by":"publisher","first-page":"103","DOI":"10.9781\/IJIMAI.2017.09.001","volume":"4","author":"M Schrepp","year":"2017","unstructured":"Schrepp, M., Hinderks, A., Thomaschewski, J.: Design and evaluation of a short version of the user experience questionnaire (UEQ-S). Int. J. Interact. Multim. Artif. Intell. 4(6), 103\u2013108 (2017). https:\/\/doi.org\/10.9781\/IJIMAI.2017.09.001","journal-title":"Int. J. Interact. Multim. Artif. Intell."},{"issue":"3","key":"1_CR27","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1017\/can.2024.1","volume":"53","author":"A S\u00f8gaard","year":"2023","unstructured":"S\u00f8gaard, A.: On the opacity of deep neural networks. Can. J. Philos. 53(3), 224\u2013239 (2023). https:\/\/doi.org\/10.1017\/can.2024.1","journal-title":"Can. J. Philos."},{"key":"1_CR28","unstructured":"W3C OWL Working Group: OWL 2 Web Ontology Language Document Overview (Second Edition) - W3C Recommendation 11 December 2012 (2012). http:\/\/www.w3.org\/TR\/owl2-overview\/"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-04167-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,14]],"date-time":"2025-09-14T22:03:50Z","timestamp":1757887430000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-04167-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,15]]},"ISBN":["9783032041661","9783032041678"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-04167-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,15]]},"assertion":[{"value":"15 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FroCoS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Frontiers of Combining Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Reykjavik","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iceland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"frocos2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icetcs.github.io\/frocos-itp-tableaux25\/frocos\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}