} else if (a instanceof OWLSubClassOfAxiom) {
OWLSubClassOfAxiom sc = (OWLSubClassOfAxiom) a;
return formatClassExpression(sc.getSubClass(), ont) + " \u2286 "
+ formatClassExpression(sc.getSuperClass(), ont);
} else if (a instanceof OWLEquivalentClassesAxiom) {
OWLEquivalentClassesAxiom ec = (OWLEquivalentClassesAxiom) a;
List<OWLClassExpression> ces = ec.getClassExpressionsAsList();
StringBuilder sb = new StringBuilder();
sb.append(formatClassExpression(ces.get(0), ont));
for (int i = 1; i < ces.size(); i++) {
sb.append(" = ");
sb.append(formatClassExpression(ces.get(i), ont));