{"id":"https://openalex.org/W4396723178","doi":"https://doi.org/10.1145/3589334.3645607","title":"Diagrammatic Reasoning for ALC Visualization with Logic Graphs","display_name":"Diagrammatic Reasoning for ALC Visualization with Logic Graphs","publication_year":2024,"publication_date":"2024-05-08","ids":{"openalex":"https://openalex.org/W4396723178","doi":"https://doi.org/10.1145/3589334.3645607"},"language":"en","primary_location":{"id":"doi:10.1145/3589334.3645607","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3589334.3645607","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Web Conference 2024","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3589334.3645607","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015250423","display_name":"Ildar Baimuratov","orcid":"https://orcid.org/0000-0002-6573-131X"},"institutions":[{"id":"https://openalex.org/I114112103","display_name":"Leibniz University Hannover","ror":"https://ror.org/0304hq317","country_code":"DE","type":"education","lineage":["https://openalex.org/I114112103"]},{"id":"https://openalex.org/I2802635041","display_name":"Technische Informationsbibliothek (TIB)","ror":"https://ror.org/04aj4c181","country_code":"DE","type":"archive","lineage":["https://openalex.org/I2802635041","https://openalex.org/I315704651"]},{"id":"https://openalex.org/I4210136150","display_name":"L3S Research Center","ror":"https://ror.org/039t4wk02","country_code":"DE","type":"facility","lineage":["https://openalex.org/I114112103","https://openalex.org/I4210136150","https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ildar Baimuratov","raw_affiliation_strings":["L3S Research Center, Leibniz University Hannover & TIB - Leibniz Information Centre for Science and Technology, Hannover, Germany"],"raw_orcid":"https://orcid.org/0000-0002-6573-131X","affiliations":[{"raw_affiliation_string":"L3S Research Center, Leibniz University Hannover & TIB - Leibniz Information Centre for Science and Technology, Hannover, Germany","institution_ids":["https://openalex.org/I2802635041","https://openalex.org/I4210136150","https://openalex.org/I114112103"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5015250423"],"corresponding_institution_ids":["https://openalex.org/I114112103","https://openalex.org/I2802635041","https://openalex.org/I4210136150"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04805279,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"4295","last_page":"4303"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9997000098228455,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9997000098228455,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9930999875068665,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.992900013923645,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/diagrammatic-reasoning","display_name":"Diagrammatic reasoning","score":0.9555050134658813},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6764311790466309},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.6689381003379822},{"id":"https://openalex.org/keywords/data-visualization","display_name":"Data visualization","score":0.506930410861969},{"id":"https://openalex.org/keywords/visual-reasoning","display_name":"Visual reasoning","score":0.500476598739624},{"id":"https://openalex.org/keywords/graph-drawing","display_name":"Graph drawing","score":0.43368422985076904},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3457297682762146},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.294956773519516},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22603082656860352}],"concepts":[{"id":"https://openalex.org/C106624574","wikidata":"https://www.wikidata.org/wiki/Q5270387","display_name":"Diagrammatic reasoning","level":2,"score":0.9555050134658813},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6764311790466309},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.6689381003379822},{"id":"https://openalex.org/C172367668","wikidata":"https://www.wikidata.org/wiki/Q6504956","display_name":"Data visualization","level":3,"score":0.506930410861969},{"id":"https://openalex.org/C2777508537","wikidata":"https://www.wikidata.org/wiki/Q7936620","display_name":"Visual reasoning","level":2,"score":0.500476598739624},{"id":"https://openalex.org/C112953755","wikidata":"https://www.wikidata.org/wiki/Q739462","display_name":"Graph drawing","level":3,"score":0.43368422985076904},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3457297682762146},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.294956773519516},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22603082656860352}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3589334.3645607","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3589334.3645607","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Web Conference 2024","raw_type":"proceedings-article"},{"id":"pmh:doi:10.15488/20647","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"BookPart"}],"best_oa_location":{"id":"doi:10.1145/3589334.3645607","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3589334.3645607","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Web Conference 2024","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1653084275","display_name":null,"funder_award_id":"460234259, 390881007","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"},{"id":"https://openalex.org/G3207088482","display_name":null,"funder_award_id":"819536","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"}],"funders":[{"id":"https://openalex.org/F4320323817","display_name":"Universitas Brawijaya","ror":"https://ror.org/01wk3d929"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1545469724","https://openalex.org/W1555213554","https://openalex.org/W1562710807","https://openalex.org/W1585071008","https://openalex.org/W1973644634","https://openalex.org/W2034351045","https://openalex.org/W2047366356","https://openalex.org/W2049592444","https://openalex.org/W2087804333","https://openalex.org/W2154829072","https://openalex.org/W2173235673","https://openalex.org/W2401179312","https://openalex.org/W2733301172","https://openalex.org/W2763876046","https://openalex.org/W2804931460","https://openalex.org/W3189373506","https://openalex.org/W4214638831"],"related_works":["https://openalex.org/W2789521552","https://openalex.org/W2911581357","https://openalex.org/W4288586668","https://openalex.org/W65372946","https://openalex.org/W74355995","https://openalex.org/W2346931493","https://openalex.org/W2013728941","https://openalex.org/W52535201","https://openalex.org/W4225274103","https://openalex.org/W2154046714"],"abstract_inverted_index":{"User":[0],"studies":[1],"show":[2],"the":[3,48,66,74,77,92,102,113,116],"demand":[4],"for":[5,9,18],"diagrammatic":[6,29,33,56,126],"reasoning":[7,34,57,127,130],"techniques":[8],"knowledge":[10],"representation":[11],"formats.":[12],"OWL":[13,51],"ontologies":[14,52],"are":[15],"highly":[16],"relevant":[17],"Web":[19],"3.0,":[20],"however,":[21],"existing":[22,32],"ontology":[23],"visualization":[24],"tools":[25],"do":[26],"not":[27],"support":[28],"reasoning,":[30],"while":[31],"systems":[35],"utilize":[36,87],"suboptimal":[37],"visual":[38,61,81],"languages.":[39],"The":[40,124],"purpose":[41],"of":[42,50,73,76,115],"this":[43],"research":[44],"is":[45],"to":[46,83,105,107],"facilitate":[47],"usage":[49],"by":[53,137],"providing":[54],"a":[55,80,144],"system":[58,118,128],"over":[59,131],"their":[60],"representations.":[62],"We":[63,100],"focus":[64],"on":[65],"ALC":[67],"description":[68],"logic,":[69],"which":[70,90],"covers":[71],"most":[72],"expressivity":[75],"ontologies.":[78],"As":[79],"language":[82],"reason":[84,108],"about,":[85],"we":[86],"Logic":[88],"Graphs,":[89],"provide":[91],"simplest":[93],"visualizations":[94],"regarding":[95],"graph-":[96],"and":[97,119,139],"information-theoretic":[98],"properties.":[99],"adapt":[101],"tableau":[103],"algorithm":[104],"LGs":[106],"about":[109],"concept":[110],"satisfiability,":[111],"prove":[112],"correctness":[114],"proposed":[117,125],"illustrate":[120],"it":[121],"with":[122],"examples.":[123],"allows":[129],"ontologies,":[132],"reducing":[133],"complex":[134],"concepts":[135],"step":[136],"step,":[138],"identifying":[140],"elements":[141],"that":[142],"produce":[143],"contradiction.":[145]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}