Package com.semedy.reasoner.api.core

Class DeductiveDatabase

java.lang.Object

com.semedy.reasoner.api.core.DeductiveDatabase

Direct Known Subclasses:

QueryRunner, StreamReasoningDB

public class DeductiveDatabase
extends Object

High level interface for a whole deductive database.
Encapsulates symbol handler, edb, idb, builtins, rewriters.
Provides adding/removing facts, adding/removing rules,
querying and transaction handling of fact and rule modifications.
DDB is thread local, so every thread has its own instance of DDB.
Core which is a member of DDB is shared for different DDBs.

Author:

angele

Constructor Summary

Constructors

Constructor	Description
DeductiveDatabase(Core core)

Method Summary

Modifier and Type	Method	Description
boolean	addFact(Literal L)	Add a fact to the deductive database.
boolean	addFacts(Collection<Literal> facts)	Add facts to the deductive database.
boolean	addRule(Rule R, boolean parsed)	add a rule to the deductive database.
boolean	addRule(String R)	add a rule to the deductive database.
boolean	addRules(Collection<Rule> rules, boolean parsed)	Add rules to the deductive database.
void	addRulesAndFacts(String rulesAndFacts)	add rules and facts from text
void	applyChangeSet(List<String> paths)	Applies changes to the extensional database. During this operation the to be modified predicates are read locked.
void	backup(String backupfile)	create a backup for the database
void	export(InterruptFlag interrupt, List<String> predicates, String resultdirectory)	bulk export of facts for predicates to raw files in result directory
void	exportNQuads(Writer writer, String iri)	export of facts as N-Quads.
void	exportNQuads(String resultpath, String iri)	export of facts as N-Quads
void	exportOOLogic(InterruptFlag interrupt, Writer writer, String module)	export of facts and rules for predicates to file in OO-logic into a module.
void	exportOOLogic(InterruptFlag interrupt, String resultpath, String module)	export of facts and rules for predicates to file in OO-logic into a module.
void	exportOOLogic(InterruptFlag interrupt, List<Filter> filters, Writer writer, String module)	export of facts and rules for predicates to file in OO-logic into a module.
void	exportOOLogic(InterruptFlag interrupt, List<Filter> filter, String resultpath, String module)	export of facts and rules for predicates to file in OO-logic into a module.
void	exportRules(Writer writer)	store all rules in file given by file path
void	exportRules(String filepath, boolean append)	store all rules in file given by file path
Core	getCore()	Return the reasoner core
List<Rule>	getRuleById(String ruleIdentifier)	get a rule by its rule identifier
List<Rule>	getRules()	get all rules
ExtensionalDB	getSnapshotEDB()	get the extensional database for snapshots
SymbolTable	getSymbolTable()	get reasoning symbol table
void	load(String path)	load files from file path path can be a directory or a single file files are distinguished by their endings: .raw, .raw.zip, .rls, .fct
void	load(List<String> paths)	load files from file paths files are distinguished by their endings: .raw, .raw.zip, .rls, .fct
void	loadByStream(InputStream in, InputStream companionstream, String format)	load facts by stream. format is either the file format like raw,json,nq etc.
void	loadPredicates(InputStream input)	Load facts and/or rules in predicate format from an input stream.
boolean	longTransactionBegin()	start a long transaction If a long transaction is already running false is returned
boolean	longTransactionCommit()	commit a long transaction
void	longTransactionRollback()	discard all changes
void	materializeQueries(InterruptFlag interruptFlag, String squeries, ReasoningMonitor monitor)	Materialize queries.
void	materializeQueries(InterruptFlag interruptFlag, String squeries, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Materialize queries.
void	materializeQueries(InterruptFlag interruptFlag, List<Rule> queries, ReasoningMonitor monitor)	Materialize queries.
void	materializeQueries(InterruptFlag interruptFlag, List<Rule> queries, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Materialize queries.
ResultEnumerator	query(InterruptFlag interruptFlag, Rule query, int maxNumberOfResults, ReasoningMonitor monitor)	Pose a query.
ResultEnumerator	query(InterruptFlag interruptFlag, Rule query, int maxNumberOfResults, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Pose a query.
ResultEnumerator	query(InterruptFlag interruptFlag, String query, int maxNumberOfResults, Configuration config, Properties builtinConfig)	Pose a query.
ResultEnumerator	query(InterruptFlag interruptFlag, String query, int maxNumberOfResults, ReasoningMonitor monitor)	Pose a query.
ResultEnumerator	query(InterruptFlag interruptFlag, String query, int maxNumberOfResults, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Pose a query.
ResultEnumerator	query(InterruptFlag interruptFlag, String query, Properties builtinConfig)	Pose a query.
ResultEnumerator	query(InterruptFlag interruptFlag, List<Rule> queries, int maxNumberOfResults, ReasoningMonitor monitor)	Pose a query and several rules
ResultEnumerator	query(InterruptFlag interruptFlag, List<Rule> queries, int maxNumberOfResults, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Pose a query and several rules
ResultEnumerator	query(InterruptFlag interruptFlag, List<Rule> queries, int maxNumberOfResults, ReasoningMonitor monitor, ExtensionalDB[] additionalEDBs, IntensionalDB[] additionalIDBs, boolean skipAnswers, Configuration config, Properties builtinConfig)	Pose a query and several rules.
boolean	removeFact(Literal L)	Remove a fact from the deductive database.
boolean	removeFactEncoded(Literal L)	Remove a fact from the deductive database.
boolean	removeFacts(Collection<Literal> facts)	Remove facts from the deductive database.
boolean	removeFactsEncoded(Collection<Literal> facts)	Remove facts from the deductive database.
boolean	removeRuleById(String id)	remove a rule identified by the unique id.
boolean	removeRules(Collection<Rule> rules)	Remove rules from the deductive database.
void	removeRulesAndFacts(String rulesAndFacts)	remove rules and facts from text
void	transactionBegin()	start a transaction
void	transactionCommit()	commit all modifications
void	transactionRollback()	discard all changes

Methods inherited from class java.lang.Object

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

Constructor Details

DeductiveDatabase

public DeductiveDatabase(Core core)
                  throws IOException,
SemReasonerException

Throws:

IOException

SemReasonerException

Method Details

getRules

public List<Rule> getRules()
                    throws SemReasonerException

get all rules

Returns:

Throws:

SemReasonerException

getRuleById

public List<Rule> getRuleById(String ruleIdentifier)
                       throws SemReasonerException

get a rule by its rule identifier

Parameters:

ruleIdentifier -

Returns:

Throws:

SemReasonerException

getSymbolTable

public SymbolTable getSymbolTable()

get reasoning symbol table

Returns:

getSnapshotEDB

public ExtensionalDB getSnapshotEDB()

get the extensional database for snapshots

Returns:

getCore

public Core getCore()

Return the reasoner core

addFact

public boolean addFact(Literal L)
                throws EDBException,
IOException,
InterruptedException

Add a fact to the deductive database.
This facts becomes visible to the current thread only.
After commit it becomes visible to others as well.

Parameters:

L - , literal to be added

Returns:

Throws:

IOException

EDBException

InterruptedException

addRulesAndFacts

public void addRulesAndFacts(String rulesAndFacts)
                      throws SemReasonerException,
InterruptedException

add rules and facts from text

Parameters:

rulesAndFacts - , rules and facts as text

Throws:

SemReasonerException

InterruptedException

removeRulesAndFacts

public void removeRulesAndFacts(String rulesAndFacts)
                         throws IOException,
SemReasonerException,
InterruptedException

remove rules and facts from text

Parameters:

rulesAndFacts -

Throws:

IOException

SemReasonerException

InterruptedException

addRule

public boolean addRule(Rule R,
 boolean parsed)
                throws IOException,
SemReasonerException,
InterruptedException

add a rule to the deductive database.

Parameters:

R - , rule to be added @return, true if rule has been added

parsed - , rule has been parse before

Throws:

IOException

SemReasonerException

InterruptedException

addRule

public boolean addRule(String R)
                throws SemReasonerException,
InterruptedException

add a rule to the deductive database.

Parameters:

R - , rule to be added @return, true if rule has been added

Throws:

SemReasonerException

InterruptedException

removeRuleById

public boolean removeRuleById(String id)
                       throws IOException,
SemReasonerException,
InterruptedException

remove a rule identified by the unique id.

Parameters:

id -

Returns:

true if rule has been removed

Throws:

SemReasonerException

IOException

InterruptedException

removeFact

public boolean removeFact(Literal L)
                   throws EDBException,
IOException,
InterruptedException

Remove a fact from the deductive database.
This change becomes visible to the current thread only.
After commit it becomes visible to others as well.

Parameters:

L - , literal to be removed

Returns:

true, if fact has been removed

Throws:

IOException

EDBException

InterruptedException

removeFactEncoded

public boolean removeFactEncoded(Literal L)
                          throws IOException,
SemReasonerException,
InterruptedException

Remove a fact from the deductive database.
Fact is already encoded.
This change becomes visible to the current thread only.
After commit it becomes visible to others as well.

Parameters:

L - , literal to be removed

Returns:

true, if fact has been removed

Throws:

IOException

SemReasonerException

InterruptedException

addFacts

public boolean addFacts(Collection<Literal> facts)
                 throws EDBException,
IOException,
InterruptedException

Add facts to the deductive database.
These facts becomes visible to the current thread only.
After commit it becomes visible to others as well.

Parameters:

facts -

Returns:

true, if all facts have been added

Throws:

IOException

EDBException

InterruptedException

removeFacts

public boolean removeFacts(Collection<Literal> facts)
                    throws EDBException,
IOException,
InterruptedException

Remove facts from the deductive database.
This change becomes visible to the current thread only.
After commit it becomes visible to others as well.

Parameters:

facts - to be added

Returns:

true, if all facts have been added

Throws:

IOException

EDBException

InterruptedException

removeFactsEncoded

public boolean removeFactsEncoded(Collection<Literal> facts)
                           throws IOException,
SemReasonerException,
InterruptedException

Remove facts from the deductive database.
Facts are already encoded.
This change becomes visible to the current thread only.
After commit it becomes visible to others as well.

Parameters:

facts - to be added

Returns:

true, if all facts have been added

Throws:

IOException

SemReasonerException

InterruptedException

addRules

public boolean addRules(Collection<Rule> rules,
 boolean parsed)
                 throws IOException,
SemReasonerException,
InterruptedException

Add rules to the deductive database.
This change becomes visible to the current thread only.
These rules must not be parsed by rule parser before.
After commit it becomes visible to others as well.

Parameters:

rules - to be added

parsed - rules have been parsed before

Returns:

true, if all rules have been added

Throws:

IOException

SemReasonerException

InterruptedException

removeRules

public boolean removeRules(Collection<Rule> rules)
                    throws IOException,
SemReasonerException,
InterruptedException

Remove rules from the deductive database.
This change becomes visible to the current thread only.
After commit it becomes visible to others as well.

Parameters:

rules - to be removed.

Returns:

true if all rules have been removed

Throws:

SemReasonerException

IOException

InterruptedException

query

public ResultEnumerator query(InterruptFlag interruptFlag,
 String query,
 Properties builtinConfig)
                       throws SemReasonerException,
InterruptedException,
IOException

Pose a query. Get the results as an enumerator for tuples of objects

Parameters:

interruptFlag - for interrupting the evaluation

query - , the query

builtinConfig - , configurations for built-ins e.g. access tokens

Returns:

an enumerator for results

Throws:

ReasoningException

SimpleParseException

IOException

SemReasonerException

InterruptedException

query

public ResultEnumerator query(InterruptFlag interruptFlag,
 String query,
 int maxNumberOfResults,
 Configuration config,
 Properties builtinConfig)
                       throws SemReasonerException,
InterruptedException,
IOException

Pose a query. Get the results as an enumerator for tuples of objects

Parameters:

interruptFlag - for interrupting the evaluation

query - , the query

maxNumberOfResults - , the maximum number of result tuples, -1 for all results

builtinConfig - , configurations for built-ins e.g. access tokens

Returns:

an enumerator for results

Throws:

ReasoningException

SimpleParseException

IOException

SemReasonerException

InterruptedException

query

public ResultEnumerator query(InterruptFlag interruptFlag,
 String query,
 int maxNumberOfResults,
 ReasoningMonitor monitor,
 Configuration config,
 Properties builtinConfig)
                       throws SemReasonerException,
InterruptedException,
IOException

Pose a query. Get the results as an enumerator for tuples of objects

Parameters:

interruptFlag - for interrupting the evaluation

query - , the query

maxNumberOfResults - , the maximum number of result tuples, -1 for all results

monitor - , monitoring reasoning, may be null

builtinConfig - , configurations for built-ins e.g. access tokens

Returns:

an enumerator for results

Throws:

ReasoningException

SimpleParseException

IOException

SemReasonerException

InterruptedException

query

public ResultEnumerator query(InterruptFlag interruptFlag,
 String query,
 int maxNumberOfResults,
 ReasoningMonitor monitor)
                       throws SemReasonerException,
InterruptedException,
IOException

Pose a query. Get the results as an enumerator for tuples of objects

Parameters:

interruptFlag - for interrupting the evaluation

query - , the query

maxNumberOfResults - , the maximum number of result tuples, -1 for all results

monitor - , monitoring reasoning, may be null

Returns:

an enumerator for results

Throws:

ReasoningException

SimpleParseException

IOException

SemReasonerException

InterruptedException

transactionBegin

public void transactionBegin()
                      throws SemReasonerException,
IOException

start a transaction

Throws:

SemReasonerException

IOException

longTransactionBegin

public boolean longTransactionBegin()
                             throws SemReasonerException,
IOException

start a long transaction
If a long transaction is already running false is returned

Throws:

SemReasonerException

IOException

longTransactionCommit

public boolean longTransactionCommit()
                              throws SemReasonerException,
EDBException,
IOException,
InterruptedException

commit a long transaction

Throws:

SemReasonerException

EDBException

IOException

InterruptedException

longTransactionRollback

public void longTransactionRollback()
                             throws SemReasonerException,
IOException,
EDBException

discard all changes

Throws:

IOException

SemReasonerException

EDBException

transactionRollback

public void transactionRollback()
                         throws SemReasonerException,
IOException,
EDBException

discard all changes

Throws:

IOException

SemReasonerException

EDBException

transactionCommit

public void transactionCommit()
                       throws SemReasonerException,
IOException,
InterruptedException

commit all modifications

Throws:

IOException

SemReasonerException

InterruptedException

load

public void load(String path)
          throws EDBException,
IOException,
SimpleParseException,
SemReasonerException,
InterruptedException,
SymboltableException

load files from file path
path can be a directory or a single file
files are distinguished by their endings:
.raw, .raw.zip, .rls, .fct

Parameters:

path -

Throws:

EDBException

IOException

SimpleParseException

SemReasonerException

InterruptedException

SymboltableException

loadByStream

public void loadByStream(InputStream in,
 InputStream companionstream,
 String format)
                  throws EDBException,
IOException,
SimpleParseException,
SemReasonerException,
SymboltableException,
InterruptedException

load facts by stream. format is either the file format like raw,json,nq etc. In case of raw it is the predicate like value|3 A companionstream contains additional information, e.g. schema information for csv

Parameters:

in - , stream for the csv data

companionstream - , additional stream describing the data types and new header names

format -

Throws:

UnsupportedEncodingException

IOException

SemReasonerException

InterruptedException

EDBException

SimpleParseException

SymboltableException

load

public void load(List<String> paths)
          throws EDBException,
IOException,
SimpleParseException,
SemReasonerException,
InterruptedException,
SymboltableException

load files from file paths
files are distinguished by their endings:
.raw, .raw.zip, .rls, .fct

Parameters:

paths -

Throws:

EDBException

IOException

SimpleParseException

SemReasonerException

InterruptedException

SymboltableException

loadPredicates

public void loadPredicates(InputStream input)
                    throws SemReasonerException,
IOException,
SimpleParseException,
InterruptedException,
EDBException

Load facts and/or rules in predicate format from an input stream. Loading facts in this way is much slower than raw files or fct files.

Parameters:

input - , the input stream

Throws:

IOException

SimpleParseException

SemReasonerException

InterruptedException

EDBException

backup

public void backup(String backupfile)
            throws SemReasonerException,
EDBException,
IOException

create a backup for the database

Parameters:

backupfile -

Throws:

IOException

EDBException

SemReasonerException

export

public void export(InterruptFlag interrupt,
 List<String> predicates,
 String resultdirectory)
            throws EDBException,
SemReasonerException,
IOException,
InterruptedException

bulk export of facts for predicates to raw files in result directory

Parameters:

interrupt - , flag to interrupt export

predicates -

resultdirectory -

Throws:

EDBException

IOException

SemReasonerException

InterruptedException

exportOOLogic

public void exportOOLogic(InterruptFlag interrupt,
 String resultpath,
 String module)
                   throws EDBException,
SemReasonerException,
IOException,
InterruptedException

export of facts and rules for predicates to file in OO-logic into a module.
If there is already a module, this one is used.
If module is null, it is exported but not filled into a module.

Parameters:

interrupt - , flag to interrupt export

resultpath -

module - , module name

Throws:

EDBException

IOException

SemReasonerException

InterruptedException

exportOOLogic

public void exportOOLogic(InterruptFlag interrupt,
 List<Filter> filter,
 String resultpath,
 String module)
                   throws EDBException,
SemReasonerException,
IOException,
InterruptedException

export of facts and rules for predicates to file in OO-logic into a module.
If there is already a module, this one is used.
If module is null, it is exported but not filled into a module.

Parameters:

interrupt - , flag to interrupt export

filter - , a list of filters for predicates to be exported

resultpath -

module - , module name

Throws:

EDBException

IOException

SemReasonerException

InterruptedException

exportOOLogic

public void exportOOLogic(InterruptFlag interrupt,
 Writer writer,
 String module)
                   throws EDBException,
SemReasonerException,
IOException,
InterruptedException

export of facts and rules for predicates to file in OO-logic into a module.
If there is already a module, this one is used.
If module is null, it is exported but not filled into a module.

Parameters:

interrupt - , flag to interrupt export

writer -

Throws:

EDBException

IOException

SemReasonerException

InterruptedException

exportOOLogic

public void exportOOLogic(InterruptFlag interrupt,
 List<Filter> filters,
 Writer writer,
 String module)
                   throws EDBException,
SemReasonerException,
IOException,
InterruptedException

export of facts and rules for predicates to file in OO-logic into a module.
If there is already a module, this one is used.
If module is null, it is exported but not filled into a module.

Parameters:

interrupt - , flag to interrupt export

filters - , predicates together with filters to export.

writer -

Throws:

EDBException

IOException

SemReasonerException

InterruptedException

exportNQuads

public void exportNQuads(Writer writer,
 String iri)
                  throws EDBException,
SemReasonerException,
IOException,
InterruptedException

export of facts as N-Quads.

Parameters:

writer -

iri -

Throws:

EDBException

IOException

SemReasonerException

InterruptedException

exportNQuads

public void exportNQuads(String resultpath,
 String iri)
                  throws EDBException,
SemReasonerException,
IOException,
InterruptedException

export of facts as N-Quads

Parameters:

resultpath - , path of file

iri - , iri used for the n-quads

Throws:

EDBException

IOException

SemReasonerException

InterruptedException

exportRules

public void exportRules(String filepath,
 boolean append)
                 throws IOException,
SemReasonerException

store all rules in file given by file path

Parameters:

filepath -

append - , rules are appended to the file

Throws:

SemReasonerException

IOException

exportRules

public void exportRules(Writer writer)
                 throws IOException,
SemReasonerException

store all rules in file given by file path

Parameters:

writer - , writer to write rules to

Throws:

SemReasonerException

IOException

query

public ResultEnumerator query(InterruptFlag interruptFlag,
 Rule query,
 int maxNumberOfResults,
 ReasoningMonitor monitor)
                       throws SemReasonerException,
InterruptedException,
IOException

Pose a query. Get the results as an enumerator for tuples of objects

Parameters:

interruptFlag - for interrupting the evaluation

query - , the query

monitor - , monitoring reasoning, may be null

maxNumberOfResults - , the maximum number of result tuples, -1 for all results

monitor - , reasoning monitor

Returns:

an enumerator for results

Throws:

ReasoningException

IOException

SemReasonerException

InterruptedException

query

public ResultEnumerator query(InterruptFlag interruptFlag,
 Rule query,
 int maxNumberOfResults,
 ReasoningMonitor monitor,
 Configuration config,
 Properties builtinConfig)
                       throws SemReasonerException,
InterruptedException,
IOException

Pose a query. Get the results as an enumerator for tuples of objects

Parameters:

interruptFlag - for interrupting the evaluation

query - , the query

monitor - , monitoring reasoning, may be null

maxNumberOfResults - , the maximum number of result tuples, -1 for all results

monitor - , reasoning monitor

config - , configuration

builtinConfig - , configurations for built-ins e.g. access tokens

Returns:

an enumerator for results

Throws:

ReasoningException

IOException

SemReasonerException

InterruptedException

applyChangeSet

public void applyChangeSet(List<String> paths)
                    throws EDBException,
SemReasonerException,
IOException,
InterruptedException

Applies changes to the extensional database.
During this operation the to be modified predicates
are read locked. A write lock is used for a short time only at the end of the operation
The input files are raw files
For every predicate p two files may be given:
_add_p contains tuples to be added
_delete_p contains tuples to be deleted
if T(p) is the set of tuples for predicate p,
add(p) is the set of tuples to be added,
del(p) the set of tuples to be deleted
(T(p)-del(p)) + add(p) is computed

Parameters:

paths - , paths of the input files

Throws:

EDBException

IOException

SemReasonerException

InterruptedException

query

public ResultEnumerator query(InterruptFlag interruptFlag,
 List<Rule> queries,
 int maxNumberOfResults,
 ReasoningMonitor monitor)
                       throws SemReasonerException,
InterruptedException,
IOException

Pose a query and several rules

Parameters:

interruptFlag - for interrupting the evaluation

queries - , a query and rules

maxNumberOfResults - , the maximum number of result tuples, -1 for all results

monitor - , monitoring reasoning, may be null

Returns:

an enumerator for results

Throws:

ReasoningException

IOException

SemReasonerException

InterruptedException

query

public ResultEnumerator query(InterruptFlag interruptFlag,
 List<Rule> queries,
 int maxNumberOfResults,
 ReasoningMonitor monitor,
 Configuration config,
 Properties builtinConfig)
                       throws SemReasonerException,
InterruptedException,
IOException

Pose a query and several rules

Parameters:

interruptFlag - for interrupting the evaluation

queries - , a query and rules

maxNumberOfResults - , the maximum number of result tuples, -1 for all results

monitor - , monitoring reasoning, may be null

config - , configuration

builtinConfig - , built-in configuration like access tokens etc.

Returns:

an enumerator for results

Throws:

ReasoningException

IOException

SemReasonerException

InterruptedException

query

public ResultEnumerator query(InterruptFlag interruptFlag,
 List<Rule> queries,
 int maxNumberOfResults,
 ReasoningMonitor monitor,
 ExtensionalDB[] additionalEDBs,
 IntensionalDB[] additionalIDBs,
 boolean skipAnswers,
 Configuration config,
 Properties builtinConfig)
                       throws SemReasonerException,
InterruptedException,
IOException

Pose a query and several rules.

Parameters:

interruptFlag - for interrupting the evaluation

queries - , list of queries

maxNumberOfResults - , the maximum number of result tuples, -1 for all results

monitor - , monitoring reasoning, may be null

additionalEDBs - , additional edbs to be used during querying

additionalIDBs - , additional idbs to be used during querying

monitor - , reasoning monitor

builtinConfig - , configurations for built-ins e.g. access tokens

Returns:

an enumerator for results

Throws:

ReasoningException

IOException

SemReasonerException

InterruptedException

materializeQueries

public void materializeQueries(InterruptFlag interruptFlag,
 List<Rule> queries,
 ReasoningMonitor monitor)
                        throws SemReasonerException,
InterruptedException,
IOException

Materialize queries.
This means that the queries are evaluated and the results are stored in the database.

Parameters:

interruptFlag -

queries - , the queries to be materialized

monitor - , reasoning monitor

Throws:

ReasoningException

InterruptedException

IOException

SemReasonerException

materializeQueries

public void materializeQueries(InterruptFlag interruptFlag,
 List<Rule> queries,
 ReasoningMonitor monitor,
 Configuration config,
 Properties builtinConfig)
                        throws SemReasonerException,
InterruptedException,
IOException

Materialize queries.
This means that the queries are evaluated and the results are stored in the database.

Parameters:

interruptFlag -

queries - , the queries to be materialized

monitor - , reasoning monitor

config - , configuration

builtinConfig - , configurations for built-ins e.g. access tokens

Throws:

ReasoningException

InterruptedException

IOException

SemReasonerException

materializeQueries

public void materializeQueries(InterruptFlag interruptFlag,
 String squeries,
 ReasoningMonitor monitor)
                        throws ReasoningException,
InterruptedException,
IOException,
SemReasonerException

Materialize queries.
This means that the queries are evaluated and the results are stored in the database.

Parameters:

interruptFlag -

squeries - , the queries to be materialized

monitor - , reasoning monitor

Throws:

ReasoningException

InterruptedException

IOException

SemReasonerException

materializeQueries

public void materializeQueries(InterruptFlag interruptFlag,
 String squeries,
 ReasoningMonitor monitor,
 Configuration config,
 Properties builtinConfig)
                        throws SemReasonerException,
InterruptedException,
IOException

Materialize queries.
This means that the queries are evaluated and the results are stored in the database.

Parameters:

interruptFlag -

squeries - , the queries to be materialized

monitor - , reasoning monitor

config - , configuration

builtinConfig - , built-in configuration like access tokens etc.

Throws:

ReasoningException

InterruptedException

SemReasonerException

IOException