Package com.semedy.reasoner.rewriter.sips

Class TopDownSIPS

java.lang.Object

com.semedy.reasoner.rewriter.sips.TopDownSIPS

All Implemented Interfaces:

SIPS

public class TopDownSIPS
extends Object
implements SIPS

Arranges the sequence of the rule bodies in that way that the reasoning has best performance Is fully based on statistics, i.e. selectivity, weights. Does deep ordering, i.e. looks into all edb literals in all rules for these decisions

Constructor Summary

Constructors

Constructor	Description
TopDownSIPS(BuiltinProvider builtinFactory)

Method Summary

Modifier and Type	Method	Description
boolean	isEvaluable(Rule R, int ix, BitSet groundvars, IntensionalDB IDB, SymbolTable symbols)	Is rule body beginning at index with given groundvars evaluable
WeightedLiteral[]	orderBodies(Rule rule, BitSet groundVars, long[] groundValues, IntensionalDB IDB, ExtensionalDB[] edbs, SymbolTable symbols)	Arrange the bodies of a rule.

Methods inherited from class java.lang.Object

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

Constructor Details

TopDownSIPS

public TopDownSIPS(BuiltinProvider builtinFactory)

Method Details

orderBodies

public WeightedLiteral[] orderBodies(Rule rule,
 BitSet groundVars,
 long[] groundValues,
 IntensionalDB IDB,
 ExtensionalDB[] edbs,
 SymbolTable symbols)
                              throws IOException,
SemReasonerException

Description copied from interface: SIPS

Arrange the bodies of a rule. Returns null if it cannot be arranged.

Specified by:

orderBodies in interface SIPS

Parameters:

rule - the rule

groundVars - the topdown instantiated variables of the rule

groundValues - variable instantiations

IDB - the intensional database

edbs - the extensional databases

symbols - the symbol table

Returns:

the weighted literals or null if no reordering is possible with this SIPS

Throws:

IOException

RewriterException - if an error occurs

SymboltableException

SemReasonerException

isEvaluable

public boolean isEvaluable(Rule R,
 int ix,
 BitSet groundvars,
 IntensionalDB IDB,
 SymbolTable symbols)
                    throws IOException,
SemReasonerException

Is rule body beginning at index with given groundvars evaluable

Parameters:

R -

groundvars -

IDB -

Returns:

Throws:

IOException

SemReasonerException