Index

A B C D E F H M N P Q R S T U
All Classes and Interfaces|All Packages|Serialized Form

A

apply(RewritingInput) - Method in class fr.boreal.backward_chaining.evaluators.DefaultRewritingFunction

apply(RewritingInput, String) - Method in class fr.boreal.backward_chaining.evaluators.DefaultQueryRewritingOutputIfTimeoutFunction

B

BackwardChainingAlgorithm - Interface in fr.boreal.backward_chaining.api

A Backward Chaining algorithm rewrites a FOQuery according to the given RuleBase.

C

compilation() - Method in record class fr.boreal.backward_chaining.evaluators.RewritingInput

Returns the value of the compilation record component.

computeCore(FOQuery) - Method in class fr.boreal.backward_chaining.core.NoCoreProcessor

computeCore(FOQuery) - Method in interface fr.boreal.backward_chaining.core.QueryCoreProcessor

Compute the core of a query by removing all the redundant atoms in it, in considering the answer variables as constants, these variables must belong to the core.

computeCore(FOQuery) - Method in class fr.boreal.backward_chaining.core.QueryCoreProcessorImpl

cover(Set<FOQuery>) - Method in interface fr.boreal.backward_chaining.cover.CoverFunction

cover(Set<FOQuery>) - Method in class fr.boreal.backward_chaining.cover.NoCover

cover(Set<FOQuery>) - Method in class fr.boreal.backward_chaining.cover.QueryCover

CoverFunction - Interface in fr.boreal.backward_chaining.cover

From Melanie Konïg's thesis Let Q1s and Q2s two set of queries We say that Q1s covers Q2s (noted Q1s >= Q2s) if for every query Q2 of Q2 there exist a query Q1 from Q1s such that Q1 >= Q2 (Q1 subsumes Q2) For termination reasons, the cover should keep in priority the already explored queries

createRewritingInputs() - Method in class fr.boreal.backward_chaining.evaluators.RewritingInputWrapper

D

DefaultQueryRewritingOutputIfTimeoutFunction - Class in fr.boreal.backward_chaining.evaluators

Creates a query rewriting output where the timeout is indicated

DefaultQueryRewritingOutputIfTimeoutFunction() - Constructor for class fr.boreal.backward_chaining.evaluators.DefaultQueryRewritingOutputIfTimeoutFunction

DefaultRewritingFunction - Class in fr.boreal.backward_chaining.evaluators

A class to encapsulate the function of rewriting a query against a ruleset and via a certain algorithm and producing a RewritingResult.

DefaultRewritingFunction() - Constructor for class fr.boreal.backward_chaining.evaluators.DefaultRewritingFunction

E

equals(Object) - Method in record class fr.boreal.backward_chaining.evaluators.RewritingInput

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class fr.boreal.backward_chaining.evaluators.RewritingOutput

Indicates whether some other object is "equal to" this one.

exists(FOQuery, FOQuery) - Method in class fr.boreal.backward_chaining.homomorphism.QueryHomomorphism

F

fr.boreal.backward_chaining - module fr.boreal.backward_chaining

Module for backward chaining elements of InteGraal

fr.boreal.backward_chaining.api - package fr.boreal.backward_chaining.api

fr.boreal.backward_chaining.core - package fr.boreal.backward_chaining.core

fr.boreal.backward_chaining.cover - package fr.boreal.backward_chaining.cover

fr.boreal.backward_chaining.evaluators - package fr.boreal.backward_chaining.evaluators

fr.boreal.backward_chaining.homomorphism - package fr.boreal.backward_chaining.homomorphism

fr.boreal.backward_chaining.pure - package fr.boreal.backward_chaining.pure

fr.boreal.backward_chaining.pure.rewriting_operator - package fr.boreal.backward_chaining.pure.rewriting_operator

fr.boreal.backward_chaining.source_target - package fr.boreal.backward_chaining.source_target

fr.boreal.backward_chaining.unfolding - package fr.boreal.backward_chaining.unfolding

H

hashCode() - Method in record class fr.boreal.backward_chaining.evaluators.RewritingInput

Returns a hash code value for this object.

hashCode() - Method in record class fr.boreal.backward_chaining.evaluators.RewritingOutput

Returns a hash code value for this object.

M

message() - Method in record class fr.boreal.backward_chaining.evaluators.RewritingOutput

Returns the value of the message record component.

N

NoCoreProcessor - Class in fr.boreal.backward_chaining.core

NoCoreProcessor() - Constructor for class fr.boreal.backward_chaining.core.NoCoreProcessor

NoCover - Class in fr.boreal.backward_chaining.cover

Does nothing

NoCover() - Constructor for class fr.boreal.backward_chaining.cover.NoCover

P

printOnlyRewritingCount() - Method in record class fr.boreal.backward_chaining.evaluators.RewritingOutput

printRewritingCount() - Method in record class fr.boreal.backward_chaining.evaluators.RewritingOutput

PureRewriter - Class in fr.boreal.backward_chaining.pure

From Melanie Konïg's thesis, algorithm 1 implementation on Graal v1.3 Produces a cover of the set of all rewritings of a query Q with a set of rules R using piece unifiers

PureRewriter() - Constructor for class fr.boreal.backward_chaining.pure.PureRewriter

Creates a new PureRewriter using default parameters Rewriting operator SRA Cover function query cover

PureRewriter(RewritingOperator, CoverFunction, QueryCoreProcessor) - Constructor for class fr.boreal.backward_chaining.pure.PureRewriter

Creates a new PureRewriter using the given parameters

PureRewriter(RewritingOperator, CoverFunction, QueryCoreProcessor, RuleCompilation) - Constructor for class fr.boreal.backward_chaining.pure.PureRewriter

Creates a new PureRewriter using the given parameters

PureRewriter(RuleCompilation) - Constructor for class fr.boreal.backward_chaining.pure.PureRewriter

Creates a new PureRewriter using the given parameters

Q

query() - Method in record class fr.boreal.backward_chaining.evaluators.RewritingInput

Returns the value of the query record component.

query() - Method in record class fr.boreal.backward_chaining.evaluators.RewritingOutput

Returns the value of the query record component.

QueryCoreProcessor - Interface in fr.boreal.backward_chaining.core

Compute the core of a FOQuery seen as a set of atoms The computed core is a FOQuery without redundant atoms; 'core' corresponds to the notion of graph theory (the set of atoms being viewed as a bipartite (predicate/term) graph).

QueryCoreProcessorImpl - Class in fr.boreal.backward_chaining.core

QueryCoreProcessorImpl() - Constructor for class fr.boreal.backward_chaining.core.QueryCoreProcessorImpl

Default constructor using generic homomorphism

QueryCoreProcessorImpl(CoreProcessor) - Constructor for class fr.boreal.backward_chaining.core.QueryCoreProcessorImpl

Constructor using a specific core processor

QueryCoreProcessorImpl(RuleCompilation) - Constructor for class fr.boreal.backward_chaining.core.QueryCoreProcessorImpl

Constructor using a homomorphism with compilation test

QueryCoreProcessorImpl(RuleCompilation, CoreProcessor) - Constructor for class fr.boreal.backward_chaining.core.QueryCoreProcessorImpl

Constructor using a homomorphism with compilation test and a specific core processor

QueryCover - Class in fr.boreal.backward_chaining.cover

Computes the cover of a set of queries using homomorphism to detect if a query is more general than another

QueryCover() - Constructor for class fr.boreal.backward_chaining.cover.QueryCover

Default constructor.

QueryCover(RuleCompilation) - Constructor for class fr.boreal.backward_chaining.cover.QueryCover

Constructor with compilation

QueryHomomorphism - Class in fr.boreal.backward_chaining.homomorphism

QueryHomomorphism() - Constructor for class fr.boreal.backward_chaining.homomorphism.QueryHomomorphism

Default constructor.

QueryHomomorphism(RuleCompilation) - Constructor for class fr.boreal.backward_chaining.homomorphism.QueryHomomorphism

Constructor with compilation

QueryRewriter - Class in fr.boreal.backward_chaining.evaluators

A class for rewriting a collection of FOQuery objects.

QueryRewriter(Collection<FOQuery>, RuleBase, RuleCompilation, Integer) - Constructor for class fr.boreal.backward_chaining.evaluators.QueryRewriter

Constructs a QueryRewriter with the given collection of queries, rules, and compilation.

R

rewrite(FOQuery, RuleBase) - Method in interface fr.boreal.backward_chaining.api.BackwardChainingAlgorithm

Execute the algorithm

rewrite(FOQuery, RuleBase) - Method in class fr.boreal.backward_chaining.pure.PureRewriter

rewrite(FOQuery, RuleBase) - Method in interface fr.boreal.backward_chaining.pure.rewriting_operator.RewritingOperator

A rewriting operator rew is a function which takes a conjunctive query Q and a set of rules R and outputs a set of conjunctive queries noted rew(Q, R)

rewrite(FOQuery, RuleBase) - Method in class fr.boreal.backward_chaining.pure.rewriting_operator.SingleRuleAggregator

rewrite(FOQuery, RuleBase) - Method in class fr.boreal.backward_chaining.source_target.SourceTargetRewriter

rewrite(Collection<FOQuery>, RuleBase) - Method in interface fr.boreal.backward_chaining.pure.rewriting_operator.RewritingOperator

Generalization to a set of queries

RewritingInput - Record Class in fr.boreal.backward_chaining.evaluators

RewritingInput(FOQuery, RuleBase, RuleCompilation) - Constructor for record class fr.boreal.backward_chaining.evaluators.RewritingInput

Creates an instance of a RewritingInput record class.

RewritingInputWrapper - Class in fr.boreal.backward_chaining.evaluators

RewritingInputWrapper(Collection<FOQuery>, RuleBase, RuleCompilation) - Constructor for class fr.boreal.backward_chaining.evaluators.RewritingInputWrapper

RewritingOperator - Interface in fr.boreal.backward_chaining.pure.rewriting_operator

From Melanie Konïg's thesis A rewriting operator rew is a function which takes a conjunctive query Q and a set of rules R and outputs a set of conjunctive queries noted rew(Q, R).

RewritingOutput - Record Class in fr.boreal.backward_chaining.evaluators

RewritingOutput(FOQuery, FOQueryDisjunction, Optional<String>) - Constructor for record class fr.boreal.backward_chaining.evaluators.RewritingOutput

Creates an instance of a RewritingOutput record class.

rewritings() - Method in record class fr.boreal.backward_chaining.evaluators.RewritingOutput

Returns the value of the rewritings record component.

rules() - Method in record class fr.boreal.backward_chaining.evaluators.RewritingInput

Returns the value of the rules record component.

S

SingleRuleAggregator - Class in fr.boreal.backward_chaining.pure.rewriting_operator

From Melanie Konïg's thesis Rewriting operator SRA Query rewriting engine that rewrite query using aggregation by rule of most general single piece-unifiers From Melanie Konïg's thesis Rewriting operator SRA
Query rewriting engine that rewrite query using aggregation by rule of most general single piece-unifiers

SingleRuleAggregator() - Constructor for class fr.boreal.backward_chaining.pure.rewriting_operator.SingleRuleAggregator

Creates a new SingleRuleAggregator using default parameters query unifier algorithm : QueryUnifierAlgorithm

SingleRuleAggregator(RuleCompilation) - Constructor for class fr.boreal.backward_chaining.pure.rewriting_operator.SingleRuleAggregator

Creates a new SingleRuleAggregator using default parameters query unifier algorithm : QueryUnifierAlgorithm

SingleRuleAggregator(QueryUnifierAlgorithm) - Constructor for class fr.boreal.backward_chaining.pure.rewriting_operator.SingleRuleAggregator

Creates a new SingleRuleAggregator using the given parameters

SingleRuleAggregator(QueryUnifierAlgorithm, RuleCompilation) - Constructor for class fr.boreal.backward_chaining.pure.rewriting_operator.SingleRuleAggregator

Creates a new SingleRuleAggregator using the given parameters
The unifier algorithm must have been instantiated with the given compilation if it is not an empty compilation

SourceTargetRewriter - Class in fr.boreal.backward_chaining.source_target

This operator rewrites a query with the given rules assuming the rules are source to target rules meaning that the vocabulary of the initial query and the rewritings will be totally disjoint.

SourceTargetRewriter() - Constructor for class fr.boreal.backward_chaining.source_target.SourceTargetRewriter

Creates a new SourceTargetOperator using default parameters query unifier algorithm : QueryUnifierAlgorithm

SourceTargetRewriter(QueryUnifierAlgorithm) - Constructor for class fr.boreal.backward_chaining.source_target.SourceTargetRewriter

Creates a new SourceTargetOperator using the given parameters

T

toString() - Method in record class fr.boreal.backward_chaining.evaluators.RewritingInput

Returns a string representation of this record class.

toString() - Method in record class fr.boreal.backward_chaining.evaluators.RewritingOutput

Returns a string representation of this record class.

U

UCQUnfolder - Class in fr.boreal.backward_chaining.unfolding

UCQUnfolder(CoverFunction, QueryCoreProcessor, RuleCompilation) - Constructor for class fr.boreal.backward_chaining.unfolding.UCQUnfolder

Creates a new UCQUnfolder using the given parameters

UCQUnfolder(RuleCompilation) - Constructor for class fr.boreal.backward_chaining.unfolding.UCQUnfolder

Creates a new UCQUnfolder using the given parameters

unfold(Collection<FOQuery>) - Method in class fr.boreal.backward_chaining.unfolding.UCQUnfolder

Each query of the UCQ will be a core Computes a cover of the unfolding before returning it

A B C D E F H M N P Q R S T U
All Classes and Interfaces|All Packages|Serialized Form