public static OWLDatatype Double() { return DF.getDoubleOWLDatatype(); }
public static OWLDatatype Double() { return DF.getDoubleOWLDatatype(); }
public static OWLDatatype Double() { return DF.getDoubleOWLDatatype(); }
public static OWLDatatype Double() { return DF.getDoubleOWLDatatype(); }
case 44: jj_consume_token(44); range = df.getDoubleOWLDatatype(); break; case 45: