Package com.semedy.reasoner.rewriter.sips

Interface SIPS

All Known Implementing Classes:

EqualSIPS, TopDownSIPS

public interface SIPS

Sideways information passing strategy. A SIPS reorders body literals of a rule e.g. in order to optimize performance.

Author:

Juergen Angele

Method Summary

Modifier and Type	Method	Description
WeightedLiteral[]	orderBodies(Rule rule, BitSet groundVars, long[] groundValues, IntensionalDB idb, ExtensionalDB[] edbs, SymbolTable symbols)	Arrange the bodies of a rule.

Method Details

orderBodies

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

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

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:

RewriterException - if an error occurs

IOException

SymboltableException

SemReasonerException