code: private OWLPropertyAssertionObject translate(Constant c) {
          if (c instanceof ObjectConstant)
              return translator.translate((ObjectConstant) c);
          else
              return translator.translate((ValueConstant) c);
      }
docs: TODO(xiao): duplicated code