if (axiom instanceof OWLDeclarationAxiom) {
OWLDeclarationAxiom a = (OWLDeclarationAxiom)axiom;
OWLEntity ent = a.getEntity();
if (ent.isOWLClass()) {
res.add(new ConceptInclusion(
new NamedConcept(ent.asOWLClass().toStringID()), NamedConcept.TOP_CONCEPT));
} else if (ent.isOWLObjectProperty()) {
// Do nothing for now.
} else if (ent.isOWLDataProperty()) {
// Do nothing for now.
}