{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T08:11:30Z","timestamp":1765267890443,"version":"3.46.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,12,10]]},"DOI":"10.1145\/3731443.3771348","type":"proceedings-article","created":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T08:02:51Z","timestamp":1765267371000},"page":"61-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Neural Reasoning for Robust Instance Retrieval in SHOIQ"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7975-8794","authenticated-orcid":false,"given":"Louis Mozart","family":"Kamdem Teyou","sequence":"first","affiliation":[{"name":"Computer Science, Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-0883-8316","authenticated-orcid":false,"given":"Luke","family":"Friedrichs","sequence":"additional","affiliation":[{"name":"Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4217-897X","authenticated-orcid":false,"given":"N'Dah Jean","family":"Kouagou","sequence":"additional","affiliation":[{"name":"Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8970-3850","authenticated-orcid":false,"given":"Caglar","family":"Demir","sequence":"additional","affiliation":[{"name":"Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5651-5391","authenticated-orcid":false,"given":"Yasir","family":"Mahmood","sequence":"additional","affiliation":[{"name":"Data Science Research Group, Department of Computer Science, Paderborn University Paderborn University, Germany, Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4525-6865","authenticated-orcid":false,"given":"Stefan","family":"Heindorf","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Heinz Nixdorf Institute-Paderborn University, Paderborn,Germany, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7112-3516","authenticated-orcid":false,"given":"Axel-Cyrille","family":"Ngonga Ngomo","sequence":"additional","affiliation":[{"name":"Heinz Nixdorf Institute-Paderborn University, Paderborn, Germany"}]}],"member":"320","published-online":{"date-parts":[[2025,12,10]]},"reference":[{"key":"e_1_3_3_2_2_2","volume-title":"The description logic handbook: Theory, implementation and applications","author":"Baader Franz","year":"2003","unstructured":"Franz Baader. 2003. The description logic handbook: Theory, implementation and applications. Cambridge university press."},{"key":"e_1_3_3_2_3_2","first-page":"1472","volume-title":"International Conference on Machine Learning","author":"Bai Yushi","year":"2023","unstructured":"Yushi Bai, Xin Lv, Juanzi Li, and Lei Hou. 2023. Answering complex logical queries on knowledge graphs via query computation tree optimization. In International Conference on Machine Learning. PMLR, 1472\u20131491."},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"crossref","unstructured":"Stephen Bonner Ian\u00a0P Barrett Cheng Ye Rowan Swiers Ola Engkvist Charles\u00a0Tapley Hoyt and William\u00a0L Hamilton. 2022. Understanding the performance of knowledge graph embeddings in drug discovery. Artificial Intelligence in the Life Sciences 2 (2022) 100036.","DOI":"10.1016\/j.ailsci.2022.100036"},{"key":"e_1_3_3_2_5_2","unstructured":"Antoine Bordes Nicolas Usunier Alberto Garcia-Duran Jason Weston and Oksana Yakhnenko. 2013. Translating embeddings for modeling multi-relational data. Advances in neural information processing systems 26 (2013)."},{"key":"e_1_3_3_2_6_2","volume-title":"Knowledge representation and reasoning","author":"Brachman Ronald","year":"2004","unstructured":"Ronald Brachman and Hector Levesque. 2004. Knowledge representation and reasoning. Elsevier."},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"crossref","unstructured":"Lorenz B\u00fchmann Jens Lehmann and Patrick Westphal. 2016. DL-Learner-A framework for inductive learning on the Semantic Web. Journal of Web Semantics 39 (2016) 15\u201324.","DOI":"10.1016\/j.websem.2016.06.001"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i8.16850"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/3442381.3449974"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"crossref","unstructured":"Yuanfei Dai Shiping Wang Neal\u00a0N Xiong and Wenzhong Guo. 2020. A survey on knowledge graph embedding: Approaches applications and benchmarks. Electronics 9 5 (2020) 750.","DOI":"10.3390\/electronics9050750"},{"key":"e_1_3_3_2_11_2","unstructured":"Caglar Demir Alkid Baci N\u2019Dah\u00a0Jean Kouagou Leonie\u00a0Nora Sieger Stefan Heindorf Simon Bin Lukas Bl\"ubaum Alexander Bigerl and Axel-Cyrille\u00a0Ngonga Ngomo. 2025. Ontolearn\u2014A Framework for Large-scale OWL Class Expression Learning in Python. Journal of Machine Learning Research 26 63 (2025) 1\u20136. http:\/\/jmlr.org\/papers\/v26\/24-1113.html"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2023\/403"},{"key":"e_1_3_3_2_13_2","first-page":"567","volume-title":"Joint European Conference on Machine Learning and Knowledge Discovery in Databases","author":"Demir Caglar","year":"2023","unstructured":"Caglar Demir and Axel-Cyrille Ngonga\u00a0Ngomo. 2023. Clifford Embeddings\u2013A Generalized Approach for Embedding in Normed Algebras. In Joint European Conference on Machine Learning and Knowledge Discovery in Databases. Springer, 567\u2013582."},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-43418-1_37"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11573"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"crossref","unstructured":"Birte Glimm Ian Horrocks Boris Motik Giorgos Stoilos and Zhe Wang. 2014. HermiT: an OWL 2 reasoner. Journal of automated reasoning 53 (2014) 245\u2013269.","DOI":"10.1007\/s10817-014-9305-1"},{"key":"e_1_3_3_2_17_2","unstructured":"Will Hamilton Payal Bajaj Marinka Zitnik Dan Jurafsky and Jure Leskovec. 2018. Embedding logical queries on knowledge graphs. Advances in neural information processing systems 31 (2018)."},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3485447.3511925"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1201\/9781420090512"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"crossref","unstructured":"Ian Horrocks Peter\u00a0F Patel-Schneider and Frank Van\u00a0Harmelen. 2003. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of web semantics 1 1 (2003) 7\u201326.","DOI":"10.1016\/j.websem.2003.07.001"},{"key":"e_1_3_3_2_21_2","first-page":"274","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008","author":"Kazakov Yevgeny","year":"2008","unstructured":"Yevgeny Kazakov. 2008. RIQ and SROIQ Are Harder than SHOIQ. In Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, Gerhard Brewka and J\u00e9r\u00f4me Lang (Eds.). AAAI Press, 274\u2013284. http:\/\/www.aaai.org\/Library\/KR\/2008\/kr08-027.php"},{"key":"e_1_3_3_2_22_2","unstructured":"C\u00a0Maria Keet. 2018. An introduction to ontology engineering. (2018)."},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06981-9_14"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"crossref","unstructured":"Jens Lehmann and Pascal Hitzler. 2010. Concept learning in description logics using refinement operators. Machine Learning 78 (2010) 203\u2013250.","DOI":"10.1007\/s10994-009-5146-2"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"crossref","unstructured":"Maximilian Nickel Kevin Murphy Volker Tresp and Evgeniy Gabrilovich. 2015. A review of relational machine learning for knowledge graphs. Proc. IEEE 104 1 (2015) 11\u201333.","DOI":"10.1109\/JPROC.2015.2483592"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"crossref","unstructured":"Jing Qian Gangmin Li Katie Atkinson and Yong Yue. 2021. Understanding negative sampling in knowledge graph embedding. (2021).","DOI":"10.5121\/ijaia.2021.12105"},{"key":"e_1_3_3_2_27_2","unstructured":"Hongyu Ren and Jure Leskovec. 2020. Beta embeddings for multi-hop logical reasoning in knowledge graphs. Advances in Neural Information Processing Systems 33 (2020) 19716\u201319726."},{"key":"e_1_3_3_2_28_2","volume-title":"ICLR","author":"Ruffinelli Daniel","year":"2020","unstructured":"Daniel Ruffinelli, Samuel Broscheit, and Rainer Gemulla. 2020. You CAN Teach an Old Dog New Tricks! On Training Knowledge Graph Embeddings. In ICLR. OpenReview.net."},{"key":"e_1_3_3_2_29_2","unstructured":"Uli Sattler Robert Stevens and Phillip Lord. 2014. How does a reasoner work? Ontogenesis (2014)."},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-62466-8_6"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"crossref","unstructured":"Evren Sirin Bijan Parsia Bernardo\u00a0Cuenca Grau Aditya Kalyanpur and Yarden Katz. 2007. Pellet: A practical owl-dl reasoner. Journal of Web Semantics 5 2 (2007) 51\u201353.","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"crossref","unstructured":"Louis Mozart\u00a0Kamdem Teyou Caglar Demir and Axel-Cyrille\u00a0Ngonga Ngomo. 2024. Embedding Knowledge Graphs in Degenerate Clifford Algebras. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2402.04870 (2024).","DOI":"10.3233\/FAIA240627"},{"key":"e_1_3_3_2_33_2","unstructured":"Th\u00e9o Trouillon Christopher\u00a0R Dance \u00c9ric Gaussier Johannes Welbl Sebastian Riedel and Guillaume Bouchard. 2017. Knowledge graph completion via complex tensor factorization. Journal of Machine Learning Research 18 130 (2017) 1\u201338."},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1007\/11814771_26"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"crossref","unstructured":"Meihong Wang Linling Qiu and Xiaoli Wang. 2021. A survey on knowledge graph embeddings for link prediction. Symmetry 13 3 (2021) 485.","DOI":"10.3390\/sym13030485"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/SAI.2014.6918205"},{"key":"e_1_3_3_2_37_2","unstructured":"Bishan Yang Wen-tau Yih Xiaodong He Jianfeng Gao and Li Deng. 2014. Embedding entities and relations for learning and inference in knowledge bases. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/1412.6575 (2014)."}],"event":{"name":"K-CAP '25: Knowledge Capture Conference 2025","location":"Dayton OH USA","acronym":"K-CAP '25","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"]},"container-title":["Proceedings of the Knowledge Capture Conference 2025"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3731443.3771348","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T08:03:10Z","timestamp":1765267390000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3731443.3771348"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,10]]},"references-count":36,"alternative-id":["10.1145\/3731443.3771348","10.1145\/3731443"],"URL":"https:\/\/doi.org\/10.1145\/3731443.3771348","relation":{},"subject":[],"published":{"date-parts":[[2025,12,10]]},"assertion":[{"value":"2025-12-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}