Package com.semedy.reasoner.core

Class QueryHandler

java.lang.Object

com.semedy.reasoner.core.QueryHandler

All Implemented Interfaces:

Rewriter

public class QueryHandler
extends Object
implements Rewriter

Query handler manages queries.
It gets an idb containing queries as input and
creates a (modified) idb as output.
So it's quite similar to a rewriter, BUT
it stores idbs on disk, manages rewriting etc.
So it is a kind of meta rewriter.
Storing idbs on disk allows to modify the rule body sequence
manually which is often crucial for performance.

Author:

angele

Constructor Summary

Constructors

Constructor	Description
QueryHandler(BuiltinProvider builtins, RewriterProvider rewriters, SymbolTable symbols, ExternalDataTypeProvider datatypes, String queryDir)

Method Summary

Modifier and Type	Method	Description
IntensionalDB	applyRewriter(IntensionalDB input, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config, boolean withMagicSets, Properties builtinConfig)
String	getDescription()	get a description for the rewriter
String	getName()	get the name of a rewriter
RewriterProvider	getRewriterProvider()
void	invalidateQueries()
void	loadQueries()	Load rule files for queries in query directory and store them in map
boolean	readsSymbolTable()	indicates whether rewriter has to read the symbol table
IntensionalDB	rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)	applies the rewriter to a set of rules
IntensionalDB	rewrite(IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols, ExternalDataTypeProvider datatypes, Configuration config, Properties builtinConfig)
void	setBuiltinProvider(BuiltinProvider builtinProvider)	sets the built-in provider for the rewriter
void	setProperties(Properties prp)	set properties
void	setRewriterProvider(RewriterProvider rewriterProvider)
void	setStatistics(SystemMonitor statistics)	adds a system monitor which has run time data about rules.
boolean	writesSymbolTable()	indicates whether rewriter modifies the symbol table

Methods inherited from class java.lang.Object

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

Constructor Details

QueryHandler

public QueryHandler(BuiltinProvider builtins,
 RewriterProvider rewriters,
 SymbolTable symbols,
 ExternalDataTypeProvider datatypes,
 String queryDir)

Method Details

loadQueries

public void loadQueries()
                 throws IOException,
SemReasonerException

Load rule files for queries in query directory and
store them in map

Throws:

IOException

SemReasonerException

getName

public String getName()

Description copied from interface: Rewriter

get the name of a rewriter

Specified by:

getName in interface Rewriter

Returns:

getDescription

public String getDescription()

Description copied from interface: Rewriter

get a description for the rewriter

Specified by:

getDescription in interface Rewriter

Returns:

readsSymbolTable

public boolean readsSymbolTable()

Description copied from interface: Rewriter

indicates whether rewriter has to read the symbol table

Specified by:

readsSymbolTable in interface Rewriter

Returns:

writesSymbolTable

public boolean writesSymbolTable()

Description copied from interface: Rewriter

indicates whether rewriter modifies the symbol table

Specified by:

writesSymbolTable in interface Rewriter

Returns:

setBuiltinProvider

public void setBuiltinProvider(BuiltinProvider builtinProvider)

Description copied from interface: Rewriter

sets the built-in provider for the rewriter

Specified by:

setBuiltinProvider in interface Rewriter

setRewriterProvider

public void setRewriterProvider(RewriterProvider rewriterProvider)

getRewriterProvider

public RewriterProvider getRewriterProvider()

setStatistics

public void setStatistics(SystemMonitor statistics)

Description copied from interface: Rewriter

adds a system monitor which has run time data about rules.

Specified by:

setStatistics in interface Rewriter

setProperties

public void setProperties(Properties prp)

Description copied from interface: Rewriter

set properties

Specified by:

setProperties in interface Rewriter

rewrite

public IntensionalDB rewrite(IntensionalDB idb,
 ExtensionalDB[] edbs,
 SymbolTable symbols,
 ExternalDataTypeProvider datatypes,
 Configuration config,
 Properties builtinConfig)
                      throws InterruptedException,
RewriterException,
IOException

Throws:

InterruptedException

RewriterException

IOException

applyRewriter

public IntensionalDB applyRewriter(IntensionalDB input,
 ExtensionalDB[] edbs,
 SymbolTable symbols,
 ExternalDataTypeProvider datatypes,
 Configuration config,
 boolean withMagicSets,
 Properties builtinConfig)
                            throws InterruptedException,
IOException,
SemReasonerException

Throws:

InterruptedException

IOException

SemReasonerException

invalidateQueries

public void invalidateQueries()

rewrite

public IntensionalDB rewrite(IntensionalDB idb,
 ExtensionalDB[] edbs,
 SymbolTable symbolTable,
 ExternalDataTypeProvider datatypes,
 Configuration config)
                      throws InterruptedException,
RewriterException,
IOException,
SemReasonerException

Description copied from interface: Rewriter

applies the rewriter to a set of rules

Specified by:

rewrite in interface Rewriter

Parameters:

idb - , intensional database

edbs - , extensional databases, the last one is used for snapshot transaction data

symbolTable - , symbol table

datatypes - , the external datatypes

config - , configuration

Returns:

Throws:

InterruptedException

RewriterException

IOException

SemReasonerException