/** * Create an HDT file from an RDF file. * @param iterator A provider of triples. Must implement hasNext(), next() and estimatedNumResults. * @param baseURI Base URI for the dataset. * @param hdtFormat Parameters to tune the generated HDT. * @param listener Listener to get notified of loading progress. Can be null if no notifications needed. * @return * @throws IOException */ public static HDT generateHDT(Iterator<TripleString> iterator, String baseURI, HDTOptions hdtFormat, ProgressListener listener) throws IOException, ParserException { return HDTManager.getInstance().doGenerateHDT(iterator, baseURI, hdtFormat, listener); }
/** * Create an HDT file from an RDF file. * @param rdfFileName File name. * @param baseURI Base URI for the dataset. * @param rdfNotation Format of the source RDF File (NTriples, N3, RDF-XML...) * @param hdtFormat Parameters to tune the generated HDT. * @param listener Listener to get notified of loading progress. Can be null if no notifications needed. * @return * @throws IOException * @throws ParserException */ public static HDT generateHDT(String rdfFileName, String baseURI, RDFNotation rdfNotation, HDTOptions hdtFormat, ProgressListener listener) throws IOException, ParserException { return HDTManager.getInstance().doGenerateHDT(rdfFileName, baseURI, rdfNotation, hdtFormat, listener); }