for (int i = 0; i < n; i++) {
kb.addSubClass(cls[i], C);
kb.addType(ind[i], C);
float upper = lower + increment;
ATermAppl dt = term("D" + i);
ATermAppl def = restrict(Datatypes.FLOAT, minInclusive(literal(lower)), maxExclusive(literal(upper)));
kb.addDatatypeDefinition(dt, def);
kb.addEquivalentClass(cls[i], some(p, dt));
kb.addPropertyValue(p, ind[i], literal(lower));
lower = upper;