{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,23]],"date-time":"2026-10-23T08:22:11Z","timestamp":1792743731352,"version":"4.5.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/V050869\/1,EP\/S032347\/1,EP\/S019111\/1"],"award-info":[{"award-number":["EP\/V050869\/1,EP\/S032347\/1,EP\/S019111\/1"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,5,13]]},"DOI":"10.1145\/3589334.3645648","type":"proceedings-article","created":{"date-parts":[[2024,5,8]],"date-time":"2024-05-08T07:08:13Z","timestamp":1715152093000},"page":"2250-2258","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Dual Box Embeddings for the Description Logic EL\n            <sup>++<\/sup>"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9071-6146","authenticated-orcid":false,"given":"Mathias","family":"Jackermeier","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4643-6750","authenticated-orcid":false,"given":"Jiaoyan","family":"Chen","sequence":"additional","affiliation":[{"name":"The University of Manchester, Manchester, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2685-7462","authenticated-orcid":false,"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,5,13]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"9649","article-title":"BoxE : A Box Embedding Model for Knowledge Base Completion","volume":"33","author":"Abboud Ralph","year":"2020","unstructured":"Ralph Abboud, .Ismail. Ilkan Ceylan, Thomas Lukasiewicz, and Tommaso Salvatori. 2020. BoxE : A Box Embedding Model for Knowledge Base Completion. In Advances in Neural Information Processing Systems, Vol. 33. 9649--9661.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"crossref","unstructured":"Michael Ashburner Catherine A Ball Judith A Blake David Botstein Heather Butler J Michael Cherry Allan P Davis Kara Dolinski Selina S Dwight Janan T Eppig et al. 2000. Gene ontology: tool for the unification of biology. Nature genetics Vol. 25 1 (2000) 25--29.","DOI":"10.1038\/75556"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.25368\/2022.144"},{"key":"e_1_3_2_2_4_1","volume-title":"eport LTCS-05-01","author":"Baader Franz","unstructured":"Franz Baader, Sebastian Brandt, and Carsten Lutz. 2005 b. Pushing the EL Envelope. LTCS-Report LTCS-05-01. Institute for Theoretical Computer Science, TU Dresden. http:\/\/lat.inf.tu-dresden.de\/research\/reports.html"},{"key":"e_1_3_2_2_5_1","volume-title":"Mechanizing mathematical reasoning","author":"Baader Franz","unstructured":"Franz Baader, Ian Horrocks, and Ulrike Sattler. 2005 c. Description logics as ontology languages for the semantic web. In Mechanizing mathematical reasoning. Springer, 228--248."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.2307\/1968621"},{"key":"e_1_3_2_2_7_1","volume-title":"Advances in Neural Information Processing Systems","volume":"26","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 Advances in Neural Information Processing Systems, Vol. 26."},{"key":"e_1_3_2_2_8_1","volume-title":"Contextual semantic embeddings for ontology subsumption prediction. World Wide Web","author":"Chen Jiaoyan","year":"2023","unstructured":"Jiaoyan Chen, Yuan He, Yuxia Geng, Ernesto Jim\u00e9nez-Ruiz, Hang Dong, and Ian Horrocks. 2023. Contextual semantic embeddings for ontology subsumption prediction. World Wide Web (2023), 1--23."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-021-05997-6"},{"key":"e_1_3_2_2_10_1","volume-title":"Hsiao","author":"Dooley Damion M.","year":"2018","unstructured":"Damion M. Dooley, Emma J. Griffiths, Gurinder S. Gosal, Pier L. Buttigieg, Robert Hoehndorf, Matthew C. Lange, Lynn M. Schriml, Fiona S. L. Brinkman, and William W. L. Hsiao. 2018. FoodOn : A Harmonized Food Ontology to Increase Global Food Traceability, Quality Control and Data Integration. npj Science of Food, Vol. 2, 1 (Dec. 2018), 23."},{"key":"e_1_3_2_2_11_1","volume-title":"Advances in Neural Information Processing Systems","volume":"32","author":"Garg Dinesh","year":"2019","unstructured":"Dinesh Garg, Shajith Ikbal, Santosh K Srivastava, Harit Vishwakarma, Hima Karanam, and L Venkata Subramaniam. 2019. Quantum embedding of knowledge for reasoning. Advances in Neural Information Processing Systems , Vol. 32 (2019)."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-014-9305-1"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2008.05.001"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D16-1019"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3292500.3330838"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S026988891300012X"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btr058"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447772"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-013-9296-3"},{"key":"e_1_3_2_2_20_1","volume-title":"Adam: A Method for Stochastic Optimization. In 3rd International Conference on Learning Representations.","author":"Diederik","unstructured":"Diederik P. Kingma and Jimmy Ba. 2015. Adam: A Method for Stochastic Optimization. In 3rd International Conference on Learning Representations."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33158-9_4"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/845"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v29i1.9491"},{"key":"e_1_3_2_2_24_1","volume-title":"Proceedings of the 1st International Workshop on OWL Reasoner Evaluation","volume":"858","author":"Mendez Julian","year":"2012","unstructured":"Julian Mendez. 2012. Jcel: A Modular Rule-Based Reasoner. In Proceedings of the 1st International Workshop on OWL Reasoner Evaluation, Vol. 858."},{"key":"e_1_3_2_2_25_1","volume-title":"Proceedings of the AAAI 2021 Spring Symposium on Combining Machine Learning and Knowledge Engineering (CEUR Workshop Proceedings","author":"Mondal Sutapa","year":"2021","unstructured":"Sutapa Mondal, Sumit Bhatia, and Raghava Mutharaju. 2021. EmEL : Embeddings for el Description Logic. In Proceedings of the AAAI 2021 Spring Symposium on Combining Machine Learning and Knowledge Engineering (CEUR Workshop Proceedings, Vol. 2846)."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1186\/gb-2012-13-1-r5"},{"key":"e_1_3_2_2_27_1","volume-title":"Jens Lehmann, and Hamed Shariat Yazdi.","author":"Nayyeri Mojtaba","year":"2021","unstructured":"Mojtaba Nayyeri, Chengjin Xu, Mirza Mohtashim Alam, Jens Lehmann, and Hamed Shariat Yazdi. 2021. LogicENN : A Neural Based Knowledge Graphs Embedding Model with Logical Rules. IEEE Transactions on Pattern Analysis and Machine Intelligence (2021)."},{"key":"e_1_3_2_2_28_1","volume-title":"Hamed Shariat Yazdi, and Jens Lehmann","author":"Nayyeri Mojtaba","year":"2020","unstructured":"Mojtaba Nayyeri, Chengjin Xu, Sahar Vahdati, Nadezhda Vassilyeva, Emanuel Sallinger, Hamed Shariat Yazdi, and Jens Lehmann. 2020. Fantastic Knowledge Graph Embeddings and How to Find the Right Space for Them. In The Semantic Web. 438--455."},{"key":"e_1_3_2_2_29_1","volume-title":"Cone Semantics for Logics with Negation. In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","volume":"2","author":"\u00d6zg\u00fcr","year":"1820","unstructured":"\u00d6zg\u00fcr L\u00fctf\u00fc \u00d6zc cep, Mena Leemhuis, and Diedrich Wolter. 2020. Cone Semantics for Logics with Negation. In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, Vol. 2. 1820--1826."},{"key":"e_1_3_2_2_30_1","first-page":"8024","article-title":"PyTorch : An Imperative Style, High-Performance Deep Learning Library","volume":"32","author":"Paszke Adam","year":"2019","unstructured":"Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, Alban Desmaison, Andreas Kopf, Edward Yang, Zachary DeVito, Martin Raison, Alykhan Tejani, Sasank Chilamkurthy, Benoit Steiner, Lu Fang, Junjie Bai, and Soumith Chintala. 2019. PyTorch : An Imperative Style, High-Performance Deep Learning Library. In Advances in Neural Information Processing Systems, Vol. 32. 8024--8035.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_2_31_1","unstructured":"Xi Peng Zhenwei Tang Maxat Kulmanov Kexin Niu and Robert Hoehndorf. 2022. Description Logic EL Embeddings with Intersectional Closure. arxiv: 2202.14018"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-60750-878-6-174"},{"key":"e_1_3_2_2_33_1","volume-title":"Proceedings of the 2015 Conference of the North American Chapter of the Association for Computational Linguistics : Human Language Technologies. 1119--1129","author":"Tim","year":"2015","unstructured":"Tim Rockt\"aschel, Sameer Singh, and Sebastian Riedel. 2015. Injecting Logical Background Knowledge into Embeddings for Relation Extraction. In Proceedings of the 2015 Conference of the North American Chapter of the Association for Computational Linguistics : Human Language Technologies. 1119--1129."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijmedinf.2008.06.004"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bty933"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"crossref","unstructured":"Barry Smith Michael Ashburner Cornelius Rosse Jonathan Bard William Bug Werner Ceusters Louis J Goldberg Karen Eilbeck Amelia Ireland Christopher J Mungall et al. 2007. The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration. Nature biotechnology Vol. 25 11 (2007) 1251--1255.","DOI":"10.1038\/nbt1346"},{"key":"e_1_3_2_2_37_1","volume-title":"Handbook on ontologies","author":"Staab Steffen","unstructured":"Steffen Staab and Rudi Studer. 2010. Handbook on ontologies. Springer Science & Business Media."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/gkaa1074"},{"key":"e_1_3_2_2_39_1","volume-title":"Proceedings of The 33rd International Conference on Machine Learning. PMLR","author":"Trouillon Th\u00e9o","year":"2016","unstructured":"Th\u00e9o Trouillon, Johannes Welbl, Sebastian Riedel, Eric Gaussier, and Guillaume Bouchard. 2016. Complex Embeddings for Simple Link Prediction. In Proceedings of The 33rd International Conference on Machine Learning. PMLR, 2071--2080."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2017.2754499"},{"key":"e_1_3_2_2_41_1","volume-title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence.","author":"Wang Quan","year":"2015","unstructured":"Quan Wang, Bin Wang, and Li Guo. 2015. Knowledge Base Completion Using Embeddings and Rules. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v28i1.8870"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.findings-acl.96"},{"key":"e_1_3_2_2_44_1","volume-title":"Proceedings of the 21st International Semantic Web Conference","volume":"13489","author":"Xiong Bo","year":"2022","unstructured":"Bo Xiong, Nico Potyka, Trung-Kien Tran, Mojtaba Nayyeri, and Steffen Staab. 2022. Faithful Embeddings for el Knowledge Bases. In Proceedings of the 21st International Semantic Web Conference, Vol. 13489. 22--38."},{"key":"e_1_3_2_2_45_1","volume-title":"Proceedings of the International Conference on Learning Representations.","author":"Yang Bishan","year":"2015","unstructured":"Bishan Yang, Scott Wen-tau Yih, Xiaodong He, Jianfeng Gao, and Li Deng. 2015. Embedding Entities and Relations for Learning and Inference in Knowledge Bases. In Proceedings of the International Conference on Learning Representations."},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/GEOINFORMATICS.2010.5567605"}],"event":{"name":"WWW '24: The ACM Web Conference 2024","location":"Singapore Singapore","acronym":"WWW '24","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"]},"container-title":["Proceedings of the ACM Web Conference 2024"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3589334.3645648","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3589334.3645648","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T00:24:24Z","timestamp":1755822264000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3589334.3645648"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,13]]},"references-count":46,"alternative-id":["10.1145\/3589334.3645648","10.1145\/3589334"],"URL":"https:\/\/doi.org\/10.1145\/3589334.3645648","relation":{},"subject":[],"published":{"date-parts":[[2024,5,13]]},"assertion":[{"value":"2024-05-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}