[JENA-1560] Prefix utilities to prune prefixes to those needed by the data.

• Type: New Feature
• Status: Closed
• Priority: Minor
• Resolution: Done
• Affects Version/s: Jena 3.7.0
• Fix Version/s: Jena 3.8.0
• Component/s: Core
• Assignee: Andy Seaborne
• Reporter: Andy Seaborne
• Created: 09/Jun/18 14:20
• Updated: 29/Jun/18 10:13
• Resolved: 12/Jun/18 12:01

Description

Sometimes, prefixes are no longer needed by the data. They still clutter-up output.

In long lived (persistent), the effect can build up to the point where several 10s of prefixes are present but not used.

Some utilities to prune the unused prefixes would be useful.

Issue Links

• links to: GitHub Pull Request #432