{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T02:00:49Z","timestamp":1785376849889,"version":"3.55.0"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,11]]},"abstract":"<jats:p>Research on knowledge graph embeddings has recently evolved into knowledge base embeddings, where the goal is not only to map facts into vector spaces but also constrain the models so that they take into account  the relevant conceptual knowledge available. This paper examines recent methods that have been proposed to embed  knowledge bases in description logic into vector spaces through the lens of their geometric-based semantics. We identify several relevant theoretical properties, which we draw from the literature and sometimes generalize or unify. We then investigate how concrete embedding methods fit in this theoretical framework.<\/jats:p>","DOI":"10.24963\/kr.2024\/77","type":"proceedings-article","created":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T06:30:28Z","timestamp":1729924228000},"page":"823-833","source":"Crossref","is-referenced-by-count":3,"title":["Knowledge Base Embeddings: Semantics and Theoretical Properties"],"prefix":"10.24963","author":[{"given":"Camille","family":"Bourgaux","sequence":"first","affiliation":[{"name":"DI ENS, ENS, CNRS, PSL University & Inria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ricardo","family":"Guimar\u00e3es","sequence":"additional","affiliation":[{"name":"University of Bergen"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raoul","family":"Koudijs","sequence":"additional","affiliation":[{"name":"University of Bergen"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Victor","family":"Lacerda","sequence":"additional","affiliation":[{"name":"University of Bergen"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ana","family":"Ozaki","sequence":"additional","affiliation":[{"name":"University of Bergen"},{"name":"University of Oslo"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"10584","event":{"name":"21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}","theme":"Artificial Intelligence","location":"Hanoi, Vietnam","acronym":"KR-2024","number":"21","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"start":{"date-parts":[[2024,11,1]]},"end":{"date-parts":[[2024,11,8]]}},"container-title":["Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T06:30:45Z","timestamp":1729924245000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2024\/77"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2024,11]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2024\/77","relation":{},"subject":[],"published":{"date-parts":[[2024,11]]}}}