no code implementations • 22 Nov 2022 • Xuan Wu, Xinhao Zhu, Yizheng Zhao, Xinyu Dai
DF-$\mathcal{ALC}$ unifies the description logic $\mathcal{ALC}$ and neural models for symbol grounding; in particular, it infuses an $\mathcal{ALC}$ knowledge base into neural models through differentiable concept and role embeddings.