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 toIOExceptionvoid saveToHDT(String fileName, ProgressListener listener) throws IOException
fileName - The OutputStream to save toIOExceptionlong size()
String getBaseURI()
Copyright © 2020 DataWeb Research. All rights reserved.