EL Embeddings: Geometric construction of models for the description logic EL++
Type
Conference PaperKAUST Department
Bio-Ontology Research Group (BORG)Computational Bioscience Research Center (CBRC)
Computer Science Program
Computer, Electrical and Mathematical Sciences and Engineering (CEMSE) Division
Date
2019-07-28Preprint Posting Date
2019-02-27Permanent link to this record
http://hdl.handle.net/10754/659960
Metadata
Show full item recordAbstract
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.Citation
Kulmanov, M., Liu-Wei, W., Yan, Y., & Hoehndorf, R. (2019). EL Embeddings: Geometric Construction of Models for the Description Logic EL++. Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. doi:10.24963/ijcai.2019/845Conference/Event name
28th International Joint Conference on Artificial Intelligence, IJCAI 2019arXiv
1902.10499Additional Links
https://www.ijcai.org/proceedings/2019/845Relations
Is Supplemented By:- [Software]
Title: bio-ontology-research-group/el-embeddings: Embeddings for ontologies in the Description Logic EL++. Publication Date: 2019-01-04. github: bio-ontology-research-group/el-embeddings Handle: 10754/667574
ae974a485f413a2113503eed53cd6c53
10.24963/ijcai.2019/845