(1) starting to use ubuntu 12.10 in this version
(2) using the ubuntu 12.10 virtuoso package for installing it. Faster and better. Now using the latest version 6.1.6 which was required.
(3) fixing php5 installation steps to comply with ubuntu 12.10