Papers โบ Lattice-preserving ๐โ๐ ontology embeddings with saturation
Lattice-preserving ๐โ๐ ontology embeddings with saturation
Fernando Zhapa-Camacho, Robert Hoehndorf
Generating vector representations (embeddings) of OWL ontologies is a growing task due to its applications in predicting missing facts and knowledge-enhanced learning in fields such as bioinformatics. The underlying semantics of OWL ontologies are expressed using Description Logics (DLs). Initial approaches to generate embeddings relied on constructing a graph out of ontologies, neglecting the semantics of the logic therein. Recent semantic-preserving embedding methods often target lightweight DL languages like โฐโโบโบ, ignoring more expressive information in ontologies. Although some approaches aim to embed more descriptive DLs like ๐โ๐, those methods require the existence of individuals, while many real-world ontologies are devoid of them. We propose an ontology embedding method for the ๐โ๐ DL language that considers the lattice structure of concept descriptions. We use connections between DL and Category Theory to materialize the lattice structure and embed it using an order-preserving embedding method. We show that our method outperforms state-of-the-art methods in several knowledge base completion tasks. Furthermore, we incoporate saturation procedures that increase the information within the constructed lattices. We make our code and data available at \url{https://github.com/bio-ontology-research-group/catE}.
Code
Repository list and official/mentioned flags are the archive's, frozen 2025-07-28. Reachability, where shown, is from one Syntology probe window (2026-09-16 to 2026-09-18); repositories not probed show nothing. GitHub stars are not tracked.
Code Syntology ran Syntology
Not run by Syntology. Nothing on this page verifies that the listed code works.
Tasks
Results from the paper archive 2025-07-28
No leaderboard rows for this paper in the archive.
Methods
Report a problem or propose a change ยท a person checks every report against the paper or source before anything changes; decisions are listed on /corrections