push(new Datatype(f, Operator.EQUALS, lit));
} else {
problems.add("Axiom " + e + " will be ignored because of the unsupported literal.");
}
} else if(range instanceof OWLDatatypeRestriction) {
NamedFeature f = new NamedFeature(dp.toStringID());
OWLDatatypeRestriction dtr = (OWLDatatypeRestriction)range;
Set<OWLFacetRestriction> frs = dtr.getFacetRestrictions();
List<Datatype> conjuncts = new ArrayList<Datatype>();