DELE: Deductive EL++ Embeddings for Knowledge Base Completion

Ontology embeddings map classes, roles, and individuals in ontologies into R n , and within R n similarity between entities can be computed or new axioms inferred. For ontologies in the Description Logic E L + + , several optimization-based embedding methods have been