基于饱和的保格 $\mathcal{ALC}$ 本体嵌入

生成 OWL 本体的向量表示（嵌入）是一项日益增长的任务，因其在生物信息学等领域的缺失事实预测与知识增强学习中具有应用。OWL 本体的底层语义通过描述逻辑（DLs）表达。早期的嵌入方法依赖于从本体构建图，忽略了其中逻辑的语义。近期的保语义嵌入方法常针对 $\mathcal{EL}^{++}$ 等轻量 DL 语言，忽略了本体中更具表达力的信息。尽管一些方法旨在嵌入 $\mathcal{ALC}$ 等更具描述性的 DL，这些方法要求个体存在，而许多真实本体缺乏个体。我们提出了一种面向 $\mathcal{ALC}$ DL 语言的本体嵌入方法，该方法考虑概念描述的格结构。我们利用 DL 与范畴论之间的联系来具体化格结构，并使用保序嵌入方法对其进行嵌入。我们表明，我们的方法在多个知识库补全任务中优于最先进的方法。此外，我们引入饱和过程以增加所构建格中的信息。我们的代码与数据发布于 \url{https://github.com/bio-ontology-research-group/catE}。