Uses of Interface
fr.lirmm.graphik.util.profiler.Profilable

Packages that use Profilable

Package	Description
fr.lirmm.graphik.graal.api.backward_chaining
fr.lirmm.graphik.graal.api.core
fr.lirmm.graphik.graal.api.forward_chaining
fr.lirmm.graphik.graal.api.homomorphism
fr.lirmm.graphik.graal.api.kb
fr.lirmm.graphik.graal.backward_chaining.pure
fr.lirmm.graphik.graal.core.compilation
fr.lirmm.graphik.graal.forward_chaining
fr.lirmm.graphik.graal.forward_chaining.halting_condition
fr.lirmm.graphik.graal.homomorphism
fr.lirmm.graphik.graal.homomorphism.backjumping
fr.lirmm.graphik.graal.homomorphism.bootstrapper
fr.lirmm.graphik.graal.homomorphism.forward_checking
fr.lirmm.graphik.graal.homomorphism.scheduler
fr.lirmm.graphik.graal.homomorphism.utils
fr.lirmm.graphik.graal.kb
fr.lirmm.graphik.graal.store.rdbms.homomorphism
fr.lirmm.graphik.util.profiler

Uses of Profilable in fr.lirmm.graphik.graal.api.backward_chaining

Subinterfaces of Profilable in fr.lirmm.graphik.graal.api.backward_chaining

Modifier and Type	Interface and Description
interface	QueryRewriter
interface	QueryRewriterWithCompilation

Uses of Profilable in fr.lirmm.graphik.graal.api.core

Subinterfaces of Profilable in fr.lirmm.graphik.graal.api.core

Modifier and Type	Interface and Description
interface	InMemoryKnowledgeBase
interface	RulesCompilation

Uses of Profilable in fr.lirmm.graphik.graal.api.forward_chaining

Subinterfaces of Profilable in fr.lirmm.graphik.graal.api.forward_chaining

Modifier and Type	Interface and Description
interface	Chase This interface represents a chase (forward chaining) algorithm seen as an iterative process.

Classes in fr.lirmm.graphik.graal.api.forward_chaining that implement Profilable

Modifier and Type	Class and Description
class	AbstractChase<T1 extends Rule,T2 extends AtomSet>
class	AbstractDirectChase<T1 extends Rule,T2 extends AtomSet>

Uses of Profilable in fr.lirmm.graphik.graal.api.homomorphism

Subinterfaces of Profilable in fr.lirmm.graphik.graal.api.homomorphism

Modifier and Type	Interface and Description
interface	ExistentialHomomorphism<T1,T2 extends AtomSet>
interface	ExistentialHomomorphismPattern<T1,T2>
interface	ExistentialHomomorphismWithCompilation<T1,T2 extends AtomSet>
interface	Homomorphism<T1,T2 extends AtomSet>
interface	HomomorphismPattern<T1,T2 extends AtomSet>
interface	HomomorphismWithCompilation<T1,T2 extends AtomSet>
interface	UCQHomomorphism<A extends AtomSet>
interface	UCQHomomorphismWithCompilation<A extends AtomSet>

Uses of Profilable in fr.lirmm.graphik.graal.api.kb

Subinterfaces of Profilable in fr.lirmm.graphik.graal.api.kb

Modifier and Type	Interface and Description
interface	KnowledgeBase A knowledge base is composed of facts, existential rules, negative constraints and queries.

Uses of Profilable in fr.lirmm.graphik.graal.backward_chaining.pure

Subinterfaces of Profilable in fr.lirmm.graphik.graal.backward_chaining.pure

Modifier and Type	Interface and Description
interface	RewritingOperator

Classes in fr.lirmm.graphik.graal.backward_chaining.pure that implement Profilable

Modifier and Type	Class and Description
class	AbstractRewritingOperator
class	AggregAllRulesOperator Rewriting operator ARAM rewriting engine that rewrite query using aggregation all rule of most general single piece-unifiers, selecting unifiers during the aggregation and using a marking system to avoid redundant rewritings
class	AggregSingleRuleOperator Rewriting operator SRA Query rewriting engine that rewrite query using aggregation by rule of most general single piece-unifiers
class	BasicAggregAllRulesOperator Rewriting operator ARA rewriting engine that rewrite query using aggregation all rule of most general single piece-unifiers
class	PureRewriter

Uses of Profilable in fr.lirmm.graphik.graal.core.compilation

Classes in fr.lirmm.graphik.graal.core.compilation that implement Profilable

Modifier and Type	Class and Description
class	AbstractRulesCompilation
class	HierarchicalCompilation
class	IDCompilation
class	NoCompilation

Uses of Profilable in fr.lirmm.graphik.graal.forward_chaining

Classes in fr.lirmm.graphik.graal.forward_chaining that implement Profilable

Modifier and Type	Class and Description
class	BasicChase<T extends AtomSet> This chase (forward-chaining) algorithm iterates over all rules at each step.
class	BreadthFirstChase This chase (forward-chaining) algorithm iterates over all rules at each step.
class	ChaseWithGRD<T extends AtomSet> This chase (forward-chaining) algorithm use GRD to define the Rules that will be triggered in the next step.
class	ChaseWithGRDAndUnfiers<T extends AtomSet>
class	SccChase<T extends AtomSet> This Chase apply rules following the layers of the Strongly Connected Components Graph (SCCG) of the Graph Of Rule Dependencies (GRD).

Uses of Profilable in fr.lirmm.graphik.graal.forward_chaining.halting_condition

Classes in fr.lirmm.graphik.graal.forward_chaining.halting_condition that implement Profilable

Modifier and Type	Class and Description
class	RestrictedChaseHaltingCondition This HaltingCondition will produce new data according to a rule, a substitution s and specified data if s cannot be extended to a homomorphism from B ∪ H to F where B is the rule body, H the rule HEAD and F the data.

Uses of Profilable in fr.lirmm.graphik.graal.homomorphism

Classes in fr.lirmm.graphik.graal.homomorphism that implement Profilable

Modifier and Type	Class and Description
class	AbstractHomomorphism<T1,T2 extends AtomSet>
class	AbstractHomomorphismWithCompilation<T1,T2 extends AtomSet>
class	AtomicQueryHomomorphism An homomorphism for Atomic query without multiple occurences of a variables.
class	AtomicQueryHomomorphismWithNegatedParts An homomorphism for Atomic query without constant or multiple occurences of a variables.
class	BacktrackHomomorphism This Backtrack is inspired by the Baget Jean-François Thesis (Chapter 5) see also "Backtracking Through Biconnected Components of a Constraint Graph" (Jean-François Baget, Yannic S.
class	BacktrackHomomorphismPattern
class	BacktrackHomomorphismWithNegatedParts This Backtrack is inspired by the Baget Jean-François Thesis (Chapter 5) see also "Backtracking Through Biconnected Components of a Constraint Graph" (Jean-François Baget, Yannic S.
class	DefaultUCQHomomorphism
class	DefaultUCQHomomorphismWithCompilation
class	FullyInstantiatedQueryHomomorphism
class	PureHomomorphism A simple implementation of an algorithm to find if there exist an homomorphism between two facts Backtrack algorithm that look for an association of atoms that correspond to a substitution of terms efficient for simple facts of small size
class	RecursiveBacktrackHomomorphism Deprecated.
class	SmartHomomorphism

Uses of Profilable in fr.lirmm.graphik.graal.homomorphism.backjumping

Subinterfaces of Profilable in fr.lirmm.graphik.graal.homomorphism.backjumping

Modifier and Type	Interface and Description
interface	BackJumping The BackJumping interface provides to allow jump over some variables when a backtrack is performed.

Classes in fr.lirmm.graphik.graal.homomorphism.backjumping that implement Profilable

Modifier and Type	Class and Description
class	GraphBaseBackJumping The GraphBaseBackJumping allows jump (in case of failure) to the last neighbor node from the query graph (in the search order of the variable) Reference: Dechter, R.
class	NoBackJumping

Uses of Profilable in fr.lirmm.graphik.graal.homomorphism.bootstrapper

Subinterfaces of Profilable in fr.lirmm.graphik.graal.homomorphism.bootstrapper

Modifier and Type	Interface and Description
interface	Bootstrapper Bootstrapper is used to select a set of terms over which the backtrack homomorphism algorithm will iterate for a specific variable when the set of candidates for this variable is not already restricted by forward checking.

Classes in fr.lirmm.graphik.graal.homomorphism.bootstrapper that implement Profilable

Modifier and Type	Class and Description
class	AllDomainBootstrapper This implementation uses all domain (all terms from data) to bootstrap.
class	DefaultBootstrapper This implementation uses an randomly selected atom containing the variable v to restrict the set of candidates.
class	StarBootstrapper This implementation uses the star query around the variable v to restrict the set of candidates.
class	StatBootstrapper This implementation uses the atom containing v with the smallest probability of being true to restrict the set of candidates.

Uses of Profilable in fr.lirmm.graphik.graal.homomorphism.forward_checking

Subinterfaces of Profilable in fr.lirmm.graphik.graal.homomorphism.forward_checking

Modifier and Type	Interface and Description
interface	ForwardChecking The ForwardChecking interface provides a way to restrict the domain of some next variables based of the affectation of the current one.

Classes in fr.lirmm.graphik.graal.homomorphism.forward_checking that implement Profilable

Modifier and Type	Class and Description
class	AbstractNFC
class	NFC0 NFC0 is a ForwardChecking implementation for HyperGraph with delayed local propagation.
class	NFC2 NFC2 is a ForwardChecking implementation for HyperGraph with immediate local propagation in one step.
class	NFC2WithLimit NFC2 is a ForwardChecking implementation for HyperGraph with immediate local propagation in one step.
class	NoForwardChecking
class	SimpleFC SimpleFC is a simple ForwardChecking implementation for HyperGraph with immediate local checking in one step.

Uses of Profilable in fr.lirmm.graphik.graal.homomorphism.scheduler

Subinterfaces of Profilable in fr.lirmm.graphik.graal.homomorphism.scheduler

Modifier and Type	Interface and Description
interface	PatternScheduler
interface	Scheduler The Scheduler interface provides a way to manage the backtracking order.

Classes in fr.lirmm.graphik.graal.homomorphism.scheduler that implement Profilable

Modifier and Type	Class and Description
class	DefaultScheduler Compute an order over variables from h.
class	FixedOrderScheduler

Uses of Profilable in fr.lirmm.graphik.graal.homomorphism.utils

Classes in fr.lirmm.graphik.graal.homomorphism.utils that implement Profilable

Modifier and Type	Class and Description
class	HomomorphismIteratorChecker

Uses of Profilable in fr.lirmm.graphik.graal.kb

Classes in fr.lirmm.graphik.graal.kb that implement Profilable

Modifier and Type	Class and Description
class	DefaultKnowledgeBase

Uses of Profilable in fr.lirmm.graphik.graal.store.rdbms.homomorphism

Classes in fr.lirmm.graphik.graal.store.rdbms.homomorphism that implement Profilable

Modifier and Type	Class and Description
class	SqlHomomorphism
class	SqlUCQHomomorphism SQL homomorphism for Union Conjunctive Queries

Uses of Profilable in fr.lirmm.graphik.util.profiler

Classes in fr.lirmm.graphik.util.profiler that implement Profilable

Modifier and Type	Class and Description
class	AbstractProfilable