Uses of Interface
com.bigdata.relation.rule.IRule

Packages that use IRule

Package	Description
com.bigdata.bop.joinGraph	This package provides support for join graphs, query optimization, and generating full query plans from a join graph and the evaluation order identified by a query optimizer.
com.bigdata.bop.joinGraph.fast
com.bigdata.rdf.inf	This package provides an eager closure inference engine for most of the RDF and RDFS entailments and can be used to realize entailments for owl:sameAs, owl:equivilentClass, and owl:equivilentProperty.
com.bigdata.rdf.rules
com.bigdata.rdf.spo	This package defines a statement model using long term identifiers rather than RDF Value objects.
com.bigdata.relation.rule	This package includes an abstraction layer for rules.
com.bigdata.relation.rule.eval	This package supports rule evaluation.
com.bigdata.relation.rule.eval.pipeline	This package implements a pipeline join.

Uses of IRule in com.bigdata.bop.joinGraph

Fields in com.bigdata.bop.joinGraph declared as IRule

Modifier and Type	Field and Description
protected IRule	NoReorderEvaluationPlan.rule

Methods in com.bigdata.bop.joinGraph with parameters of type IRule

Modifier and Type	Method and Description
IEvaluationPlan	FixedEvaluationPlanFactory.newPlan(IJoinNexus joinNexus, IRule rule)
IEvaluationPlan	IEvaluationPlanFactory.newPlan(IJoinNexus joinNexus, IRule rule) Return a plan for the rule.
IEvaluationPlan	NOPEvaluationPlanFactory.newPlan(IJoinNexus joinNexus, IRule rule)

Constructors in com.bigdata.bop.joinGraph with parameters of type IRule

Constructor and Description
NoReorderEvaluationPlan(IJoinNexus joinNexus, IRule rule)

Uses of IRule in com.bigdata.bop.joinGraph.fast

Methods in com.bigdata.bop.joinGraph.fast with parameters of type IRule

Modifier and Type	Method and Description
IEvaluationPlan	DefaultEvaluationPlanFactory2.newPlan(IJoinNexus joinNexus, IRule rule)

Constructors in com.bigdata.bop.joinGraph.fast with parameters of type IRule

Constructor and Description
DefaultEvaluationPlan2(IJoinNexus joinNexus, IRule rule) Computes an evaluation plan for the rule.
DefaultEvaluationPlan2(IRangeCountFactory rangeCountFactory, IRule rule) Computes an evaluation plan for the rule.

Uses of IRule in com.bigdata.rdf.inf

Fields in com.bigdata.rdf.inf declared as IRule

Modifier and Type	Field and Description
IRule	Justification.rule From the ctor, but not persisted.

Uses of IRule in com.bigdata.rdf.rules

Classes in com.bigdata.rdf.rules that implement IRule

Modifier and Type	Class and Description
class	AbstractRuleDistinctTermScan Base class for rules having a single predicate that is none bound in the tail and a single variable in the head.
class	AbstractRuleFastClosure_11_13 Rule for steps 11 and 13 of the "fast closure" method.
class	AbstractRuleFastClosure_3_5_6_7_9 Rule used in steps 3, 5, 6, 7, and 9 of the fast forward closure program.
class	AbstractRuleFastClosure_5_6_7_9
class	MatchRule Rule supporting AbstractTripleStore.match(Literal[], URI[], URI).
class	RuleFastClosure11 Rule for step 11 of InferenceEngine#fastForwardClosure().
class	RuleFastClosure13 Rule for step 13 of InferenceEngine#fastForwardClosure().
class	RuleFastClosure3
class	RuleFastClosure5
class	RuleFastClosure6
class	RuleFastClosure7
class	RuleFastClosure9
class	RuleOwlEquivalentClass owl:equivalentClass
class	RuleOwlEquivalentProperty owl:equivalentProperty
class	RuleOwlFunctionalProperty owl:FunctionalProperty
class	RuleOwlHasValue owl:hasValue
class	RuleOwlInverseFunctionalProperty owl:InverseFunctionalProperty
class	RuleOwlInverseOf1 owl:inverseOf1
class	RuleOwlInverseOf2 owl:inverseOf2
class	RuleOwlSameAs1 owl:sameAs1
class	RuleOwlSameAs1b owl:sameAs1b
class	RuleOwlSameAs2 owl:sameAs2
class	RuleOwlSameAs3 owl:sameAs3
class	RuleOwlSymmetricProperty owl:SymmetricProperty
class	RuleOwlTransitiveProperty1 owl:TransitiveProperty1
class	RuleOwlTransitiveProperty2 owl:TransitiveProperty2
class	RuleRdf01 rdf1:
class	RuleRdfs02 rdfs2:
class	RuleRdfs03 rdfs3:
class	RuleRdfs04a rdfs4a:
class	RuleRdfs04b rdfs4b:
class	RuleRdfs05 rdfs5: this variant uses a nested subquery and may be safely used during truth maintenance.
class	RuleRdfs06 rdfs6:
class	RuleRdfs07 rdfs7:
class	RuleRdfs08 rdfs8:
class	RuleRdfs09 rdfs9:
class	RuleRdfs10 rdfs10:
class	RuleRdfs11 rdfs11: this variant uses a nested subquery and may be safely used during truth maintenance.
class	RuleRdfs12 rdfs12:
class	RuleRdfs13 rdfs13:

Methods in com.bigdata.rdf.rules that return IRule

Modifier and Type	Method and Description
protected IRule	TestSlice.newRule(AbstractTripleStore store, ISlice slice, BigdataValue foo, BigdataValue bar) Creates a new rule instance for TestSlice.test_slice().

Methods in com.bigdata.rdf.rules with parameters of type IRule

Modifier and Type	Method and Description
protected void	AbstractRuleTestCase.applyRule(AbstractTripleStore db, IRule rule, IElementFilter<ISPO> filter, long expectedSolutionCount, long expectedMutationCount) Applies the rule, copies the new entailments into the store and checks the expected #of inferences computed and new statements copied into the store.
protected void	AbstractRuleTestCase.applyRule(AbstractTripleStore db, IRule rule, long expectedSolutionCount, long expectedMutationCount)
Program	TMUtility.mapRuleForTruthMaintenance(IRule rule, String focusStore) Truth maintenance for RDF needs to compute the entailments as if the statements in a temporary triple store (known as the focusStore) were already part of the database (for insert) or as if they had already been removed (for delete).
ISortKeyBuilder<IBindingSet>	RDFJoinNexus.newBindingSetSortKeyBuilder(IRule rule) FIXME unit tests for DISTINCT with a head and ELEMENT, with bindings and a head, with bindings but no head, and with a head but no bindings (error).

Constructors in com.bigdata.rdf.rules with parameters of type IRule

Constructor and Description
AbstractRuleDistinctTermScan.DistinctTermScan(IRule rule, IJoinNexus joinNexus, IBuffer<ISolution[]> buffer, IVariable<IV> h, SPOKeyOrder keyOrder)
AbstractRuleFastClosure_3_5_6_7_9.FastClosureRuleTask(String database, String focusStore, IRule rule, IJoinNexus joinNexus, IBuffer<ISolution[]> buffer, IConstant<IV> rdfsSubPropertyOf, IConstant<IV> propertyId) (?x, {P}, ?y) -> (?x, propertyId, ?y) Note: Both the database and the (optional) focusStore relation names MUST be declared for these rules.

Uses of IRule in com.bigdata.rdf.spo

Classes in com.bigdata.rdf.spo that implement IRule

Modifier and Type	Class and Description
protected class	TestSPORelation.TestRuleRdfs9 this is rdfs9:

Uses of IRule in com.bigdata.relation.rule

Classes in com.bigdata.relation.rule that implement IRule

Modifier and Type	Class and Description
protected static class	AbstractRuleTestCase.MyRule
protected static class	AbstractRuleTestCase.TestRuleRdfs04a rdfs4a:
protected static class	AbstractRuleTestCase.TestRuleRdfs9 this is rdfs9:
class	Rule<E> Default impl.

Methods in com.bigdata.relation.rule that return IRule

Modifier and Type	Method and Description
IRule<E>	IRule.specialize(IBindingSet bindingSet, IConstraint[] constraints) Specialize a rule - the name of the new rule will be derived from the name of the old rule with an appended single quote to indicate that it is a derived variant.
IRule<E>	Rule.specialize(IBindingSet bindingSet, IConstraint[] constraints)
IRule<E>	IRule.specialize(String name, IBindingSet bindingSet, IConstraint[] constraints) Specialize a rule by binding zero or more variables and adding zero or more constraints.
IRule<E>	Rule.specialize(String name, IBindingSet bindingSet, IConstraint[] constraints)

Methods in com.bigdata.relation.rule with parameters of type IRule

Modifier and Type	Method and Description
void	Program.addClosureOf(IRule rule) Adds a sub-program consisting of the fixed point closure of the given rule.
void	Program.addClosureOf(IRule[] rules) Adds a sub-program consisting of the fixed point closure of the given rules.

Uses of IRule in com.bigdata.relation.rule.eval

Methods in com.bigdata.relation.rule.eval that return IRule

Modifier and Type	Method and Description
IRule<E>	ISolution.getRule() Return the IRule that generated this solution (optional operation).
IRule	RuleState.getRule()
IRule	IRuleState.getRule() The IRule being evaluated.
IRule<E>	Solution.getRule()

Methods in com.bigdata.relation.rule.eval with parameters of type IRule

Modifier and Type	Method and Description
boolean	AbstractJoinNexus.bind(IRule rule, int index, Object e, IBindingSet bindings)
boolean	IJoinNexus.bind(IRule rule, int index, Object e, IBindingSet bindings) Deprecated. by #bind(IPredicate, Object, IBindingSet)
protected IKeyOrder[]	RuleState.computeKeyOrderForEachTail(IRule rule, IJoinNexus joinNexus, int[] order, int[] nvars) Return an array indicating the IKeyOrder that will be used when reading on each of the tail predicates.
static IVariable[][]	RuleState.computeRequiredVarsForEachTail(IRule rule, int[] order) Return an array indicated what variables are required for each tail index.
IRuleTaskFactory	AbstractJoinNexus.getRuleTaskFactory(boolean parallel, IRule rule)
IRuleTaskFactory	IJoinNexus.getRuleTaskFactory(boolean parallel, IRule rule) Deprecated. by annotations on individual BOps which specify which join operator is to be used on a join by join basis.
static void	RuleLog.log(IRule rule, IRuleState ruleState, JoinStats[] joinStats) Log distributed join execution statistics using a CSV format.
IBindingSet	AbstractJoinNexus.newBindingSet(IRule rule)
IBindingSet	IJoinNexus.newBindingSet(IRule rule) Factory for IBindingSet implementations.
ISortKeyBuilder<IBindingSet>	IJoinNexus.newBindingSetSortKeyBuilder(IRule rule) Return an ISortKeyBuilder for an IBindingSet.
ISolution	AbstractJoinNexus.newSolution(IRule rule, IBindingSet bindingSet)
ISolution	IJoinNexus.newSolution(IRule rule, IBindingSet bindingSet) Create a new ISolution.
IStepTask	RunRuleAndFlushBufferTaskFactory.newTask(IRule rule, IJoinNexus joinNexus, IBuffer<ISolution[]> buffer) Deprecated.
IStepTask	DefaultRuleTaskFactory.newTask(IRule rule, IJoinNexus joinNexus, IBuffer<ISolution[]> buffer)
IStepTask	IRuleTaskFactory.newTask(IRule rule, IJoinNexus joinNexus, IBuffer<ISolution[]> buffer) The object will be used to evaluate the rule for the IRule.

Constructors in com.bigdata.relation.rule.eval with parameters of type IRule

Constructor and Description
RuleState(IRule rule) For test cases.
RuleState(IRule rule, IJoinNexus joinNexus)
Solution(IJoinNexus joinNexus, IRule<E> rule, IBindingSet bindingSet) Constructs the element iff requested, saves the rule reference iff requested, and clones and saves the bindingSet iff requested.
TestRuleState.RuleState2(IRule rule, int[] order)

Uses of IRule in com.bigdata.relation.rule.eval.pipeline

Fields in com.bigdata.relation.rule.eval.pipeline declared as IRule

Modifier and Type	Field and Description
protected IRule<?>	JoinTask.rule The rule that is being evaluated.
protected IRule	JoinMasterTask.rule

Methods in com.bigdata.relation.rule.eval.pipeline with parameters of type IRule

Modifier and Type	Method and Description
static StringBuilder	JoinStats.toString(IRule rule, IRuleState ruleState, JoinStats[] a) Formats the array of JoinStats into a CSV table view.

Constructors in com.bigdata.relation.rule.eval.pipeline with parameters of type IRule

Constructor and Description
DistributedJoinMasterTask(IRule rule, IJoinNexus joinNexus, IBuffer<ISolution[]> buffer)
DistributedJoinTask(IRule rule, IJoinNexus joinNexus, int[] order, int orderIndex, int partitionId, AbstractScaleOutFederation<?> fed, IJoinMaster master, UUID masterUUID, IAsynchronousIterator<IBindingSet[]> src, IKeyOrder[] keyOrders, DataService dataService, IVariable[][] requiredVars)
JoinMasterTask(IRule rule, IJoinNexus joinNexus, IBuffer<ISolution[]> solutionBuffer)
JoinTask(IRule rule, IJoinNexus joinNexus, int[] order, int orderIndex, int partitionId, IJoinMaster masterProxy, UUID masterUUID, IVariable[][] requiredVars) Instances of this class MUST be created in the appropriate execution context of the target DataService so that the federation and the joinNexus references are both correct and so that it has access to the local index object for the specified index partition.
JoinTaskFactoryTask(String scaleOutIndexName, IRule rule, IJoinNexusFactory joinNexusFactory, int[] order, int orderIndex, int partitionId, IJoinMaster masterProxy, UUID masterUUID, IAsynchronousIterator<IBindingSet[]> sourceItrProxy, IKeyOrder[] keyOrders, IVariable[][] requiredVars)
LocalJoinMasterTask(IRule rule, IJoinNexus joinNexus, IBuffer<ISolution[]> buffer)
LocalJoinTask(IRule rule, IJoinNexus joinNexus, int[] order, int orderIndex, IJoinMaster masterProxy, UUID masterUUID, IAsynchronousIterator<IBindingSet[]> source, IBuffer<ISolution[]> solutionBuffer, IVariable[][] requiredVars)