具有交闭包的描述逻辑EL++嵌入
人工智能
2022-03-01 v1
摘要
许多本体，尤其是生物医学领域的本体，基于描述逻辑 EL++。已有若干工作通过分布式表示学习来解释和利用 EL++ 本体。具体而言，EL++ 理论中的概念已被表示为 n 维嵌入空间中的 n-球。然而，以 n-球表示概念时交闭包不被满足，因为两个 n-球的交并非 n-球。这导致在度量概念间距离与推断概念等价性时面临挑战。为此，我们开发了 EL Box Embedding（ELBE），利用轴平行盒学习描述逻辑 EL++ 嵌入。我们从 EL++ 公理生成专门设计的基于盒的几何约束用于模型训练。由于盒的交仍为盒，交闭包得以满足。我们报告了在三个数据集上的广泛实验结果，并给出案例研究以证明所提方法的有效性。
引用
@article{arxiv.2202.14018,
title = {Description Logic EL++ Embeddings with Intersectional Closure},
author = {Xi Peng and Zhenwei Tang and Maxat Kulmanov and Kexin Niu and Robert Hoehndorf},
journal= {arXiv preprint arXiv:2202.14018},
year = {2022}
}