/** tries to determine the file name from getSourceURI */
public static void saveModel(Model m, RDFSerializer s)
throws FileNotFoundException, IOException, ModelException, SerializationException {
// URI to filename
URL url = null;
try {
url = new URL(m.getSourceURI());
} catch (Exception any) {
throw new ModelException("RDFUtil: cannot determine model file name: " + m.getSourceURI());
}
if ("file".equals(url.getProtocol()))
saveModel(m, url.getFile().replace('/', File.separatorChar), s);
else
throw new ModelException("RDFUtil: cannot save to non-file model URI: " + m.getSourceURI());
}
