Uses of Class
com.clarkparsia.pellet.expressivity.Expressivity

Packages that use Expressivity

Package	Description
com.clarkparsia.pellet.el
com.clarkparsia.pellet.expressivity
com.clarkparsia.pellet.rules
org.mindswap.pellet
org.mindswap.pellet.tableau.blocking
org.mindswap.pellet.tableau.cache
org.mindswap.pellet.tableau.completion

Uses of Expressivity in com.clarkparsia.pellet.el

Methods in com.clarkparsia.pellet.el with parameters of type Expressivity

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

Uses of Expressivity in com.clarkparsia.pellet.expressivity

Methods in com.clarkparsia.pellet.expressivity that return Expressivity

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

Methods in com.clarkparsia.pellet.expressivity with parameters of type Expressivity

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

Constructors in com.clarkparsia.pellet.expressivity with parameters of type Expressivity

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

Uses of Expressivity in com.clarkparsia.pellet.rules

Methods in com.clarkparsia.pellet.rules with parameters of type Expressivity

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

Uses of Expressivity in org.mindswap.pellet

Methods in org.mindswap.pellet that return Expressivity

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

Uses of Expressivity in org.mindswap.pellet.tableau.blocking

Methods in org.mindswap.pellet.tableau.blocking with parameters of type Expressivity

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

Uses of Expressivity in org.mindswap.pellet.tableau.cache

Methods in org.mindswap.pellet.tableau.cache with parameters of type Expressivity

Modifier and Type	Method and Description
boolean	CacheSafetyNeverSafe.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	CacheSafetyAlwaysSafe.canSupport(Expressivity expressivity) Check if this safety checker can be used with the specified expressivity.
boolean	CacheSafety.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 org.mindswap.pellet.tableau.completion

Methods in org.mindswap.pellet.tableau.completion with parameters of type Expressivity

Modifier and Type	Method and Description
void	SROIQStrategy.complete(Expressivity expr)
void	EmptySRIQStrategy.complete(Expressivity expr)
abstract void	CompletionStrategy.complete(Expressivity expr) apply all the tableau rules to the designated ABox
protected void	CompletionStrategy.configureTableauRules(Expressivity expr)
void	EmptySRIQStrategy.initialize(Expressivity expressivity)
void	CompletionStrategy.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.