...
Currenty (VB2.2.1 at the time of writing) it is possible to "lift them" to with some external, very easy to use, command line tools available here: http://art.uniroma2.it/owlart/documentation/utilities.jsf which are based on the same OWLART library we developed and adopted in VB.
In particular, in http://art.uniroma2.it/owlart/documentation/utilities.jsf#skos_utilities two utilities for transforming skos core labels and flat skos:definitions into their reified counterparts are available.
In the future we will embed these utilities inside VocBench
4. I'm fine (or I like 
) with the skosxl labels and reified skos:definitions, but I still would like to export my vocabulary with plain literals, is that possibile?
) with the skosxl labels and reified skos:definitions, but I still would like to export my vocabulary with plain literals, is that possibile?see answer above; the inverse process (flattening to no-reified counterparts) is also available for labels, we will add the one for skos:definitions soon
Configuration Issues
1. If the email configuration for a new user does not work, how to set it up through the DB?
...