Uses of Class
openllet.core.expressivity.Expressivity

Packages that use Expressivity

Package	Description
openllet.core
openllet.core.el
openllet.core.expressivity
openllet.core.rules
openllet.core.tableau.blocking
openllet.core.tableau.cache
openllet.core.tableau.completion

Uses of Expressivity in openllet.core

Methods in openllet.core that return Expressivity

Modifier and Type	Method	Description
Expressivity	KnowledgeBase.getExpressivity()
Expressivity	KnowledgeBaseImpl.getExpressivity()
Expressivity	KnowledgeBaseImplFullSync.getExpressivity()

Methods in openllet.core with parameters of type Expressivity

Modifier and Type	Method	Description
CompletionStrategy	KnowledgeBase.chooseStrategy(ABox abox, Expressivity expressivity)	Choose a completion strategy based on the expressivity of the KB.
CompletionStrategy	KnowledgeBaseImpl.chooseStrategy(ABox abox, Expressivity expressivity)	Choose a completion strategy based on the expressivity of the KB.
CompletionStrategy	KnowledgeBaseImplFullSync.chooseStrategy(ABox abox, Expressivity expressivity)

Uses of Expressivity in openllet.core.el

Methods in openllet.core.el with parameters of type Expressivity

Modifier and Type	Method	Description
boolean	ELExpressivityChecker.compute(Expressivity expressivity)
boolean	ELExpressivityChecker.updateWith(Expressivity expressivity, openllet.aterm.ATermAppl term)

Uses of Expressivity in openllet.core.expressivity

Methods in openllet.core.expressivity that return Expressivity

Modifier and Type	Method	Description
Expressivity	ExpressivityChecker.getExpressivity()
Expressivity	ExpressivityChecker.getExpressivityWith(openllet.aterm.ATermAppl c)

Methods in openllet.core.expressivity with parameters of type Expressivity

Modifier and Type	Method	Description
boolean	DLExpressivityChecker.compute(Expressivity expressivity)
abstract boolean	ProfileBasedExpressivityChecker.compute(Expressivity expressivity)	Compute the expressivity from the KnowledgeBase and update it to the given Expressivity.
boolean	DLExpressivityChecker.updateWith(Expressivity expressivity, openllet.aterm.ATermAppl term)
abstract boolean	ProfileBasedExpressivityChecker.updateWith(Expressivity expressivity, openllet.aterm.ATermAppl term)	Update the given Expressivity by adding the new @{link openllet.aterm.ATermAppl}.

Constructors in openllet.core.expressivity with parameters of type Expressivity

Constructor	Description
Expressivity(Expressivity other)
ExpressivityChecker(KnowledgeBase kb, Expressivity expr)

Uses of Expressivity in openllet.core.rules

Methods in openllet.core.rules with parameters of type Expressivity

Modifier and Type	Method	Description
void	ContinuousRulesStrategy.complete(Expressivity expr)

Uses of Expressivity in openllet.core.tableau.blocking

Methods in openllet.core.tableau.blocking with parameters of type Expressivity

Modifier and Type	Method	Description
static Blocking	BlockingFactory.createBlocking(Expressivity expr)	Returns the most-efficient blocking _strategy for a given expressivity.

Uses of Expressivity in openllet.core.tableau.cache

Methods in openllet.core.tableau.cache with parameters of type Expressivity

Modifier and Type	Method	Description
boolean	CacheSafety.canSupport(Expressivity expressivity)	Check if this safety checker can be used with the specified expressivity.
boolean	CacheSafetyAlwaysSafe.canSupport(Expressivity expressivity)	Check if this safety checker can be used with the specified expressivity.
boolean	CacheSafetyDynamic.canSupport(Expressivity expressivity)	Check if this safety checker can be used with the specified expressivity.
boolean	CacheSafetyNeverSafe.canSupport(Expressivity expressivity)	Check if this safety checker can be used with the specified expressivity.
static CacheSafety	CacheSafetyFactory.createCacheSafety(Expressivity expr)

Uses of Expressivity in openllet.core.tableau.completion

Methods in openllet.core.tableau.completion with parameters of type Expressivity

Modifier and Type	Method	Description
abstract void	CompletionStrategy.complete(Expressivity expr)	apply all the tableau rules to the designated ABox
void	EmptySRIQStrategy.complete(Expressivity expr)
void	SROIQStrategy.complete(Expressivity expr)
void	CompletionStrategy.initialize(Expressivity expressivity)
void	EmptySRIQStrategy.initialize(Expressivity expressivity)
void	SROIQIncStrategy.initialize(Expressivity expr)	There are additional rule that must be fired in the event of incremental additions and deletions in _order to guarantee completeness.