[
https://issues.apache.org/jira/browse/JENA-1560?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16507026#comment-16507026
]
ASF GitHub Bot commented on JENA-1560:
--------------------------------------
GitHub user afs opened a pull request:
https://github.com/apache/jena/pull/432
JENA-1560: PrefixMappingUtils
Some utility code that can be useful.
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/afs/jena prefix-utils
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/jena/pull/432.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #432
----
commit cf3c2592e096279dfb3a16eb6205244f7bde076c
Author: Andy Seaborne <andy@...>
Date: 2018-06-09T14:38:15Z
JENA-1560: PrefixMappingUtils
----
> Prefix utilities to prune prefixes to those needed by the data.
> ---------------------------------------------------------------
>
> Key: JENA-1560
> URL: https://issues.apache.org/jira/browse/JENA-1560
> Project: Apache Jena
> Issue Type: New Feature
> Components: Core
> Affects Versions: Jena 3.7.0
> Reporter: Andy Seaborne
> Assignee: Andy Seaborne
> Priority: Minor
>
> 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.
--
This message was sent by Atlassian JIRA
(v7.6.3#76005)
