{"id":"https://openalex.org/W7081967352","doi":"https://doi.org/10.1007/978-3-032-04167-8_1","title":"The Concrete Evonne: Visualization Meets Concrete Domain Reasoning","display_name":"The Concrete Evonne: Visualization Meets Concrete Domain Reasoning","publication_year":2025,"publication_date":"2025-09-14","ids":{"openalex":"https://openalex.org/W7081967352","doi":"https://doi.org/10.1007/978-3-032-04167-8_1"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-04167-8_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-04167-8_1","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-04167-8_1.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-04167-8_1.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Christian Alrabbaa","orcid":"https://orcid.org/0000-0002-2925-1765"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Christian Alrabbaa","raw_affiliation_strings":["Institute of Theoretical Computer Science, TU Dresden, Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Theoretical Computer Science, TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Franz Baader","orcid":"https://orcid.org/0000-0002-4049-221X"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Franz Baader","raw_affiliation_strings":["Institute of Theoretical Computer Science, TU Dresden, Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Theoretical Computer Science, TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Raimund Dachselt","orcid":"https://orcid.org/0000-0002-2176-876X"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Raimund Dachselt","raw_affiliation_strings":["Interactive Media Lab Dresden, TU Dresden, Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"Interactive Media Lab Dresden, TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Alisa Kovtunova","orcid":"https://orcid.org/0000-0001-9936-0943"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alisa Kovtunova","raw_affiliation_strings":["Institute of Theoretical Computer Science, TU Dresden, Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Theoretical Computer Science, TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":null,"display_name":"Juli\u00e1n M\u00e9ndez","orcid":"https://orcid.org/0000-0003-1029-7656"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Juli\u00e1n M\u00e9ndez","raw_affiliation_strings":["Interactive Media Lab Dresden, TU Dresden, Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"Interactive Media Lab Dresden, TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I78650965"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.73365702,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"3","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.6754999756813049,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.6754999756813049,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13067","display_name":"Geological Modeling and Analysis","score":0.02879999950528145,"subfield":{"id":"https://openalex.org/subfields/1906","display_name":"Geochemistry and Petrology"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14311","display_name":"Electrical and Electromagnetic Research","score":0.018400000408291817,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.7773000001907349},{"id":"https://openalex.org/keywords/clarity","display_name":"CLARITY","score":0.704200029373169},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.6291999816894531},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5788999795913696},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5491999983787537},{"id":"https://openalex.org/keywords/presentation","display_name":"Presentation (obstetrics)","score":0.4359999895095825},{"id":"https://openalex.org/keywords/visual-approach","display_name":"Visual approach","score":0.41679999232292175},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4117000102996826}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8668000102043152},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.7773000001907349},{"id":"https://openalex.org/C2777146004","wikidata":"https://www.wikidata.org/wiki/Q14949826","display_name":"CLARITY","level":2,"score":0.704200029373169},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6291999816894531},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5788999795913696},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5491999983787537},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.4359999895095825},{"id":"https://openalex.org/C2777055276","wikidata":"https://www.wikidata.org/wiki/Q7936580","display_name":"Visual approach","level":2,"score":0.41679999232292175},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4117000102996826},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.3855000138282776},{"id":"https://openalex.org/C2777508537","wikidata":"https://www.wikidata.org/wiki/Q7936620","display_name":"Visual reasoning","level":2,"score":0.38499999046325684},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36419999599456787},{"id":"https://openalex.org/C172367668","wikidata":"https://www.wikidata.org/wiki/Q6504956","display_name":"Data visualization","level":3,"score":0.35120001435279846},{"id":"https://openalex.org/C14669888","wikidata":"https://www.wikidata.org/wiki/Q4014850","display_name":"Creative visualization","level":3,"score":0.34529998898506165},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3449000120162964},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.3237000107765198},{"id":"https://openalex.org/C185578843","wikidata":"https://www.wikidata.org/wiki/Q10609775","display_name":"Information visualization","level":3,"score":0.30889999866485596},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3061000108718872},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2921000123023987},{"id":"https://openalex.org/C64073096","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Interactive visualization","level":3,"score":0.2888000011444092},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.28630000352859497},{"id":"https://openalex.org/C99740376","wikidata":"https://www.wikidata.org/wiki/Q17092520","display_name":"Interactive visual analysis","level":4,"score":0.2572999894618988},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2563000023365021}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-04167-8_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-04167-8_1","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-04167-8_1.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-032-04167-8_1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-04167-8_1","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-04167-8_1.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1375572575","display_name":null,"funder_award_id":"390696704","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G1407243695","display_name":null,"funder_award_id":"EXC 2050/1","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G1933938177","display_name":null,"funder_award_id":"EXC 2050/1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3032849772","display_name":null,"funder_award_id":"TRR 248","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G352791218","display_name":null,"funder_award_id":"(BMBF)","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G4021765181","display_name":null,"funder_award_id":"2050/1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G4191964291","display_name":null,"funder_award_id":"390696704","funder_id":"https://openalex.org/F4320323644","funder_display_name":"S\u00e4chsisches Staatsministerium f\u00fcr Wissenschaft und Kunst"},{"id":"https://openalex.org/G5106512922","display_name":null,"funder_award_id":"Deutsche Forschungsgemeinschaft (DFG","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5628759018","display_name":null,"funder_award_id":"390696704","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G6024419964","display_name":null,"funder_award_id":"Deutsche Forschungsgemeinschaft (DFG)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6052429835","display_name":null,"funder_award_id":"(DFG)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6955755495","display_name":null,"funder_award_id":"Germany","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G7453299778","display_name":null,"funder_award_id":"90696704","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G7668369193","display_name":null,"funder_award_id":"SCADS22B","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G804825914","display_name":null,"funder_award_id":"SCADS22","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G890954746","display_name":null,"funder_award_id":"389792660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"},{"id":"https://openalex.org/F4320323644","display_name":"S\u00e4chsisches Staatsministerium f\u00fcr Wissenschaft und Kunst","ror":"https://ror.org/05wnef833"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7081967352.pdf","grobid_xml":"https://content.openalex.org/works/W7081967352.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W95067517","https://openalex.org/W2061985243","https://openalex.org/W2072133687","https://openalex.org/W2756029264","https://openalex.org/W2995523160","https://openalex.org/W3005217247","https://openalex.org/W3017370081","https://openalex.org/W3165740410","https://openalex.org/W3177831581","https://openalex.org/W4225389498","https://openalex.org/W4226108798","https://openalex.org/W4244275182","https://openalex.org/W4289104049","https://openalex.org/W4300129298","https://openalex.org/W4320507241","https://openalex.org/W4324088609","https://openalex.org/W4387645420","https://openalex.org/W4393156110","https://openalex.org/W4403792799","https://openalex.org/W6906610762","https://openalex.org/W6941129350"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Evonne":[1,27,83],"is":[2],"a":[3,134],"web":[4],"application":[5],"primarily":[6],"designed":[7,106],"to":[8,28,84],"explain":[9],"Description":[10],"Logic":[11],"(DL)":[12],"entailments":[13],"using":[14],"an":[15,24],"interactive":[16],"visualization":[17],"approach":[18],"for":[19,36,112,150],"proofs.":[20,118],"This":[21],"paper":[22],"introduces":[23],"extension":[25],"of":[26,50,90,101,116,125,141,155],"DLs":[29],"with":[30,67,76],"concrete":[31,94],"domains,":[32],"which":[33],"are":[34],"needed":[35],"formalizing":[37],"concepts":[38],"whose":[39],"definitions":[40],"involve":[41],"quantitative":[42],"information.":[43],"Specifically,":[44],"we":[45,80,104,120],"focus":[46],"on":[47,139],"two":[48],"extensions":[49],"the":[51,74,86,98,113,117,123,145],"DL":[52],"$$\\mathcal{E}\\mathcal{L}_\\bot":[53],"$$":[54],"<mml:math":[55],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[56],"<mml:mrow>":[57],"<mml:mi>E</mml:mi>":[58],"<mml:msub>":[59],"<mml:mi>L</mml:mi>":[60],"<mml:mi>\u22a5</mml:mi>":[61],"</mml:msub>":[62],"</mml:mrow>":[63],"</mml:math>":[64],":":[65],"one":[66,140],"constraints":[68],"formulated":[69],"as":[70],"linear":[71],"equations":[72],"and":[73,88,107,133,153],"other":[75,146],"difference":[77],"constraints.":[78],"First,":[79],"have":[81,105,121],"extended":[82],"enable":[85],"generation":[87],"presentation":[89],"proofs":[91],"involving":[92],"these":[93,126,142],"domains.":[95],"Then,":[96],"leveraging":[97],"unique":[99],"properties":[100],"each":[102],"domain,":[103],"incorporated":[108],"alternative":[109],"visual":[110,127],"explanations":[111,128,143],"numerical":[114],"parts":[115],"Finally,":[119],"assessed":[122],"effectiveness":[124],"through":[129],"qualitative":[130],"user":[131],"studies":[132],"performance":[135],"benchmark.":[136],"While":[137],"opinions":[138],"varied,":[144],"was":[147],"widely":[148],"recognized":[149],"its":[151],"clarity":[152],"ease":[154],"understanding.":[156]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}