Uses of Class
com.semedy.reasoner.api.logic.Rule

Packages that use Rule

Package	Description
com.semedy.reasoner.api.core
com.semedy.reasoner.api.idb
com.semedy.reasoner.api.logic
com.semedy.reasoner.api.parser
com.semedy.reasoner.api.reasoning
com.semedy.reasoner.app
com.semedy.reasoner.core
com.semedy.reasoner.idb
com.semedy.reasoner.induction
com.semedy.reasoner.parser.oologic
com.semedy.reasoner.reasoning
com.semedy.reasoner.reasoning.monitor
com.semedy.reasoner.reasoning.processes
com.semedy.reasoner.rewriter
com.semedy.reasoner.rewriter.sips
com.semedy.reasoner.utils

Uses of Rule in com.semedy.reasoner.api.core

Methods in com.semedy.reasoner.api.core that return types with arguments of type Rule

Modifier and Type	Method	Description
List<Rule>	JsonResult.getQueries()
List<Rule>	TripleResult.getQueries()
List<Rule>	DeductiveDatabase.getRuleById(String ruleIdentifier)	get a rule by its rule identifier
List<Rule>	DeductiveDatabase.getRules()	get all rules

Methods in com.semedy.reasoner.api.core with parameters of type Rule

Modifier and Type	Method	Description
boolean	DeductiveDatabase.addRule(Rule R, boolean parsed)	add a rule to the deductive database.
void	DebuggingMonitor.postBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg)
void	DebuggingMonitor.postJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg)
void	DebuggingMonitor.postRuleEvaluation(Rule rule)
void	DebuggingMonitor.preBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg)
void	DebuggingMonitor.preJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg)
void	DebuggingMonitor.preRuleEvaluation(Rule rule)
ResultEnumerator	DeductiveDatabase.query(InterruptFlag interruptFlag, Rule query, int maxNumberOfResults, ReasoningMonitor monitor)	Pose a query.
ResultEnumerator	DeductiveDatabase.query(InterruptFlag interruptFlag, Rule query, int maxNumberOfResults, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Pose a query.

Method parameters in com.semedy.reasoner.api.core with type arguments of type Rule

Modifier and Type	Method	Description
boolean	DeductiveDatabase.addRules(Collection<Rule> rules, boolean parsed)	Add rules to the deductive database.
void	DeductiveDatabase.materializeQueries(InterruptFlag interruptFlag, List<Rule> queries, ReasoningMonitor monitor)	Materialize queries.
void	DeductiveDatabase.materializeQueries(InterruptFlag interruptFlag, List<Rule> queries, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Materialize queries.
void	StreamReasoningDB.materializeQueries(InterruptFlag interruptFlag, List<Rule> queries, ReasoningMonitor monitor)	Materialize queries.
void	StreamReasoningDB.materializeQueries(InterruptFlag interruptFlag, List<Rule> queries, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Materialize queries.
ResultEnumerator	DeductiveDatabase.query(InterruptFlag interruptFlag, List<Rule> queries, int maxNumberOfResults, ReasoningMonitor monitor)	Pose a query and several rules
ResultEnumerator	DeductiveDatabase.query(InterruptFlag interruptFlag, List<Rule> queries, int maxNumberOfResults, ReasoningMonitor monitor, Configuration config, Properties builtinConfig)	Pose a query and several rules
ResultEnumerator	DeductiveDatabase.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.
void	StreamReasoningDB.registerQueries(InterruptFlag interruptFlag, List<Rule> queries, ReasoningMonitor monitor, List<EventResultReceiver> receiver)	Register a set of queries for stream reasoning.
void	StreamReasoningDB.registerQueries(InterruptFlag interruptFlag, List<Rule> queries, ReasoningMonitor monitor, List<EventResultReceiver> receiver, Properties builtinConfig)	Register a set of queries for stream reasoning.
boolean	DeductiveDatabase.removeRules(Collection<Rule> rules)	Remove rules from the deductive database.

Uses of Rule in com.semedy.reasoner.api.idb

Methods in com.semedy.reasoner.api.idb that return types with arguments of type Rule

Modifier and Type	Method	Description
List<Rule>	IntensionalDB.feedingRules(Literal body)	delivers a list of all rules feeding into body
List<Rule>	IntensionalDB.getQueries()	return all queries
List<Rule>	IntensionalDB.getRuleById(String rid)	retrieve a rule by its unique id
List<Rule>	IntensionalDB.getRules()	returns a list of all rules
Iterator<Rule>	IntensionalDB.iterator()	iterator for all rules
List<Rule>	IntensionalDB.removerulebyid(String rid)

Methods in com.semedy.reasoner.api.idb with parameters of type Rule

Modifier and Type	Method	Description
boolean	IntensionalDB.addQuery(Rule query)	Add a query which is a rule without head.
boolean	IntensionalDB.addRule(Rule rule)	Add a rule.
int	IntensionalDB.bottomUpConnectedRule(Rule rule)	returns the number of rules connected bottom up to rule
boolean	IntensionalDB.removeQuery(Rule query)	remove a query either by its unique id or by the query text
boolean	IntensionalDB.removeRule(Rule rule)	remove a rule either by the same id or by the same rule text
String	IntensionalDB.ruleToString(Rule r, SymbolTable symbols)	return an OO-Logic representation of the rule

Method parameters in com.semedy.reasoner.api.idb with type arguments of type Rule

Modifier and Type	Method	Description
boolean	IntensionalDB.addAllRules(Collection<Rule> rules)	Add a whole collection of rules.
boolean	IntensionalDB.addRules(List<Rule> rules)	Add rules
boolean	IntensionalDB.removeAllRules(Collection<Rule> rules)	Remove a whole collection of rules.
IntensionalDB	IntensionalDB.selectRules(List<Rule> rules, BuiltinProvider builtins)	select all rules transitively feeding into rules

Constructor parameters in com.semedy.reasoner.api.idb with type arguments of type Rule

Modifier	Constructor	Description
	IntensionalDB(Collection<Rule> rules)

Uses of Rule in com.semedy.reasoner.api.logic

Methods in com.semedy.reasoner.api.logic that return Rule

Modifier and Type	Method	Description
Rule	Rule.cloneRule()	clone a rule.
Rule	Rule.getNormalized()	get a normalized version (all variables are renamed to Xi)

Methods in com.semedy.reasoner.api.logic with parameters of type Rule

Modifier and Type	Method	Description
void	Rule.mergeInfoIntoRule(Rule target)	Move all info like variable renamings, rule text to new rule.

Method parameters in com.semedy.reasoner.api.logic with type arguments of type Rule

Modifier and Type	Method	Description
String	Rule.toString(SymbolTable symbols, List<Rule> aggregationRules)

Uses of Rule in com.semedy.reasoner.api.parser

Methods in com.semedy.reasoner.api.parser that return Rule

Modifier and Type	Method	Description
Rule	RuleParser.parseRule(String s)	parse rule from a string

Methods in com.semedy.reasoner.api.parser that return types with arguments of type Rule

Modifier and Type	Method	Description
final List<Rule>	RuleParser.parseRules(String input)	parse several rules from input string

Method parameters in com.semedy.reasoner.api.parser with type arguments of type Rule

Modifier and Type	Method	Description
static void	ParserUtils.loadAllFactsAndRulesInDirectory(String directoryPath, Set<Rule> rules, Set<Literal> facts, int maxTermLength)	load all rules and facts in files in same (flat) directory
void	RuleParser.parseRulesOrFacts(InputStream input, Collection<Rule> parsedRules, Collection<Literal> parsedFacts)	parse rules and facts in input stream to the containers parsedRules and parsedFacts
void	RuleParser.parseRulesOrFacts(Reader input, Collection<Rule> parsedRules, Collection<Literal> parsedFacts)	parse rules and facts from reader to the containers parsedRules and parsedFacts
void	RuleParser.parseRulesOrFacts(StringReader input, Collection<Rule> parsedRules, Collection<Literal> parsedFacts)	parse rules and facts from string reader to the containers parsedRules and parsedFacts
void	RuleParser.parseRulesOrFacts(String input, Collection<Rule> parsedRules, Collection<Literal> parsedFacts)	parse rules and facts from string to the containers parsedRules and parsedFacts

Uses of Rule in com.semedy.reasoner.api.reasoning

Methods in com.semedy.reasoner.api.reasoning that return types with arguments of type Rule

Modifier and Type	Method	Description
List<Rule>	Reasoner.getQueries()	get queries after compilation

Methods in com.semedy.reasoner.api.reasoning with parameters of type Rule

Modifier and Type	Method	Description
void	DefaultReasoningMonitor.postBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg)
void	ReasoningMonitor.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	DefaultReasoningMonitor.postJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg)
void	ReasoningMonitor.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	DefaultReasoningMonitor.postRuleEvaluation(Rule rule)
void	ReasoningMonitor.postRuleEvaluation(Rule rule)	called after a rule has been evaluated
void	DefaultReasoningMonitor.preBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg)
void	ReasoningMonitor.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	DefaultReasoningMonitor.preJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg)
void	ReasoningMonitor.preJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg)	Called before a join or negation is executed.
void	DefaultReasoningMonitor.preRuleEvaluation(Rule rule)
void	ReasoningMonitor.preRuleEvaluation(Rule rule)	called before a rule is evaluated

Uses of Rule in com.semedy.reasoner.app

Methods in com.semedy.reasoner.app with parameters of type Rule

Modifier and Type	Method	Description
void	DebuggingMonitor.postBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg)
void	DebuggingMonitor.postJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg)
void	DebuggingMonitor.postRuleEvaluation(Rule rule)
void	DebuggingMonitor.preBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg)
void	DebuggingMonitor.preJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg)
void	DebuggingMonitor.preRuleEvaluation(Rule rule)

Uses of Rule in com.semedy.reasoner.core

Methods in com.semedy.reasoner.core that return types with arguments of type Rule

Modifier and Type	Method	Description
List<Rule>	InternalCachedJsonResult.getQueries()
List<Rule>	InternalCachedTripleResult.getQueries()

Methods in com.semedy.reasoner.core with parameters of type Rule

Modifier and Type	Method	Description
void	JsonMonitor.postBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg)
void	JsonMonitor.postJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg)
void	JsonMonitor.postRuleEvaluation(Rule rule)
void	JsonMonitor.preBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg)
void	JsonMonitor.preJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg)
void	JsonMonitor.preRuleEvaluation(Rule rule)

Constructor parameters in com.semedy.reasoner.core with type arguments of type Rule

Modifier	Constructor	Description
	InternalCachedJsonResult(String query, List<Rule> queries, List<String> jsons)
	InternalCachedTripleResult(String query, List<Rule> queries, List<Object[]> triples)

Uses of Rule in com.semedy.reasoner.idb

Methods in com.semedy.reasoner.idb that return Rule

Modifier and Type	Method	Description
Rule	RuleGraphNode.getRule()
Rule	RuleGraphNodeInfo.getRule()
Rule[]	RuleGraph.getRules()

Methods in com.semedy.reasoner.idb that return types with arguments of type Rule

Modifier and Type	Method	Description
List<Rule>	RuleGraph.feedingRules(Literal body)
List<Rule>	RuleGraph.getBodyToHeads(Literal body)	E.g. for

Methods in com.semedy.reasoner.idb with parameters of type Rule

Modifier and Type	Method	Description
int	RuleGraph.bottomUpConnectedRules(Rule rule)
List<Literal>	RuleGraph.getHeadToBodies(Rule rule)	E.g. for
RuleGraphNode	RuleGraph.getNode(Rule rule)

Method parameters in com.semedy.reasoner.idb with type arguments of type Rule

Modifier and Type	Method	Description
void	RuleGraph.addAllRules(Collection<Rule> allrules)
RuleGraph	RuleGraph.selectRules(List<Rule> rules)

Constructors in com.semedy.reasoner.idb with parameters of type Rule

Modifier	Constructor	Description
	RuleGraphNode(Rule rule)
	RuleGraphNodeInfo(Rule rule)

Uses of Rule in com.semedy.reasoner.induction

Methods in com.semedy.reasoner.induction that return types with arguments of type Rule

Modifier and Type	Method	Description
List<Rule>	RuleInduction.getRules()

Uses of Rule in com.semedy.reasoner.parser.oologic

Methods in com.semedy.reasoner.parser.oologic that return Rule

Modifier and Type	Method	Description
Rule	InternalOOLogicParser.parseRule(String s)	parse rule from a string

Methods in com.semedy.reasoner.parser.oologic that return types with arguments of type Rule

Modifier and Type	Method	Description
Iterator<Rule>	IDBCollectionAdapter.iterator()
final List<Rule>	InternalOOLogicParser.parseRules(String input)	parse several rules from input string

Methods in com.semedy.reasoner.parser.oologic with parameters of type Rule

Modifier and Type	Method	Description
boolean	IDBCollectionAdapter.add(Rule e)

Method parameters in com.semedy.reasoner.parser.oologic with type arguments of type Rule

Modifier and Type	Method	Description
boolean	IDBCollectionAdapter.addAll(Collection<? extends Rule> c)
static SymbolTable	ParserUtils.loadAllFactsAndRulesInDirectory(String directoryPath, Set<Rule> rules, Set<Literal> facts, int maxTermLength)	load all rules and facts in files in same (flat) directory
void	InternalOOLogicParser.parseRulesOrFacts(InputStream input, Collection<Rule> parsedRules, Collection<Literal> parsedFacts)	parse rules and facts in input stream to the containers parsedRules and parsedFacts
void	InternalOOLogicParser.parseRulesOrFacts(Reader input, Collection<Rule> parsedRules, Collection<Literal> parsedFacts)	parse rules and facts from reader to the containers parsedRules and parsedFacts
void	InternalOOLogicParser.parseRulesOrFacts(StringReader input, Collection<Rule> parsedRules, Collection<Literal> parsedFacts)	parse rules and facts from string reader to the containers parsedRules and parsedFacts
void	InternalOOLogicParser.parseRulesOrFacts(String input, Collection<Rule> parsedRules, Collection<Literal> parsedFacts)	parse rules and facts from string to the containers parsedRules and parsedFacts

Constructor parameters in com.semedy.reasoner.parser.oologic with type arguments of type Rule

Modifier	Constructor	Description
	OOLogicListener(Collection<Rule> parsedRules, Collection<Literal> parsedFacts)
	OOLogicListener(Collection<Rule> parsedRules, Collection<Literal> parsedFacts, SymbolTable symbols, ExternalDataTypeProvider dataTypeProvider, BuiltinProvider builtins, InvertedIndices invertedIndex)

Uses of Rule in com.semedy.reasoner.reasoning

Methods in com.semedy.reasoner.reasoning that return types with arguments of type Rule

Modifier and Type	Method	Description
List<Rule>	ReasonerNotThreaded.getQueries()
List<Rule>	ReasonerThreadedFactsPartitioning.getQueries()
List<Rule>	ReasonerThreadedRulesPartitioning.getQueries()

Methods in com.semedy.reasoner.reasoning with parameters of type Rule

Modifier and Type	Method	Description
void	TestMonitor.postBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg)
void	TestMonitor.postJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg)
void	TestMonitor.postRuleEvaluation(Rule rule)
void	TestMonitor.preBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg)
void	TestMonitor.preJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg)
void	TestMonitor.preRuleEvaluation(Rule rule)

Uses of Rule in com.semedy.reasoner.reasoning.monitor

Methods in com.semedy.reasoner.reasoning.monitor with parameters of type Rule

Modifier and Type	Method	Description
void	DefaultReasoningMonitor.postBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg)
void	DefaultReasoningMonitor.postJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg)
void	DefaultReasoningMonitor.postRuleEvaluation(Rule rule)
void	DefaultReasoningMonitor.preBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg)
void	DefaultReasoningMonitor.preJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg)
void	DefaultReasoningMonitor.preRuleEvaluation(Rule rule)

Uses of Rule in com.semedy.reasoner.reasoning.processes

Methods in com.semedy.reasoner.reasoning.processes that return Rule

Modifier and Type	Method	Description
Rule	RuleEvaluator.getRule()
Rule	VariableHandler.getRule()
Rule	RuleSimplifier.rewriteRule(Rule rule, BuiltinProvider builtins)

Methods in com.semedy.reasoner.reasoning.processes that return types with arguments of type Rule

Modifier and Type	Method	Description
List<Rule>	RuleCompiler.getQueries()	get the final queries

Methods in com.semedy.reasoner.reasoning.processes with parameters of type Rule

Modifier and Type	Method	Description
LiteralInformation	StatisticsCollector.getLiteralInformation(Rule rule, Literal body)
LiteralInformation	SystemMonitor.getLiteralInformation(String query, Rule rule, Literal body)
void	StatisticsCollector.postBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg)
void	SystemReasoningMonitor.postBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg)
void	StatisticsCollector.postJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg)
void	SystemMonitor.postJoin(String queryKey, Rule rule, Literal body, Literal originalLiteral, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, long sentTuples, String joinType)
void	SystemReasoningMonitor.postJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg)
void	StatisticsCollector.postRuleEvaluation(Rule rule)
void	SystemMonitor.postRuleEvaluation(Rule rule)
void	SystemReasoningMonitor.postRuleEvaluation(Rule rule)
void	StatisticsCollector.preBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg)
void	SystemReasoningMonitor.preBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg)
void	StatisticsCollector.preJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg)
void	SystemMonitor.preJoin(Rule rule, Literal literal, String operatorName, String receiverName, Relation[] relationA, Relation[] relationB, String msg)
void	SystemReasoningMonitor.preJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg)
void	StatisticsCollector.preRuleEvaluation(Rule rule)
void	SystemMonitor.preRuleEvaluation(Rule rule)
void	SystemReasoningMonitor.preRuleEvaluation(Rule rule)
Rule	RuleSimplifier.rewriteRule(Rule rule, BuiltinProvider builtins)

Constructors in com.semedy.reasoner.reasoning.processes with parameters of type Rule

Modifier	Constructor	Description
	ResultReceiver(InterruptFlag interruptflag, Rule query, int arity, ReasoningMonitor monitor, boolean cepReasoning, boolean cepReasoningWithRetracts, String tempDir, boolean swapping, long maxResults)
	RuleEvaluator(InterruptFlag interruptFlag, ReasoningMonitor monitor, Rule rule, Rule originalRule, Literal[] originalBodies, boolean extensional, boolean streamReasoning, ProcessExecutor pE, Schemas schemas)
	Scatter(InterruptFlag interruptFlag, int destarity, Rule rule, ReasoningMonitor monitor)
	SetConstants(InterruptFlag interruptFlag, int[] source, int[] dest, int[] groundpos, long[] groundterms, int destarity, Rule rule, ReasoningMonitor monitor)
	VariableHandler(Rule rule)

Uses of Rule in com.semedy.reasoner.rewriter

Methods in com.semedy.reasoner.rewriter that return types with arguments of type Rule

Modifier and Type	Method	Description
List<Rule>	AxiomInjector.createAxioms(IntensionalDB idb, SymbolTable symbolTable, ExternalDataTypeProvider datatypes, Configuration config)
List<Rule>	AxiomInjector.createAxioms(Object module, SymbolTable symbols, ExternalDataTypeProvider datatypes, int i)

Methods in com.semedy.reasoner.rewriter with parameters of type Rule

Modifier and Type	Method	Description
List<Object>	AxiomInjector.detectModules(Rule rule, SymbolTable symbols)

Uses of Rule in com.semedy.reasoner.rewriter.sips

Methods in com.semedy.reasoner.rewriter.sips with parameters of type Rule

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

Uses of Rule in com.semedy.reasoner.utils

Methods in com.semedy.reasoner.utils with parameters of type Rule

Modifier and Type	Method	Description
void	ReasoningMonitorTimes.postBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, long numResultTuples, ReasoningRelation result, String msg)
void	ReasoningMonitorTimes.postJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, long numResultTuples, ReasoningRelation result, String joinType, String msg)
void	ReasoningMonitorTimes.postRuleEvaluation(Rule rule)
void	ReasoningMonitorTimes.preBuiltinExecution(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, String msg)
void	ReasoningMonitorTimes.preJoin(Rule rule, Literal literal, String operatorName, String receiverName, ReasoningRelation[] relationA, ReasoningRelation[] relationB, String msg)
void	ReasoningMonitorTimes.preRuleEvaluation(Rule rule)
static String	OOlogicShape.toString(Rule r, int markedIndex, SymbolTable symbols, BuiltinProvider builtins)	return OO logic syntax for rule r, rule body 'markedIndex' is marked
static String	OOlogicShape.toString(Rule r, SymbolTable symbols, BuiltinProvider builtins)	return OO logic syntax for rule r