{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T18:53:32Z","timestamp":1776365612540,"version":"3.51.2"},"reference-count":138,"publisher":"Association for Computing Machinery (ACM)","issue":"9","license":[{"start":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T00:00:00Z","timestamp":1731369600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Knowl. Discov. Data"],"published-print":{"date-parts":[[2024,11,30]]},"abstract":"<jats:p>Neural symbolic knowledge graph (KG) reasoning offers a promising approach that combines the expressive power of symbolic reasoning with the learning capabilities inherent in neural networks. This survey provides a comprehensive overview of advancements, techniques, and challenges in the field of neural symbolic KG reasoning. The survey introduces the fundamental concepts of KGs and symbolic logic, followed by an exploration of three significant KG reasoning tasks: KG completion, complex query answering, and logical rule learning. For each task, we thoroughly discuss three distinct categories of methods: pure symbolic methods, pure neural approaches, and the integration of neural networks and symbolic reasoning methods known as neural-symbolic. We carefully analyze and compare the strengths and limitations of each category of methods to provide a comprehensive understanding. By synthesizing recent research contributions and identifying open research directions, this survey aims to equip researchers and practitioners with a comprehensive understanding of the state-of-the-art in neural symbolic KG reasoning, fostering future advancements in this interdisciplinary domain.<\/jats:p>","DOI":"10.1145\/3686806","type":"journal-article","created":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T13:57:18Z","timestamp":1723471038000},"page":"1-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Neural-Symbolic Methods for Knowledge Graph Reasoning: A Survey"],"prefix":"10.1145","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2139-3451","authenticated-orcid":false,"given":"Kewei","family":"Cheng","sequence":"first","affiliation":[{"name":"Amazon, Palo Alto, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7913-4962","authenticated-orcid":false,"given":"Nesreen K.","family":"Ahmed","sequence":"additional","affiliation":[{"name":"Intel Labs, Santa Clara, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9758-0635","authenticated-orcid":false,"given":"Ryan A.","family":"Rossi","sequence":"additional","affiliation":[{"name":"Adobe Research, San Jose, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9825-513X","authenticated-orcid":false,"given":"Theodore","family":"Willke","sequence":"additional","affiliation":[{"name":"Intel Labs, Hillsboro, OR, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1812-6843","authenticated-orcid":false,"given":"Yizhou","family":"Sun","sequence":"additional","affiliation":[{"name":"University of California, Los Angeles, Los Angeles, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,11,12]]},"reference":[{"key":"e_1_3_2_2_2","unstructured":"Erik Arakelyan Daniel Daza Pasquale Minervini and Michael Cochez. 2020. Complex query answering with neural link predictors. arXiv:2011.03459. Retrieved from https:\/\/www.arxiv.org\/abs\/2011.03459"},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.5555\/3122009.3176853"},{"key":"e_1_3_2_4_2","first-page":"553","volume-title":"Proceedings of the International Conference on Artificial Neural Networks","author":"Bala\u017eevi\u0107 Ivana","year":"2019","unstructured":"Ivana Bala\u017eevi\u0107, Carl Allen, and Timothy M. Hospedales. 2019. Hypernetwork knowledge graph embeddings. In Proceedings of the International Conference on Artificial Neural Networks. Springer, 553\u2013565."},{"key":"e_1_3_2_5_2","doi-asserted-by":"crossref","unstructured":"Ivana Bala\u017eevi\u0107 Carl Allen and Timothy M. Hospedales. 2019. Tucker: Tensor factorization for knowledge graph completion. arXiv:1901.09590. Retrieved from https:\/\/arxiv.org\/abs\/1901.09590","DOI":"10.18653\/v1\/D19-1522"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.14778\/3611540.3611609"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-013-5363-6"},{"key":"e_1_3_2_8_2","first-page":"2787","volume-title":"Proceedings of the 26th International Conference on Neural Information Processing Systems","author":"Bordes Antoine","year":"2013","unstructured":"Antoine Bordes, Nicolas Usunier, Alberto Garcia-Duran, Jason Weston, and Oksana Yakhnenko. 2013. Translating embeddings for modeling multi-relational data. In Proceedings of the 26th International Conference on Neural Information Processing Systems, 2787\u20132795."},{"key":"e_1_3_2_9_2","unstructured":"Andres Campero Aldo Pareja Tim Klinger Josh Tenenbaum and Sebastian Riedel. 2018. Logical rule induction and theory learning using neural theorem proving. arXiv:1809.02193. Retrieved from https:\/\/arxiv.org\/abs\/1809.02193"},{"key":"e_1_3_2_10_2","first-page":"1","article-title":"Markov chain monte carlo and gibbs sampling","volume":"581","author":"Carlo Chain Monte","year":"2004","unstructured":"Chain Monte Carlo. 2004. Markov chain monte carlo and gibbs sampling. Lecture Notes for EEB 581 (2004), 1\u201324.","journal-title":"Lecture Notes for EEB"},{"key":"e_1_3_2_11_2","volume-title":"Introduction to Symbolic Logic and Its Applications","author":"Carnap Rudolf","year":"2012","unstructured":"Rudolf Carnap. 2012. Introduction to Symbolic Logic and Its Applications. Courier Corporation."},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33013363"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i4.20310"},{"key":"e_1_3_2_14_2","unstructured":"Zhuo Chen Yin Fang Yichi Zhang Lingbing Guo Jiaoyan Chen Huajun Chen and Wen Zhang. 2024. The power of noise: Toward a unified multi-modal knowledge graph representation framework. arXiv:2403.06832. Retrieved from https:\/\/arxiv.org\/abs\/2403.06832"},{"key":"e_1_3_2_15_2","volume-title":"Proceedings of the International Conference on Learning Representations (ICLR)","author":"Cheng Kewei","year":"2023","unstructured":"Kewei Cheng, Nesreen Ahmed, and Yizhou Sun. 2023. Neural compositional rule learning for knowledge graph reasoning. In Proceedings of the International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_2_16_2","doi-asserted-by":"crossref","unstructured":"Kewei Cheng Nesreen K. Ahmed Theodore Willke and Yizhou Sun. 2024. Structure guided prompt: Instructing large language model in multi-step reasoning by exploring graph structure of the text. arXiv:2402.13415. Retrieved from https:\/\/arxiv.org\/abs\/2402.13415","DOI":"10.18653\/v1\/2024.emnlp-main.528"},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/3534678.3539421"},{"key":"e_1_3_2_18_2","unstructured":"William W. Cohen. 2016. Tensorlog: A differentiable deductive database. arXiv:1605.06523. Retrieved from https:\/\/arxiv.org\/abs\/1605.06523"},{"key":"e_1_3_2_19_2","first-page":"617","volume-title":"Proceedings of the 14th International Conference on Neural Information Processing Systems: Natural and Synthetic (NIPS \u201901)","volume":"13","author":"Collins Michael","year":"2001","unstructured":"Michael Collins, Sanjoy Dasgupta, and Robert E. Schapire. 2001. A generalization of principal components analysis to the exponential family. In Proceedings of the 14th International Conference on Neural Information Processing Systems: Natural and Synthetic (NIPS \u201901), Vol. 13, 617\u2013624."},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.3390\/electronics9050750"},{"key":"e_1_3_2_21_2","unstructured":"Rajarshi Das Shehzaad Dhuliawala Manzil Zaheer Luke Vilnis Ishan Durugkar Akshay Krishnamurthy Alex Smola and Andrew McCallum. 2017. Go for a walk and arrive at the answer: Reasoning over paths in knowledge bases using reinforcement learning. arXiv:1711.05851. Retrieved from https:\/\/arxiv.org\/abs\/1711.05851"},{"key":"e_1_3_2_22_2","unstructured":"Rajarshi Das Arvind Neelakantan David Belanger and Andrew McCallum. 2016. Chains of reasoning over entities relations and text using recurrent neural networks. arXiv:1607.01426. Retrieved from https:\/\/arxiv.org\/abs\/1607.01426"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009863704807"},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.5555\/567222.567232"},{"key":"e_1_3_2_26_2","doi-asserted-by":"crossref","unstructured":"Thomas Demeester Tim Rockt\u00e4schel and Sebastian Riedel. 2016. Lifted rule injection for relation embeddings. arXiv:1606.08359. Retrieved from https:\/\/arxiv.org\/abs\/1606.08359","DOI":"10.18653\/v1\/D16-1146"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11573"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/2623330.2623623"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5714"},{"key":"e_1_3_2_30_2","first-page":"328","volume-title":"Proceedings of the 28th Pacific Asia Conference on Language, Information and Computing","author":"Fan Miao","year":"2014","unstructured":"Miao Fan, Qiang Zhou, Emily Chang, and Fang Zheng. 2014. Transition-based knowledge graph embedding with relational mapping properties. In Proceedings of the 28th Pacific Asia Conference on Language, Information and Computing, 328\u2013337."},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-015-0394-1"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/2488388.2488425"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbi.2022.104133"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D13-1080"},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/D14-1044"},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1038\/nature14541"},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1016\/0305-0548(86)90048-1"},{"key":"e_1_3_2_39_2","first-page":"2505","volume-title":"Proceedings of the International Conference on Machine Learning","author":"Guo Lingbing","year":"2019","unstructured":"Lingbing Guo, Zequn Sun, and Wei Hu. 2019. Learning to exploit long-term relational dependencies in knowledge graphs. In Proceedings of the International Conference on Machine Learning. PMLR, 2505\u20132514."},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D16-1019"},{"key":"e_1_3_2_41_2","doi-asserted-by":"crossref","unstructured":"Shu Guo Quan Wang Lihong Wang Bin Wang and Li Guo. 2017. Knowledge graph embedding with iterative guidance from soft rules. arXiv:1711.11231. Retrieved from https:\/\/arxiv.org\/abs\/1711.11231","DOI":"10.1609\/aaai.v32i1.11918"},{"key":"e_1_3_2_42_2","unstructured":"Tiezheng Guo Qingwen Yang Chen Wang Yanyi Liu Pan Li Jiawei Tang Dapeng Li and Yingyou Wen. 2023. KnowledgeNavigator: Leveraging large language models for enhanced reasoning over knowledge graph. arXiv:2312.15880. Retrieved from https:\/\/arxiv.org\/abs\/2312.15880"},{"key":"e_1_3_2_43_2","volume-title":"Metamathematics of Fuzzy Logic","author":"H\u00e1jek Petr","year":"2013","unstructured":"Petr H\u00e1jek. 2013. Metamathematics of Fuzzy Logic. Vol. 4. Springer Science & Business Media."},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.5555\/3326943.3327131"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/3366424.3391265"},{"key":"e_1_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/3447772"},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006350622830"},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-1067"},{"key":"e_1_3_2_49_2","doi-asserted-by":"publisher","DOI":"10.5555\/3015812.3015959"},{"key":"e_1_3_2_50_2","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2021.3070843"},{"key":"e_1_3_2_51_2","doi-asserted-by":"crossref","unstructured":"Jinhao Jiang Kun Zhou Wayne Xin Zhao Yaliang Li and Ji-Rong Wen. 2023. ReasoningLM: Enabling structural subgraph reasoning in pre-trained language models for question answering over knowledge graph. arXiv:2401.00158. Retrieved from https:\/\/arxiv.org\/abs\/2401.00158","DOI":"10.18653\/v1\/2023.emnlp-main.228"},{"key":"e_1_3_2_52_2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N19-1103"},{"key":"e_1_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-022-03913-6"},{"key":"e_1_3_2_54_2","first-page":"4284","volume-title":"Proceedings of the 32nd International Conference on Neural Information Processing Systems","author":"Kazemi Seyed Mehran","year":"2018","unstructured":"Seyed Mehran Kazemi and David Poole. 2018. Simple embedding for link prediction in knowledge graphs. In Proceedings of the 32nd International Conference on Neural Information Processing Systems, 4284\u20134295."},{"key":"e_1_3_2_55_2","doi-asserted-by":"crossref","unstructured":"Jiho Kim Yeonsu Kwon Yohan Jo and Edward Choi. 2023. KG-GPT: A general framework for reasoning on knowledge graphs using large language models. arXiv:2310.11220. Retrieved from https:\/\/arxiv.org\/abs\/2310.11220","DOI":"10.18653\/v1\/2023.findings-emnlp.631"},{"key":"e_1_3_2_56_2","unstructured":"Thomas N. Kipf and Max Welling. 2016. Semi-supervised classification with graph convolutional networks. arXiv:1609.02907. Retrieved from https:\/\/arxiv.org\/abs\/1609.02907"},{"key":"e_1_3_2_57_2","first-page":"2863","volume-title":"Proceedings of the International Conference on Machine Learning","author":"Lacroix Timoth\u00e9e","year":"2018","unstructured":"Timoth\u00e9e Lacroix, Nicolas Usunier, and Guillaume Obozinski. 2018. Canonical tensor decomposition for knowledge base completion. In Proceedings of the International Conference on Machine Learning. PMLR, 2863\u20132872."},{"key":"e_1_3_2_58_2","first-page":"529","volume-title":"Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing","author":"Lao Ni","year":"2011","unstructured":"Ni Lao, Tom Mitchell, and William Cohen. 2011. Random walk inference and learning in a large scale knowledge base. In Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing, 529\u2013539."},{"key":"e_1_3_2_59_2","first-page":"255","volume-title":"The Handbook of Brain Theory and Neural Networks","author":"LeCun Yann","year":"1995","unstructured":"Yann LeCun and Yoshua Bengio. 1995. Convolutional networks for images, speech, and time series. In The Handbook of Brain Theory and Neural Networks. MIT Press, Cambridge, MA, 255\u2013258."},{"key":"e_1_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.1145\/3539618.3591711"},{"key":"e_1_3_2_61_2","unstructured":"Xi Victoria Lin Richard Socher and Caiming Xiong. 2018. Multi-hop knowledge graph reasoning with reward shaping. arXiv:1808.10568. Retrieved from https:\/\/arxiv.org\/abs\/1808.10568"},{"key":"e_1_3_2_62_2","doi-asserted-by":"publisher","DOI":"10.5555\/2886521.2886624"},{"key":"e_1_3_2_63_2","first-page":"2168","volume-title":"Proceedings of the International Conference on Machine Learning","author":"Liu Hanxiao","year":"2017","unstructured":"Hanxiao Liu, Yuexin Wu, and Yiming Yang. 2017. Analogical inference for multi-relational embeddings. In Proceedings of the International Conference on Machine Learning. PMLR, 2168\u20132178."},{"key":"e_1_3_2_64_2","doi-asserted-by":"publisher","DOI":"10.1145\/3447548.3467375"},{"key":"e_1_3_2_65_2","unstructured":"Shixuan Liu Changjun Fan Kewei Cheng Yunfei Wang Peng Cui Yizhou Sun and Zhong Liu. 2023. Inductive meta-path learning for schema-complex heterogeneous information networks. arXiv:2307.03937. Retrieved from https:\/\/arxiv.org\/abs\/2307.03937"},{"key":"e_1_3_2_66_2","volume-title":"Proceedings of the International Conference on Learning Representations","author":"Lu Shengyao","year":"2022","unstructured":"Shengyao Lu, Bang Liu, Keith G. Mills, Shangling JUI, and Di Niu. 2022. R5: Rule discovery with reinforced and recurrent relational reasoning. In Proceedings of the International Conference on Learning Representations. Retrieved from https:\/\/openreview.net\/forum?id=2eXhNpHeW6E"},{"key":"e_1_3_2_67_2","unstructured":"Linhao Luo Yuan-Fang Li Gholamreza Haffari and Shirui Pan. 2023. Reasoning on graphs: Faithful and interpretable large language model reasoning. arXiv:2310.01061. Retrieved from https:\/\/arxiv.org\/abs\/2310.01061"},{"key":"e_1_3_2_68_2","volume-title":"GRASP\u2014A New Search Algorithm for Satisfiability","author":"Silva Jo\u00e3o P. Marques","year":"2003","unstructured":"Jo\u00e3o P. Marques Silva and Karem A. Sakallah. 2003. GRASP\u2014A New Search Algorithm for Satisfiability. Springer."},{"key":"e_1_3_2_69_2","doi-asserted-by":"publisher","DOI":"10.5555\/3367471.3367477"},{"key":"e_1_3_2_70_2","first-page":"103","volume-title":"Proceedings of the Working Conference on Artificial Intelligence Development for a Resilient and Sustainable Tomorrow","author":"Meyer Lars-Peter","year":"2023","unstructured":"Lars-Peter Meyer, Claus Stadler, Johannes Frey, Norman Radtke, Kurt Junghanns, Roy Meissner, Gordian Dziwis, Kirill Bulert, and Michael Martin. 2023. Llm-assisted knowledge graph engineering: Experiments with chatgpt. In Proceedings of the Working Conference on Artificial Intelligence Development for a Resilient and Sustainable Tomorrow. Springer, 103\u2013115."},{"key":"e_1_3_2_71_2","unstructured":"Pasquale Minervini Matko Bosnjak Tim Rockt\u00e4schel and Sebastian Riedel. 2018. Towards neural theorem proving at scale. arXiv:1807.08204. Retrieved from https:\/\/arxiv.org\/abs\/1807.08204"},{"key":"e_1_3_2_72_2","first-page":"6938","volume-title":"Proceedings of the International Conference on Machine Learning","author":"Minervini Pasquale","year":"2020","unstructured":"Pasquale Minervini, Sebastian Riedel, Pontus Stenetorp, Edward Grefenstette, and Tim Rockt\u00e4schel. 2020. Learning reasoning strategies in end-to-end differentiable proving. In Proceedings of the International Conference on Machine Learning. PMLR, 6938\u20136949."},{"key":"e_1_3_2_73_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037227"},{"key":"e_1_3_2_74_2","volume-title":"Efficient Induction of Logic Programs","author":"Muggleton Stephen","year":"1990","unstructured":"Stephen Muggleton and Cao Feng. 1990. Efficient Induction of Logic Programs. Citeseer."},{"key":"e_1_3_2_75_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5014-9_12"},{"key":"e_1_3_2_76_2","doi-asserted-by":"crossref","unstructured":"Arvind Neelakantan Benjamin Roth and Andrew McCallum. 2015. Compositional vector space models for knowledge base completion. arXiv:1504.06662. Retrieved from https:\/\/arxiv.org\/abs\/1504.06662","DOI":"10.3115\/v1\/P15-1016"},{"key":"e_1_3_2_77_2","unstructured":"Dai Quoc Nguyen Tu Dinh Nguyen Dat Quoc Nguyen and Dinh Phung. 2017. A novel embedding model for knowledge base completion based on convolutional neural network. arXiv:1712.02121. Retrieved from https:\/\/arxiv.org\/abs\/1712.02121"},{"key":"e_1_3_2_78_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v30i1.10314"},{"key":"e_1_3_2_79_2","first-page":"809","volume-title":"Proceedings of the 28th International Conference on International Conference on Machine Learning (ICML \u201911)","volume":"11","author":"Nickel Maximilian","year":"2011","unstructured":"Maximilian Nickel, Volker Tresp, and Hans-Peter Kriegel. 2011. A three-way model for collective learning on multi-relational data. In Proceedings of the 28th International Conference on International Conference on Machine Learning (ICML \u201911), Vol. 11, 809\u2013816."},{"key":"e_1_3_2_80_2","doi-asserted-by":"publisher","DOI":"10.1145\/3625007.3627593"},{"key":"e_1_3_2_81_2","doi-asserted-by":"publisher","DOI":"10.5555\/3304889.3304958"},{"key":"e_1_3_2_82_2","doi-asserted-by":"publisher","DOI":"10.5555\/1074100.1074233"},{"key":"e_1_3_2_83_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i03.5690"},{"key":"e_1_3_2_84_2","first-page":"1075","volume-title":"Proceedings of the 23rd National Conference on Artificial Intelligence (AAAI \u201908)","volume":"8","author":"Poon Hoifung","year":"2008","unstructured":"Hoifung Poon, Pedro M. Domingos, and Marc Sumner. 2008. A general method for reducing the complexity of relational inference and its application to MCMC. In Proceedings of the 23rd National Conference on Artificial Intelligence (AAAI \u201908), Vol. 8, 1075\u20131080."},{"key":"e_1_3_2_85_2","volume-title":"Proceedings of the 14th International Conference on Computers in Urban Planning and Urban Management (CUPUM \u201914)","author":"Psyllidis Achilleas","year":"2015","unstructured":"Achilleas Psyllidis. 2015. Ontology-based data integration from heterogeneous urban systems: A knowledge representation framework for smart cities. In Proceedings of the 14th International Conference on Computers in Urban Planning and Urban Management (CUPUM \u201914) MIT Press."},{"key":"e_1_3_2_86_2","unstructured":"Richard Qian. 2013. Understand Your World with Bing. Retrieved March 21 2013 from https:\/\/blogs.bing.com\/search\/2013\/03\/21\/understand-your-world-with-bing\/"},{"key":"e_1_3_2_87_2","unstructured":"Meng Qu Junkun Chen Louis-Pascal Xhonneux Yoshua Bengio and Jian Tang. 2020. Rnnlogic: Learning logic rules for reasoning on knowledge graphs. arXiv:2010.04029. Retrieved from https:\/\/arxiv.org\/abs\/2010.04029"},{"key":"e_1_3_2_88_2","first-page":"7710","volume-title":"Proceedings of the 33rd International Conference on Neural Information Processing Systems","author":"Qu Meng","year":"2019","unstructured":"Meng Qu and Jian Tang. 2019. Probabilistic logic neural networks for reasoning. In Proceedings of the 33rd International Conference on Neural Information Processing Systems, 7710\u20137720."},{"key":"e_1_3_2_89_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00117105"},{"key":"e_1_3_2_90_2","unstructured":"Hongyu Ren Weihua Hu and Jure Leskovec. 2020. Query2box: Reasoning over knowledge graphs in vector space using box embeddings. arXiv:2002.05969. Retrieved from https:\/\/arxiv.org\/abs\/2002.05969"},{"key":"e_1_3_2_91_2","doi-asserted-by":"publisher","DOI":"10.5555\/3495724.3497378"},{"key":"e_1_3_2_92_2","doi-asserted-by":"publisher","DOI":"10.1145\/3637216"},{"key":"e_1_3_2_93_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"},{"key":"e_1_3_2_94_2","first-page":"3788","volume-title":"Proceedings of the 31st International Conference on Neural Information Processing Systems","author":"Rockt\u00e4schel Tim","year":"2017","unstructured":"Tim Rockt\u00e4schel and Sebastian Riedel. 2017. End-to-end differentiable proving. In Proceedings of the 31st International Conference on Neural Information Processing Systems, 3788\u20133800."},{"key":"e_1_3_2_95_2","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/N15-1118"},{"key":"e_1_3_2_96_2","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell Stuart","year":"2002","unstructured":"Stuart Russell and Peter Norvig. 2002. Artificial Intelligence: A Modern Approach. Prentice Hall."},{"key":"e_1_3_2_97_2","unstructured":"Ali Sadeghian Mohammadreza Armandpour Patrick Ding and Daisy Zhe Wang. 2019. Drum: End-to-end differentiable rule mining on knowledge graphs. arXiv:1911.00055. Retrieved from https:\/\/arxiv.org\/abs\/1911.00055"},{"key":"e_1_3_2_98_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61534-2_16"},{"key":"e_1_3_2_99_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-93417-4_38"},{"key":"e_1_3_2_100_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-018-5708-2"},{"key":"e_1_3_2_101_2","doi-asserted-by":"publisher","DOI":"10.1109\/78.650093"},{"key":"e_1_3_2_102_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33013060"},{"key":"e_1_3_2_103_2","unstructured":"Yelong Shen Jianshu Chen Po-Sen Huang Yuqing Guo and Jianfeng Gao. 2018. M-walk: Learning to walk over graphs using monte carlo tree search. arXiv:1802.04394. Retrieved from https:\/\/arxiv.org\/abs\/1802.04394"},{"key":"e_1_3_2_104_2","first-page":"28139","volume-title":"Proceedings of the 37th International Conference on Neural Information Processing Systems","author":"Shengyuan Chen","year":"2024","unstructured":"Chen Shengyuan, Yunfeng Cai, Huang Fang, Xiao Huang, and Mingming Sun. 2024. Differentiable neuro-symbolic reasoning on large-scale knowledge graphs. Proceedings of the 37th International Conference on Neural Information Processing Systems, 28139\u20132815."},{"key":"e_1_3_2_105_2","first-page":"1094","volume-title":"Proceedings of the 23rd National Conference on Artificial Intelligence (AAAI \u201908)","volume":"8","author":"Singla Parag","year":"2008","unstructured":"Parag Singla and Pedro M. Domingos. 2008. Lifted first-order belief propagation. In Proceedings of the 23rd National Conference on Artificial Intelligence (AAAI \u201908), Vol. 8, 1094\u20131099."},{"key":"e_1_3_2_106_2","first-page":"926","volume-title":"Proceedings of the 26th International Conference on Neural Information Processing Systems","author":"Socher Richard","year":"2013","unstructured":"Richard Socher, Danqi Chen, Christopher D. Manning, and Andrew Ng. 2013. Reasoning with neural tensor networks for knowledge base completion. In Proceedings of the 26th International Conference on Neural Information Processing Systems, 926\u2013934."},{"key":"e_1_3_2_107_2","doi-asserted-by":"publisher","DOI":"10.1090\/dimacs\/026\/26"},{"key":"e_1_3_2_108_2","first-page":"395","volume-title":"Proceedings of the Chinese Conference on Pattern Recognition and Computer Vision (PRCV)","author":"Sun Chengjie","year":"2023","unstructured":"Chengjie Sun, Weiwei Chen, Lei Lin, and Lili Shan. 2023. Enhancing recommender system with multi-modal knowledge graph. In Proceedings of the Chinese Conference on Pattern Recognition and Computer Vision (PRCV). Springer, 395\u2013407."},{"key":"e_1_3_2_109_2","unstructured":"Zhiqing Sun Shikhar Vashishth Soumya Sanyal Partha Talukdar and Yiming Yang. 2019. A re-evaluation of knowledge graph completion methods. arXiv:1911.03903. Retrieved from https:\/\/arxiv.org\/abs\/1911.03903"},{"key":"e_1_3_2_110_2","first-page":"2071","volume-title":"Proceedings of the International Conference on Machine Learning","author":"Trouillon Th\u00e9o","year":"2016","unstructured":"Th\u00e9o Trouillon, Johannes Welbl, Sebastian Riedel, \u00c9ric Gaussier, and Guillaume Bouchard. 2016. Complex embeddings for simple link prediction. In Proceedings of the International Conference on Machine Learning, 2071\u20132080."},{"key":"e_1_3_2_111_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i03.5694"},{"key":"e_1_3_2_112_2","unstructured":"Shikhar Vashishth Soumya Sanyal Vikram Nitin and Partha Talukdar. 2019. Composition-based multi-relational graph convolutional networks. arXiv:1911.03082."},{"key":"e_1_3_2_113_2","first-page":"6000","volume-title":"Proceedings of the 31st International Conference on Neural Information Processing Systems on Neural Information Processing Systems","author":"Vaswani Ashish","year":"2017","unstructured":"Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, \u0141 Kaiser, and Illia Polosukhin. 2017. Attention is all you need. In Proceedings of the 31st International Conference on Neural Information Processing Systems on Neural Information Processing Systems, 6000\u20136010."},{"key":"e_1_3_2_114_2","unstructured":"Pengwei Wang Dejing Dou Fangzhao Wu Nisansa de Silva and Lianwen Jin. 2019. Logic rules powered knowledge graph embedding. arXiv:1903.03772. Retrieved from https:\/\/arxiv.org\/abs\/1903.03772"},{"key":"e_1_3_2_115_2","unstructured":"Quan Wang Pingping Huang Haifeng Wang Songtai Dai Wenbin Jiang Jing Liu Yajuan Lyu Yong Zhu and Hua Wu. 2019b. Coke: Contextualized knowledge graph embedding. arXiv:1911.02168. Retrieved from https:\/\/arxiv.org\/abs\/1911.02168"},{"key":"e_1_3_2_116_2","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2017.2754499"},{"key":"e_1_3_2_117_2","doi-asserted-by":"publisher","DOI":"10.5555\/2832415.2832507"},{"key":"e_1_3_2_118_2","doi-asserted-by":"publisher","DOI":"10.1145\/3581783.3612266"},{"issue":"3","key":"e_1_3_2_119_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3618301","article-title":"Cross-modality multiple relations learning for knowledge-based visual question answering","volume":"20","author":"Wang Yan","year":"2023","unstructured":"Yan Wang, Peize Li, Qingyi Si, Hanwen Zhang, Wenyu Zang, Zheng Lin, and Peng Fu. 2023. Cross-modality multiple relations learning for knowledge-based visual question answering. ACM Transactions on Multimedia Computing, Communications and Applications 20, 3 (2023), 1\u201322.","journal-title":"ACM Transactions on Multimedia Computing, Communications and Applications"},{"key":"e_1_3_2_120_2","doi-asserted-by":"publisher","DOI":"10.5555\/2893873.2894046"},{"key":"e_1_3_2_121_2","doi-asserted-by":"publisher","DOI":"10.1145\/2806416.2806513"},{"key":"e_1_3_2_122_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-47243-5_2"},{"key":"e_1_3_2_123_2","unstructured":"Han Xiao Minlie Huang Yu Hao and Xiaoyan Zhu. 2015. Transg: A generative mixture model for knowledge graph embedding. arXiv:1509.05488. Retrieved from https:\/\/arxiv.org\/abs\/1509.05488"},{"key":"e_1_3_2_124_2","unstructured":"Xin Xie Zhoubo Li Xiaohan Wang Zekun Xi and Ningyu Zhang. 2022. Lambdakg: A library for pre-trained language model-based knowledge graph embeddings. arXiv:2210.00305. Retrieved from https:\/\/arxiv.org\/abs\/2210.00305"},{"key":"e_1_3_2_125_2","doi-asserted-by":"crossref","unstructured":"Wenhan Xiong Thien Hoang and William Yang Wang. 2017. Deeppath: A reinforcement learning method for knowledge graph reasoning. arXiv:1707.06690. Retrieved from https:\/\/arxiv.org\/abs\/1707.06690","DOI":"10.18653\/v1\/D17-1060"},{"key":"e_1_3_2_126_2","first-page":"1","article-title":"Multi-modal validation and domain interaction learning for knowledge-based visual question answering","author":"Xu Ning","year":"2024","unstructured":"Ning Xu, Yifei Gao, An-An Liu, Hongshuo Tian, and Yongdong Zhang. 2024. Multi-modal validation and domain interaction learning for knowledge-based visual question answering. IEEE Transactions on Knowledge and Data Engineering (2024), 1\u201312.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"e_1_3_2_127_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i4.25601"},{"key":"e_1_3_2_128_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:1412.6575. Retrieved from https:\/\/arxiv.org\/abs\/1412.6575"},{"key":"e_1_3_2_129_2","first-page":"2319","volume-title":"Proceedings of the 31st International Conference on Neural Information Processing Systems","author":"Yang Fan","year":"2017","unstructured":"Fan Yang, Zhilin Yang, and William W. Cohen. 2017. Differentiable learning of logical rules for knowledge base reasoning. In Proceedings of the 31st International Conference on Neural Information Processing Systems, 2319\u20132328."},{"key":"e_1_3_2_130_2","unstructured":"Yuan Yang and Le Song. 2019. Learn to explain efficiently via neural logic inductive learning. arXiv:1910.02481. Retrieved from https:\/\/arxiv.org\/abs\/1910.02481"},{"key":"e_1_3_2_131_2","unstructured":"Liang Yao Chengsheng Mao and Yuan Luo. 2019. KG-BERT: BERT for knowledge graph completion. arXiv:1909.03193. Retrieved from https:\/\/arxiv.org\/abs\/1909.03193"},{"key":"e_1_3_2_132_2","doi-asserted-by":"publisher","DOI":"10.5555\/3367471.3367616"},{"key":"e_1_3_2_133_2","first-page":"689","volume-title":"Proceedings of the 13th International Conference on Neural Information Processing Systems","author":"Yedidia Jonathan S.","year":"2001","unstructured":"Jonathan S. Yedidia, William T. Freeman, and Yair Weiss. 2001. Generalized belief propagation. In Proceedings of the 13th International Conference on Neural Information Processing Systems, 689\u2013695."},{"key":"e_1_3_2_134_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i5.20538"},{"key":"e_1_3_2_135_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.aiopen.2021.03.001"},{"key":"e_1_3_2_136_2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.acl-long.705"},{"key":"e_1_3_2_137_2","unstructured":"Wen Zhang Jiaoyan Chen Juan Li Zezhong Xu Jeff Z Pan and Huajun Chen. 2022a. Knowledge graph reasoning with logics and embeddings: Survey and perspective. arXiv:2202.07412. Retrieved from https:\/\/arxiv.org\/abs\/2202.07412"},{"key":"e_1_3_2_138_2","unstructured":"Yuyu Zhang Xinshi Chen Yuan Yang Arun Ramamurthy Bo Li Yuan Qi and Le Song. 2019. Can graph neural networks help logic reasoning? arXiv:1906.02111. Retrieved from https:\/\/arxiv.org\/abs\/1906.02111"},{"key":"e_1_3_2_139_2","unstructured":"Zhaocheng Zhu Mikhail Galkin Zuobai Zhang and Jian Tang. 2022. Neural-symbolic models for logical queries on knowledge graphs. arXiv:2205.10128. Retrieved from https:\/\/arxiv.org\/abs\/2205.10128"},{"key":"e_1_3_2_140_2","unstructured":"Zhaocheng Zhu Xinyu Yuan Michael Galkin Louis-Pascal Xhonneux Ming Zhang Maxime Gazeau and Jian Tang. 2024. A* net: A scalable path-based reasoning approach for knowledge graphs. In Proceedings of the 37th International Conference on Neural Information Processing Systems 59323\u20135933."}],"container-title":["ACM Transactions on Knowledge Discovery from Data"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3686806","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3686806","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:05:52Z","timestamp":1750291552000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3686806"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,12]]},"references-count":138,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2024,11,30]]}},"alternative-id":["10.1145\/3686806"],"URL":"https:\/\/doi.org\/10.1145\/3686806","relation":{},"ISSN":["1556-4681","1556-472X"],"issn-type":[{"value":"1556-4681","type":"print"},{"value":"1556-472X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11,12]]},"assertion":[{"value":"2023-09-08","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-07-28","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-11-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}