@prefix vsso: <http://automotive.eurecom.fr/vsso#>.