Package com.semedy.reasoner.reasoning.monitor

Class DefaultReasoningMonitor

java.lang.Object

com.semedy.reasoner.reasoning.monitor.DefaultReasoningMonitor

All Implemented Interfaces:

ReasoningMonitor

public class DefaultReasoningMonitor
extends Object
implements ReasoningMonitor

Default ReasoningMonitor implementation which supports
different log levels and user-defined targets.

Author:

Juergen Baier

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	DefaultReasoningMonitor.Level
static interface	DefaultReasoningMonitor.Target

Method Summary

Modifier and Type	Method	Description
void	considerEDBRelations(IntensionalDB idb, ExtensionalDB[] edbs)	upfront determining all relevant edb relations
static DefaultReasoningMonitor	create()
static DefaultReasoningMonitor	create(DefaultReasoningMonitor.Target target, DefaultReasoningMonitor.Level level)
void	postBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg)	Called after a built-in has been executed
void	postEvaluation(String query)	Called immediately after evaluation
void	postJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg)	Called after a join or negation is executed.
void	postRuleEvaluation(Rule rule)	called after a rule has been evaluated
void	preBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg)	Called before a built-in is executed (only for aggregations or connector built-ins)
void	preEvalution(String query)	Called before evaluation starts
void	preFreeMemory(String message, long memoryInBytes)	called before freeing up "memoryInBytes" memory
void	preJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg)	Called before a join or negation is executed.
void	preMemoryAllocation(String message, long memoryInBytes)	called before memory of size "memoryInBytes" will be allocated
void	preRuleEvaluation(Rule rule)	called before a rule is evaluated
void	setBuiltins(BuiltinProvider builtins)	Set the builtin provider
void	setIntensionalDB(IntensionalDB idb)	Set the intensional db, e.g. to utilize the rule graph
void	setReasoningSymbolTable(SymbolTable symbolTable)	Set the symbol table

Methods inherited from class java.lang.Object

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

Method Details

create

public static DefaultReasoningMonitor create()

create

public static DefaultReasoningMonitor create(DefaultReasoningMonitor.Target target,
 DefaultReasoningMonitor.Level level)

preEvalution

public void preEvalution(String query)

Description copied from interface: ReasoningMonitor

Called before evaluation starts

Specified by:

preEvalution in interface ReasoningMonitor

postEvaluation

public void postEvaluation(String query)

Description copied from interface: ReasoningMonitor

Called immediately after evaluation

Specified by:

postEvaluation in interface ReasoningMonitor

preRuleEvaluation

public void preRuleEvaluation(Rule rule)

Description copied from interface: ReasoningMonitor

called before a rule is evaluated

Specified by:

preRuleEvaluation in interface ReasoningMonitor

Parameters:

rule - , the rule

postRuleEvaluation

public void postRuleEvaluation(Rule rule)

Description copied from interface: ReasoningMonitor

called after a rule has been evaluated

Specified by:

postRuleEvaluation in interface ReasoningMonitor

Parameters:

rule - , the rule

preJoin

public void preJoin(Rule rule,
 Literal literal,
 String operatorName,
 String receiverName,
 ReasoningRelation[] relationA,
 ReasoningRelation[] relationB,
 String msg)
             throws IOException,
EDBException

Description copied from interface: ReasoningMonitor

Called before a join or negation is executed.
NOTE All relation arguments should be considered temporary.
This means the content of these relations will change during the
reasoning process and cannot be accessed after this method returns.

Specified by:

preJoin in interface ReasoningMonitor

Parameters:

rule - the rule

literal - the body literal

operatorName - the operator

receiverName - the next receiver

relationA - the left relation

relationB - the bottom relation

msg - an additional message (might be null)

Throws:

IOException

EDBException

postJoin

public void postJoin(Rule rule,
 Literal literal,
 String operatorName,
 String receiverName,
 ReasoningRelation[] relationA,
 ReasoningRelation[] relationB,
 long numResultTuples,
 ReasoningRelation result,
 String joinType,
 String msg)

Description copied from interface: ReasoningMonitor

Called after a join or negation is executed.
NOTE All relation arguments should be considered temporary.
This means the content of these relations will change during the
reasoning process and cannot be accessed after this method returns.

Specified by:

postJoin in interface ReasoningMonitor

Parameters:

rule - the rule

literal - the body literal

operatorName - the operator

receiverName - the next receiver

relationA - the left relation

relationB - the bottom relation

numResultTuples - the number of (new) result tuples

result - the result relation. NOTE: This relation contains both new and existing tuples.

joinType - , the type of join

msg - an additional message (might be null)

preBuiltinExecution

public void preBuiltinExecution(Rule rule,
 Literal literal,
 String operatorName,
 String receiverName,
 ReasoningRelation[] relationA,
 String msg)
                         throws IOException,
EDBException

Description copied from interface: ReasoningMonitor

Called before a built-in is executed (only for aggregations or connector built-ins)

Specified by:

preBuiltinExecution in interface ReasoningMonitor

Throws:

IOException

EDBException

postBuiltinExecution

public void postBuiltinExecution(Rule rule,
 Literal literal,
 String operatorName,
 String receiverName,
 ReasoningRelation[] relationA,
 long numResultTuples,
 ReasoningRelation result,
 String msg)
                          throws IOException,
EDBException

Description copied from interface: ReasoningMonitor

Called after a built-in has been executed

Specified by:

postBuiltinExecution in interface ReasoningMonitor

Throws:

IOException

EDBException

preMemoryAllocation

public void preMemoryAllocation(String message,
 long memoryInBytes)

Description copied from interface: ReasoningMonitor

called before memory of size "memoryInBytes" will be allocated

Specified by:

preMemoryAllocation in interface ReasoningMonitor

preFreeMemory

public void preFreeMemory(String message,
 long memoryInBytes)

Description copied from interface: ReasoningMonitor

called before freeing up "memoryInBytes" memory

Specified by:

preFreeMemory in interface ReasoningMonitor

setIntensionalDB

public void setIntensionalDB(IntensionalDB idb)
                      throws SemReasonerException

Description copied from interface: ReasoningMonitor

Set the intensional db, e.g. to utilize the rule graph

Specified by:

setIntensionalDB in interface ReasoningMonitor

Throws:

SemReasonerException

setReasoningSymbolTable

public void setReasoningSymbolTable(SymbolTable symbolTable)

Description copied from interface: ReasoningMonitor

Set the symbol table

Specified by:

setReasoningSymbolTable in interface ReasoningMonitor

setBuiltins

public void setBuiltins(BuiltinProvider builtins)

Description copied from interface: ReasoningMonitor

Set the builtin provider

Specified by:

setBuiltins in interface ReasoningMonitor

Parameters:

builtins - built-in provider

considerEDBRelations

public void considerEDBRelations(IntensionalDB idb,
 ExtensionalDB[] edbs)
                          throws IOException,
EDBException

Description copied from interface: ReasoningMonitor

upfront determining all relevant edb relations

Specified by:

considerEDBRelations in interface ReasoningMonitor

Throws:

IOException

EDBException