Thanks Mike. You have indeed identified a bug in the reverse mapping.
The WG has decided to address this mapping by adding an extra condition to the reverse mapping that prohibits the multiple use of graph nodes. This outlaws malformed lists, including lists with internal loops and lists that cross. This is a change to the technical specification of OWL 2.
The changes to the OWL 2 documents are: