EL Embeddings: Geometric construction of models for the description logic EL++

Maxat Kulmanov, Wang Liu-Wei, Yuan Yan, Robert Hoehndorf

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

An embedding is a function that maps entities from one algebraic structure into another while preserving certain characteristics. Embeddings are being used successfully for mapping relational data or text into vector spaces where they can be used for machine learning, similarity search, or similar tasks. We address the problem of finding vector space embeddings for theories in the Description Logic $\mathcal{EL}^{++}$ that are also models of the TBox. To find such embeddings, we define an optimization problem that characterizes the model-theoretic semantics of the operators in $\mathcal{EL}^{++}$ within $\Re^n$, thereby solving the problem of finding an interpretation function for an $\mathcal{EL}^{++}$ theory given a particular domain $\Delta$. Our approach is mainly relevant to large $\mathcal{EL}^{++}$ theories and knowledge bases such as the ontologies and knowledge graphs used in the life sciences. We demonstrate that our method can be used for improved prediction of protein--protein interactions when compared to semantic similarity measures or knowledge graph embeddings.
Original languageEnglish (US)
Title of host publicationProceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
PublisherInternational Joint Conferences on Artificial Intelligence Organization
Pages6103-6109
Number of pages7
ISBN (Print)9780999241141
DOIs
StatePublished - Jul 28 2019

Fingerprint Dive into the research topics of 'EL Embeddings: Geometric construction of models for the description logic EL++'. Together they form a unique fingerprint.

Cite this