public void renamePrefixes( String base, Map<String, String> declared, Map<String, String> internal) { if (graphPattern != null) graphPattern.renamePrefixes(base, declared, internal); if (solutionModifier != null) solutionModifier.renamePrefixes(base, declared, internal); }