default String fromURI(final URI uri){
  final String s=uri.stringValue();
  return s.substring(s.lastIndexOf(':') + 1);
}

default String fromURI ( final URI uri ) { final String s = uri . stringValue ( ) ; return s . substring ( s . lastIndexOf ( ':' ) + 1 ) ; }
convert an rdf uri ( element id / label or property key ) back into a string .
