public class RDDExecutor
extends java.lang.Object
Constructor and Description |
---|
RDDExecutor(Config conf)
Constructor, initializing the executor with a given configuration.
|
Modifier and Type | Method and Description |
---|---|
static RDDEvaluationResult |
evalResult(java.util.Set<FOFormula> formulas,
java.io.File dataFile,
org.openrdf.rio.RDFFormat fileFormat,
boolean askMode)
Evaluate the result over an RDF database.
|
static RDDEvaluationResult |
evalResult(java.util.Set<FOFormula> formulas,
java.io.File dataFile,
org.openrdf.rio.RDFFormat fileFormat,
boolean askMode,
java.lang.Integer limit)
Evaluate the result over an RDF database.
|
void |
execute()
Main method starting the RDD executor with
its associated configuration.
|
static void |
outputTranslationResult(java.util.Set<FOFormula> formulas,
Config.OutputType type,
java.lang.Integer limit,
java.io.File outputFile)
Write the evaluation result to the output.
|
public RDDExecutor(Config conf)
public void execute() throws java.io.FileNotFoundException, ParseException, java.io.IOException, org.openrdf.repository.RepositoryException
java.io.FileNotFoundException
ParseException
org.openrdf.repository.RepositoryException
java.io.IOException
public static void outputTranslationResult(java.util.Set<FOFormula> formulas, Config.OutputType type, java.lang.Integer limit, java.io.File outputFile) throws java.io.IOException
java.io.IOException
public static RDDEvaluationResult evalResult(java.util.Set<FOFormula> formulas, java.io.File dataFile, org.openrdf.rio.RDFFormat fileFormat, boolean askMode) throws java.io.IOException, org.openrdf.repository.RepositoryException
java.io.IOException
org.openrdf.repository.RepositoryException
public static RDDEvaluationResult evalResult(java.util.Set<FOFormula> formulas, java.io.File dataFile, org.openrdf.rio.RDFFormat fileFormat, boolean askMode, java.lang.Integer limit) throws java.io.IOException, org.openrdf.repository.RepositoryException
java.io.IOException
org.openrdf.repository.RepositoryException