Category-theoretic representation of ALC theories - View it on GitHub