public boolean commitPrefixes() { if (changed) { if (LOGGER.isDebugEnabled()) { LOGGER.debug("committing prefix changes and clearing changed flag"); } prefixManager.clearPrefixes(); for (Map.Entry<String, String> prefixName2PrefixEntry : prefixValueMap.entrySet()) { String prefixName = prefixName2PrefixEntry.getKey(); String prefix = prefixName2PrefixEntry.getValue(); if (prefix != null && prefix.length() != 0) { // tailing : automatically added in here prefixManager.setPrefix(prefixName, prefix); } } changed = false; return true; } return false; }
public boolean commitPrefixes() { if (changed) { if (LOGGER.isDebugEnabled()) { LOGGER.debug("committing prefix changes and clearing changed flag"); } prefixManager.clearPrefixes(); for (Map.Entry<String, String> prefixName2PrefixEntry : prefixValueMap.entrySet()) { String prefixName = prefixName2PrefixEntry.getKey(); String prefix = prefixName2PrefixEntry.getValue(); if (prefix != null && prefix.length() != 0) { // tailing : automatically added in here prefixManager.setPrefix(prefixName, prefix); } } changed = false; return true; } return false; }
protected void storeOntology(OWLOntologyManager manager, OWLOntology ontology, Writer writer, OWLOntologyFormat format) throws OWLOntologyStorageException { try { OWLObjectRenderer ren = new OWLObjectRenderer(manager, ontology, writer); if(format instanceof PrefixOWLOntologyFormat) { PrefixOWLOntologyFormat prefixFormat = (PrefixOWLOntologyFormat) format; DefaultPrefixManager man = new DefaultPrefixManager(); Map<String, String> map = prefixFormat.getPrefixName2PrefixMap(); for(String pn : map.keySet()) { prefixFormat.setPrefix(pn, map.get(pn)); } ren.setPrefixManager(man); } ontology.accept(ren); writer.flush(); } catch (IOException e) { throw new OWLOntologyStorageException(e); } } }
PrefixOWLOntologyFormat oldPrefixes = (PrefixOWLOntologyFormat) oldFormat; for (String name : oldPrefixes.getPrefixNames()) { ((PrefixOWLOntologyFormat) format).setPrefix(name, oldPrefixes.getPrefix(name));
PrefixOWLOntologyFormat oldPrefixes = (PrefixOWLOntologyFormat) oldFormat; for (String name : oldPrefixes.getPrefixNames()) { ((PrefixOWLOntologyFormat) format).setPrefix(name, oldPrefixes.getPrefix(name));