catE

Category-theoretic, lattice-preserving embedding of ALC description-logic ontologies that retains the consequence-closure semantics of the original theory.

Get it

Developed in projects

Category: Ontology Embedding & Machine Learning