{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T14:25:56Z","timestamp":1779287156492,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,4,30]],"date-time":"2023-04-30T00:00:00Z","timestamp":1682812800000},"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":[],"published-print":{"date-parts":[[2023,4,30]]},"DOI":"10.1145\/3543507.3583248","type":"proceedings-article","created":{"date-parts":[[2023,4,26]],"date-time":"2023-04-26T23:30:51Z","timestamp":1682551851000},"page":"2423-2432","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["MLN4KB: an efficient Markov logic network engine for large-scale knowledge bases and structured logic rules"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2712-5172","authenticated-orcid":false,"given":"Huang","family":"Fang","sequence":"first","affiliation":[{"name":"Baidu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3791-4343","authenticated-orcid":false,"given":"Yang","family":"Liu","sequence":"additional","affiliation":[{"name":"Baidu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2387-191X","authenticated-orcid":false,"given":"Yunfeng","family":"Cai","sequence":"additional","affiliation":[{"name":"Baidu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6199-4905","authenticated-orcid":false,"given":"Mingming","family":"Sun","sequence":"additional","affiliation":[{"name":"Baidu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,4,30]]},"reference":[{"key":"e_1_3_2_1_1_1","article-title":"Hinge-Loss Markov Random Fields and Probabilistic Soft Logic","volume":"18","author":"Bach H.","year":"2017","unstructured":"Stephen\u00a0H. Bach, Matthias Broecheler, Bert Huang, and Lise Getoor. 2017. Hinge-Loss Markov Random Fields and Probabilistic Soft Logic. Journal of Machine Learning Research 18 (2017), 109:1\u2013109:67.","journal-title":"Journal of Machine Learning Research"},{"key":"e_1_3_2_1_2_1","series-title":"SIAM review 59, 1","volume-title":"Julia: A fresh approach to numerical computing","author":"Bezanson Jeff","year":"2017","unstructured":"Jeff Bezanson, Alan Edelman, Stefan Karpinski, and Viral\u00a0B Shah. 2017. Julia: A fresh approach to numerical computing. SIAM review 59, 1 (2017), 65\u201398."},{"key":"e_1_3_2_1_4_1","volume-title":"Nucleic Acids Res. 32","author":"Bodenreider Olivier","year":"2004","unstructured":"Olivier Bodenreider. 2004. Nucleic Acids Res. 32 (2004), 267\u2013270."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376746"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the Advances in Neural Information Processing Systems (NeurIPS). 2787\u20132795","author":"Bordes Antoine","year":"2013","unstructured":"Antoine Bordes, Nicolas Usunier, Alberto Garc\u00eda-Dur\u00e1n, Jason Weston, and Oksana Yakhnenko. 2013. Translating Embeddings for Modeling Multi-relational Data. In Proceedings of the Advances in Neural Information Processing Systems (NeurIPS). 2787\u20132795."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11573"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01549-6"},{"key":"e_1_3_2_1_9_1","volume-title":"Domingos and Daniel Lowd","author":"M.","year":"2009","unstructured":"Pedro\u00a0M. Domingos and Daniel Lowd. 2009. Markov Logic: Theory, Algorithms and Applications. PhD Thesis. University of Washington, Seattle (2009)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3241978"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1953048.2021068"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI). 1300\u20131309","author":"Friedman Nir","year":"1999","unstructured":"Nir Friedman, Lise Getoor, Daphne Koller, and Avi Pfeffer. 1999. Learning Probabilistic Relational Models. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI). 1300\u20131309."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2488388.2488425"},{"key":"e_1_3_2_1_14_1","unstructured":"Michael\u00a0R. Genesereth and Nils\u00a0J. Nilsson. 1988. Logical foundations of artificial intelligence. Morgan Kaufmann."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-015-5532-x"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the International Conference on Machine Learning, ICML, Vol.\u00a0307","author":"N.","unstructured":"Tuyen\u00a0N. Huynh and Raymond\u00a0J. Mooney. 2008. Discriminative structure and parameter learning for Markov logic networks. In Proceedings of the International Conference on Machine Learning, ICML, Vol.\u00a0307. 416\u2013423."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Henry\u00a0A. Kautz Bart Selman and YueYen Jiang. 1996. A general stochastic approach to solving problems with hard and soft constraints. In Satisfiability Problem: Theory and Applications Vol.\u00a035. 573\u2013585.","DOI":"10.1090\/dimacs\/035\/15"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-015-5481-4"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Adam Kilgarriff and Christiane Fellbaum. 2000. WordNet an electronic lexical database. (2000).","DOI":"10.2307\/417141"},{"key":"e_1_3_2_1_20_1","volume-title":"Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980","author":"Kingma P","year":"2014","unstructured":"Diederik\u00a0P Kingma and Jimmy Ba. 2014. Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980 (2014)."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings the International Conference on Machine Learning (ICML). 551\u2013558","author":"Kok Stanley","year":"2010","unstructured":"Stanley Kok and Pedro\u00a0M. Domingos. 2010. Learning Markov Logic Networks Using Structural Motifs. In Proceedings the International Conference on Machine Learning (ICML). 551\u2013558."},{"key":"e_1_3_2_1_22_1","unstructured":"S. Kok M. Sumner M. Richardson P. Singla H. Poon D. Lowd and P. Domingos. 2000. The Alchemy system for statistical relational AI. Technical Report. Department of Computer Science and Engineering University of Washington Seattle WA. (2000). https:\/\/alchemy.cs.washington.edu\/"},{"key":"e_1_3_2_1_23_1","volume-title":"Formalizing Common Sense: Papers by John McCarthy","author":"Lifschitz Vladimir","unstructured":"Vladimir Lifschitz. 1990. Formalizing Common Sense: Papers by John McCarthy. Norwood, New Jersey: Ablex Publishing Corporation."},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the Teddington Conference on the Mechanization of Thought Processes.","author":"McCarthy John","year":"1959","unstructured":"John McCarthy. 1959. Programs with common sense. In Proceedings of the Teddington Conference on the Mechanization of Thought Processes."},{"key":"e_1_3_2_1_25_1","unstructured":"John McCarthy. 1979. First order theories of individual concepts and propositions. In Machine Intelligence."},{"key":"e_1_3_2_1_26_1","unstructured":"John McCarthy and Patrick Hayes. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273496.1273575"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037089"},{"key":"e_1_3_2_1_29_1","first-page":"254","article-title":"Stochastic logic program","volume":"7","author":"Muggleton S.","year":"1996","unstructured":"S. Muggleton. 1996. Stochastic logic program. Advances in Inductive Logic Programming 7 (1996), 254\u2013264.","journal-title":"Advances in Inductive Logic Programming"},{"key":"e_1_3_2_1_30_1","volume-title":"Holographic Embeddings of Knowledge Graphs. In The AAAI Conference on Artificial Intelligence. AAAI Press","author":"Nickel Maximilian","year":"2016","unstructured":"Maximilian Nickel, Lorenzo Rosasco, and Tomaso\u00a0A. Poggio. 2016. Holographic Embeddings of Knowledge Graphs. In The AAAI Conference on Artificial Intelligence. AAAI Press, 1955\u20131961."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v24i1.7508"},{"key":"e_1_3_2_1_32_1","first-page":"373","article-title":"Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS","volume":"4","author":"Niu Feng","year":"2011","unstructured":"Feng Niu, Christopher R\u00e9, AnHai Doan, and Jude\u00a0W. Shavlik. 2011. Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS. The International Journal on Very Large Data Bases (VLDB) 4, 6 (2011), 373\u2013384.","journal-title":"The International Journal on Very Large Data Bases (VLDB)"},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference. 458\u2013463","author":"Poon Hoifung","year":"2006","unstructured":"Hoifung Poon and Pedro\u00a0M. Domingos. 2006. Sound and Efficient Inference with Probabilistic and Deterministic Dependencies. In Proceedings of the Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference. 458\u2013463."},{"key":"e_1_3_2_1_34_1","volume-title":"Joint Inference in Information Extraction. In The AAAI Conference on Artificial Intelligence. AAAI Press, 913\u2013918","author":"Poon Hoifung","year":"2007","unstructured":"Hoifung Poon and Pedro\u00a0M. Domingos. 2007. Joint Inference in Information Extraction. In The AAAI Conference on Artificial Intelligence. AAAI Press, 913\u2013918."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.3115\/1699510.1699512"},{"key":"e_1_3_2_1_36_1","volume-title":"The AAAI Conference on Artificial Intelligence.","author":"Poon Hoifung","year":"2008","unstructured":"Hoifung Poon, Pedro\u00a0M. Domingos, and Marc Sumner. 2008. A General Method for Reducing the Complexity of Relational Inference and its Application to MCMC. In The AAAI Conference on Artificial Intelligence."},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the Advances in Neural Information Processing Systems. 7710\u20137720","author":"Qu Meng","year":"2019","unstructured":"Meng Qu and Jian Tang. 2019. Probabilistic Logic Neural Networks for Reasoning. In Proceedings of the Advances in Neural Information Processing Systems. 7710\u20137720."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-006-5833-1"},{"key":"e_1_3_2_1_39_1","volume-title":"Proceedings of the Conference in Uncertainty in Artificial Intelligence. 468\u2013475","author":"Riedel Sebastian","year":"2008","unstructured":"Sebastian Riedel. 2008. Improving the Accuracy and Efficiency of MAP Inference for Markov Logic. In Proceedings of the Conference in Uncertainty in Artificial Intelligence. 468\u2013475."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2949741.2949756"},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence. 1951\u20131956","author":"W.","unstructured":"Jude\u00a0W. Shavlik and Sriraam Natarajan. 2009. Speeding Up Inference in Markov Logic Networks by Preprocessing to Reduce the Size of the Resulting Grounded Network. In Proceedings of the International Joint Conference on Artificial Intelligence. 1951\u20131956."},{"key":"e_1_3_2_1_42_1","first-page":"1310","article-title":"Incremental Knowledge Base Construction Using DeepDive","volume":"8","author":"Shin Jaeho","year":"2015","unstructured":"Jaeho Shin, Sen Wu, Feiran Wang, Christopher\u00a0De Sa, Ce Zhang, and Christopher R\u00e9. 2015. Incremental Knowledge Base Construction Using DeepDive. The International Journal on Very Large Data Bases (VLDB) 8, 11 (2015), 1310\u20131321.","journal-title":"The International Journal on Very Large Data Bases (VLDB)"},{"key":"e_1_3_2_1_43_1","volume-title":"Memory-Efficient Inference in Relational Domains. In The AAAI Conference on Artificial Intelligence. 488\u2013493","author":"Singla Parag","year":"2006","unstructured":"Parag Singla and Pedro\u00a0M. Domingos. 2006. Memory-Efficient Inference in Relational Domains. In The AAAI Conference on Artificial Intelligence. 488\u2013493."},{"key":"e_1_3_2_1_44_1","volume-title":"Lifted First-Order Belief Propagation. In The AAAI Conference on Artificial Intelligence. AAAI Press, 1094\u20131099","author":"Singla Parag","year":"2008","unstructured":"Parag Singla and Pedro\u00a0M. Domingos. 2008. Lifted First-Order Belief Propagation. In The AAAI Conference on Artificial Intelligence. AAAI Press, 1094\u20131099."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242667"},{"key":"e_1_3_2_1_46_1","volume-title":"International Conference on Learning Representations, ICLR.","author":"Sun Zhiqing","year":"2019","unstructured":"Zhiqing Sun, Zhi-Hong Deng, Jian-Yun Nie, and Jian Tang. 2019. RotatE: Knowledge Graph Embedding by Relational Rotation in Complex Space. In International Conference on Learning Representations, ICLR."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Zhengya Sun Yangyang Zhao Zhuoyu Wei Wensheng Zhang and Jue Wang. 2017. Scalable learning and inference in Markov logic networks. In International Journal of Approximate Reasoning Vol.\u00a082. 39\u201355.","DOI":"10.1016\/j.ijar.2016.12.003"},{"key":"e_1_3_2_1_48_1","volume-title":"The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab","author":"Thomason Richmond","unstructured":"Richmond Thomason. 2020. Logic and Artificial Intelligence. In The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/314"},{"key":"e_1_3_2_1_50_1","volume-title":"Proceedings of the International Conference on Machine Learning (ICML). 2071\u20132080","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 (ICML). 2071\u20132080."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900006147"},{"key":"e_1_3_2_1_52_1","volume-title":"Proceedings of the 13th International Workshop on Logic Programming Environments, Fred Mesnard and Alexander Serebenik (Eds.). Katholieke Universiteit Leuven, 1\u201316","author":"Wielemaker Jan","year":"2003","unstructured":"Jan Wielemaker. 2003. An overview of the SWI-Prolog Programming Environment. In Proceedings of the 13th International Workshop on Logic Programming Environments, Fred Mesnard and Alexander Serebenik (Eds.). Katholieke Universiteit Leuven, 1\u201316."},{"key":"e_1_3_2_1_53_1","volume-title":"Logic programming for knowledge-intensive interactive applications. Ph.\u00a0D. Dissertation","author":"Wielemaker Jan","unstructured":"Jan Wielemaker. 2009. Logic programming for knowledge-intensive interactive applications. Ph.\u00a0D. Dissertation. University of Amsterdam. http:\/\/dare.uva.nl\/en\/record\/300739."},{"key":"e_1_3_2_1_54_1","unstructured":"Fan Yang Zhilin Yang and William\u00a0W. Cohen. 2017. Differentiable Learning of Logical Rules for Knowledge Base Reasoning. In Advances in Neural Information Processing Systems (NeurIPS). 2319\u20132328."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.3115\/1687878.1687936"},{"key":"e_1_3_2_1_56_1","volume-title":"Efficient Probabilistic Logic Reasoning with Graph Neural Networks. In International Conference on Learning Representations, ICLR.","author":"Zhang Yuyu","year":"2020","unstructured":"Yuyu Zhang, Xinshi Chen, Yuan Yang, Arun Ramamurthy, Bo Li, Yuan Qi, and Le Song. 2020. Efficient Probabilistic Logic Reasoning with Graph Neural Networks. In International Conference on Learning Representations, ICLR."}],"event":{"name":"WWW '23: The ACM Web Conference 2023","location":"Austin TX USA","acronym":"WWW '23","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"]},"container-title":["Proceedings of the ACM Web Conference 2023"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3543507.3583248","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3543507.3583248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:19Z","timestamp":1750183759000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3543507.3583248"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,30]]},"references-count":55,"alternative-id":["10.1145\/3543507.3583248","10.1145\/3543507"],"URL":"https:\/\/doi.org\/10.1145\/3543507.3583248","relation":{},"subject":[],"published":{"date-parts":[[2023,4,30]]},"assertion":[{"value":"2023-04-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}