{"id":"https://openalex.org/W7110914070","doi":"https://doi.org/10.1145/3731443.3771348","title":"Neural Reasoning for Robust Instance Retrieval in SHOIQ","display_name":"Neural Reasoning for Robust Instance Retrieval in SHOIQ","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7110914070","doi":"https://doi.org/10.1145/3731443.3771348"},"language":null,"primary_location":{"id":"doi:10.1145/3731443.3771348","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3731443.3771348","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 Knowledge Capture Conference 2025","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3731443.3771348","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Louis Mozart Kamdem Teyou","orcid":"https://orcid.org/0000-0001-7975-8794"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]},{"id":"https://openalex.org/I4210152224","display_name":"Heinz Nixdorf Stiftung","ror":"https://ror.org/04j2tkk21","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210152224"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Louis Mozart Kamdem Teyou","raw_affiliation_strings":["Computer Science, Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany"],"raw_orcid":"https://orcid.org/0000-0001-7975-8794","affiliations":[{"raw_affiliation_string":"Computer Science, Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453","https://openalex.org/I4210152224"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Luke Friedrichs","orcid":"https://orcid.org/0009-0000-0883-8316"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]},{"id":"https://openalex.org/I4210152224","display_name":"Heinz Nixdorf Stiftung","ror":"https://ror.org/04j2tkk21","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210152224"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Luke Friedrichs","raw_affiliation_strings":["Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany"],"raw_orcid":"https://orcid.org/0009-0000-0883-8316","affiliations":[{"raw_affiliation_string":"Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453","https://openalex.org/I4210152224"]}]},{"author_position":"middle","author":{"id":null,"display_name":"N'Dah Jean Kouagou","orcid":"https://orcid.org/0000-0002-4217-897X"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]},{"id":"https://openalex.org/I4210152224","display_name":"Heinz Nixdorf Stiftung","ror":"https://ror.org/04j2tkk21","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210152224"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"N'Dah Jean Kouagou","raw_affiliation_strings":["Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4217-897X","affiliations":[{"raw_affiliation_string":"Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453","https://openalex.org/I4210152224"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Caglar Demir","orcid":"https://orcid.org/0000-0001-8970-3850"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]},{"id":"https://openalex.org/I4210152224","display_name":"Heinz Nixdorf Stiftung","ror":"https://ror.org/04j2tkk21","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210152224"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Caglar Demir","raw_affiliation_strings":["Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany"],"raw_orcid":"https://orcid.org/0000-0001-8970-3850","affiliations":[{"raw_affiliation_string":"Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453","https://openalex.org/I4210152224"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Yasir Mahmood","orcid":"https://orcid.org/0000-0002-5651-5391"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Yasir Mahmood","raw_affiliation_strings":["Data Science Research Group, Department of Computer Science, Paderborn University Paderborn University, Germany, Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany"],"raw_orcid":"https://orcid.org/0000-0002-5651-5391","affiliations":[{"raw_affiliation_string":"Data Science Research Group, Department of Computer Science, Paderborn University Paderborn University, Germany, Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Stefan Heindorf","orcid":"https://orcid.org/0000-0002-4525-6865"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]},{"id":"https://openalex.org/I4210152224","display_name":"Heinz Nixdorf Stiftung","ror":"https://ror.org/04j2tkk21","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210152224"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Heindorf","raw_affiliation_strings":["Institute of Computer Science, Heinz Nixdorf Institute-Paderborn University, Paderborn,Germany, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4525-6865","affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Heinz Nixdorf Institute-Paderborn University, Paderborn,Germany, Germany","institution_ids":["https://openalex.org/I206945453","https://openalex.org/I4210152224"]}]},{"author_position":"last","author":{"id":null,"display_name":"Axel-Cyrille Ngonga Ngomo","orcid":"https://orcid.org/0000-0001-7112-3516"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]},{"id":"https://openalex.org/I4210152224","display_name":"Heinz Nixdorf Stiftung","ror":"https://ror.org/04j2tkk21","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210152224"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Axel-Cyrille Ngonga Ngomo","raw_affiliation_strings":["Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany"],"raw_orcid":"https://orcid.org/0000-0001-7112-3516","affiliations":[{"raw_affiliation_string":"Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453","https://openalex.org/I4210152224"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I206945453","https://openalex.org/I4210152224"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.77875367,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"61","last_page":"68"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11273","display_name":"Advanced Graph Neural Networks","score":0.35920000076293945,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.35920000076293945,"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/T10028","display_name":"Topic Modeling","score":0.25270000100135803,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.08219999819993973,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/semantic-reasoner","display_name":"Semantic reasoner","score":0.8702999949455261},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5982000231742859},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.5867999792098999},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.545799970626831},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.4569000005722046},{"id":"https://openalex.org/keywords/conjunction","display_name":"Conjunction (astronomy)","score":0.37540000677108765},{"id":"https://openalex.org/keywords/contrast","display_name":"Contrast (vision)","score":0.3725000023841858}],"concepts":[{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.8702999949455261},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7001000046730042},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6732000112533569},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5982000231742859},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5867999792098999},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.545799970626831},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.4569000005722046},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4334999918937683},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.37540000677108765},{"id":"https://openalex.org/C2776502983","wikidata":"https://www.wikidata.org/wiki/Q690182","display_name":"Contrast (vision)","level":2,"score":0.3725000023841858},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.3425999879837036},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.32510000467300415},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.31869998574256897},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.314300000667572},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.31310001015663147},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.30480000376701355},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.26759999990463257},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.26489999890327454},{"id":"https://openalex.org/C51632099","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Training set","level":2,"score":0.25360000133514404}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3731443.3771348","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3731443.3771348","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 Knowledge Capture Conference 2025","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3731443.3771348","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3731443.3771348","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 Knowledge Capture Conference 2025","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1482585805","https://openalex.org/W1529533208","https://openalex.org/W1990890881","https://openalex.org/W2154829072","https://openalex.org/W2163866595","https://openalex.org/W2168120333","https://openalex.org/W2334307703","https://openalex.org/W2470728525","https://openalex.org/W2728059831","https://openalex.org/W3021393704","https://openalex.org/W3095329754","https://openalex.org/W3115652744","https://openalex.org/W3131936130","https://openalex.org/W3138149011","https://openalex.org/W3165146808","https://openalex.org/W3174206097","https://openalex.org/W4226139429","https://openalex.org/W4285210432","https://openalex.org/W4300635244","https://openalex.org/W4385764345","https://openalex.org/W4386803912","https://openalex.org/W4403488033"],"related_works":[],"abstract_inverted_index":{"Concept":[0],"learning":[1],"exploits":[2],"background":[3],"knowledge":[4,18,35],"in":[5,23,106,133],"the":[6,75,99,107],"form":[7],"of":[8,43,77,101,103],"description":[9,44,108],"logic":[10,45,109],"axioms":[11],"to":[12,40,73,95,135],"learn":[13],"explainable":[14],"classification":[15],"models":[16],"from":[17],"bases.":[19,36],"Despite":[20],"recent":[21],"breakthroughs":[22],"neuro-symbolic":[24],"concept":[25,105],"learning,":[26],"most":[27],"approaches":[28],"still":[29],"cannot":[30],"be":[31],"deployed":[32],"on":[33,71],"real-world":[34],"This":[37],"is":[38,126],"due":[39],"their":[41],"use":[42],"reasoners,":[46],"which":[47],"are":[48],"not":[49],"robust":[50,127],"against":[51,128],"inconsistencies":[52],"nor":[53],"erroneous":[54,131],"data.":[55],"We":[56,81],"address":[57],"this":[58],"challenge":[59],"by":[60],"presenting":[61],"a":[62,78],"novel":[63],"neural":[64],"reasoner":[65,69],"dubbed":[66],"Ebr.":[67],"Our":[68,121],"relies":[70],"embeddings":[72],"approximate":[74,98],"results":[76,122],"symbolic":[79],"reasoner.":[80],"show":[82],"that":[83,124],"Ebr":[84,117,125],"solely":[85],"requires":[86],"retrieving":[87],"instances":[88,102],"for":[89],"atomic":[90],"concepts":[91],"and":[92,130],"existential":[93],"restrictions":[94],"retrieve":[96],"or":[97],"set":[100],"any":[104],"\\(\\mathcal":[110],"{SHOIQ}\\).":[111],"In":[112],"our":[113],"experiments,":[114],"we":[115],"compare":[116],"with":[118],"state-of-the-art":[119],"reasoners.":[120,137],"suggest":[123],"missing":[129],"data":[132],"contrast":[134],"existing":[136]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-12-10T00:00:00"}