public interface HDT extends RDFAccess, Closeable
Modifier and Type | Method and Description |
---|---|
String |
getBaseURI()
Get the Base URI for the Dataset.
|
Dictionary |
getDictionary()
Gets the dictionary of the HDT
|
Header |
getHeader()
Gets the header of the HDT
|
Triples |
getTriples()
Gets the triples of the HDT
|
void |
saveToHDT(OutputStream output,
ProgressListener listener)
Saves to OutputStream in HDT format
|
void |
saveToHDT(String fileName,
ProgressListener listener)
Saves to a file in HDT format
|
long |
size()
Returns the size of the Data Structure in bytes.
|
Header getHeader()
Dictionary getDictionary()
Triples getTriples()
void saveToHDT(OutputStream output, ProgressListener listener) throws IOException
output
- The OutputStream to save toIOException
void saveToHDT(String fileName, ProgressListener listener) throws IOException
fileName
- The OutputStream to save toIOException
long size()
String getBaseURI()
Copyright © 2020 DataWeb Research. All rights reserved.