update rdf-virtuoso