Package | Description |
---|---|
org.rdfhdt.hdt.hdt | |
org.rdfhdt.hdt.options |
Modifier and Type | Method and Description |
---|---|
protected abstract HDTOptions |
HDTManager.doReadOptions(String file) |
static HDTOptions |
HDTManager.readOptions(String file) |
Modifier and Type | Method and Description |
---|---|
static HDT |
HDTManager.catHDT(String location,
String hdtFileName1,
String hdtFileName2,
HDTOptions hdtFormat,
ProgressListener listener)
Create an HDT file from two HDT files by joining the triples.
|
protected abstract HDT |
HDTManager.doGenerateHDT(Iterator<TripleString> iterator,
String baseURI,
HDTOptions hdtFormat,
ProgressListener listener) |
protected abstract HDT |
HDTManager.doGenerateHDT(String rdfFileName,
String baseURI,
RDFNotation rdfNotation,
HDTOptions hdtFormat,
ProgressListener listener) |
protected abstract TripleWriter |
HDTManager.doGetHDTWriter(OutputStream out,
String baseURI,
HDTOptions hdtFormat) |
protected abstract TripleWriter |
HDTManager.doGetHDTWriter(String outFile,
String baseURI,
HDTOptions hdtFormat) |
protected abstract HDT |
HDTManager.doHDTCat(String location,
String hdtFileName1,
String hdtFileName2,
HDTOptions hdtFormat,
ProgressListener listener) |
static HDT |
HDTManager.generateHDT(Iterator<TripleString> iterator,
String baseURI,
HDTOptions hdtFormat,
ProgressListener listener)
Create an HDT file from an RDF file.
|
static HDT |
HDTManager.generateHDT(String rdfFileName,
String baseURI,
RDFNotation rdfNotation,
HDTOptions hdtFormat,
ProgressListener listener)
Create an HDT file from an RDF file.
|
static TripleWriter |
HDTManager.getHDTWriter(OutputStream out,
String baseURI,
HDTOptions hdtFormat) |
static TripleWriter |
HDTManager.getHDTWriter(String outFile,
String baseURI,
HDTOptions hdtFormat) |
Modifier and Type | Interface and Description |
---|---|
interface |
ControlInfo |
Copyright © 2020 DataWeb Research. All rights reserved.