no code implementations • 28 Feb 2022 • Xi Peng, Zhenwei Tang, Maxat Kulmanov, Kexin Niu, Robert Hoehndorf
Since the intersection of boxes remains as a box, the intersectional closure is satisfied.
1 code implementation • 27 Feb 2019 • Maxat Kulmanov, Wang Liu-Wei, Yuan Yan, Robert Hoehndorf
We address the problem of finding vector space embeddings for theories in the Description Logic $\mathcal{EL}^{++}$ that are also models of the TBox.
1 code implementation • 15 May 2017 • Maxat Kulmanov, Mohammed Asif Khan, Robert Hoehndorf
The functions of proteins are classified using the Gene Ontology (GO), which contains over 40, 000 classes.