This is possibly just documentation bug but in
Virtuoso has limited support for the OWL same-as predicate.
In the following, the abbreviation owl:same-as is used for the IRI http://www.w3.org/2002/07/owl#same-as .
but it is owl:sameAs, so this is wrong. If it is just a documentation problem, it is not a big deal, but the code should be checked too.