CatE: Embedding $\mathcal{ALC}$ ontologies using category-theoretical semantics

Open in new window