org.semanticweb.vlog4j.examples

Class ExamplesUtils

java.lang.Object

org.semanticweb.vlog4j.examples.ExamplesUtils

public final class ExamplesUtils
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	INPUT_FOLDER
static String	OUTPUT_FOLDER

Method Summary

Modifier and Type	Method and Description
static void	configureLogging() Defines how messages should be logged.
static void	exportQueryAnswersToCSV(org.semanticweb.vlog4j.core.reasoner.Reasoner reasoner, String atomName, int arity) Exports the extension of the Atom with name @predicateName
static int	getQueryAnswerCount(String queryString, org.semanticweb.vlog4j.core.reasoner.Reasoner reasoner) Returns the number of answers returned by reasoner to the query (queryAtom).
static <T> int	iteratorSize(Iterator<T> iterator) Returns the size of an iterator.
static void	printOutQueryAnswers(org.semanticweb.vlog4j.core.model.api.PositiveLiteral queryAtom, org.semanticweb.vlog4j.core.reasoner.Reasoner reasoner) Prints out the answers given by reasoner to the query (queryAtom).
static void	printOutQueryAnswers(String queryString, org.semanticweb.vlog4j.core.reasoner.Reasoner reasoner) Prints out the answers given by reasoner to the query (queryAtom).

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

OUTPUT_FOLDER

public static final String OUTPUT_FOLDER

See Also:

Constant Field Values

INPUT_FOLDER

public static final String INPUT_FOLDER

See Also:

Constant Field Values

Method Detail

configureLogging

public static void configureLogging()

Defines how messages should be logged. This method can be modified to restrict the logging messages that are shown on the console or to change their formatting. See the documentation of Log4J for details on how to do this. Note: The VLog C++ backend performs its own logging. The log-level for this can be configured using Reasoner.setLogLevel(org.semanticweb.vlog4j.core.reasoner.LogLevel). It is also possible to specify a separate log file for this part of the logs.

printOutQueryAnswers

public static void printOutQueryAnswers(org.semanticweb.vlog4j.core.model.api.PositiveLiteral queryAtom,
                                        org.semanticweb.vlog4j.core.reasoner.Reasoner reasoner)

Prints out the answers given by reasoner to the query (queryAtom).

Parameters:

queryAtom - query to be answered

reasoner - reasoner to query on

printOutQueryAnswers

public static void printOutQueryAnswers(String queryString,
                                        org.semanticweb.vlog4j.core.reasoner.Reasoner reasoner)

Prints out the answers given by reasoner to the query (queryAtom).

Parameters:

queryAtom - query to be answered

reasoner - reasoner to query on

getQueryAnswerCount

public static int getQueryAnswerCount(String queryString,
                                      org.semanticweb.vlog4j.core.reasoner.Reasoner reasoner)

Returns the number of answers returned by reasoner to the query (queryAtom).

Parameters:

queryAtom - query to be answered

reasoner - reasoner to query on

Throws:

org.semanticweb.vlog4j.core.exceptions.ReasonerStateException - in case the reasoner has not yet been loaded.

iteratorSize

public static <T> int iteratorSize(Iterator<T> iterator)

Returns the size of an iterator.

Parameters:

Iterator - to iterate over

Returns:

number of elements in iterator

exportQueryAnswersToCSV

public static void exportQueryAnswersToCSV(org.semanticweb.vlog4j.core.reasoner.Reasoner reasoner,
                                           String atomName,
                                           int arity)
                                    throws org.semanticweb.vlog4j.core.exceptions.ReasonerStateException,
                                           IOException

Exports the extension of the Atom with name @predicateName

Parameters:

reasoner - reasoner to query on

atomName - atom's name

arity - atom's arity

Throws:

org.semanticweb.vlog4j.core.exceptions.ReasonerStateException

IOException