|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of Expressivity in com.clarkparsia.modularity |
---|
Methods in com.clarkparsia.modularity with parameters of type Expressivity | |
---|---|
boolean |
AbstractModuleExtractor.isClassificationNeeded(Expressivity expressivity)
|
boolean |
ModuleExtractor.isClassificationNeeded(Expressivity expressivity)
Checks if the changes that has not yet been updated require re-classification |
Uses of Expressivity in com.clarkparsia.pellet.el |
---|
Methods in com.clarkparsia.pellet.el with parameters of type Expressivity | |
---|---|
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 | |
---|---|
Expressivity |
ExpressivityChecker.getExpressivity()
|
Expressivity |
ExpressivityChecker.getExpressivityWith(aterm.ATermAppl c)
|
Methods in com.clarkparsia.pellet.expressivity with parameters of type Expressivity | |
---|---|
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,
aterm.ATermAppl term)
|
abstract boolean |
ProfileBasedExpressivityChecker.updateWith(Expressivity expressivity,
aterm.ATermAppl term)
Update the given Expressivity by adding
the new @{link aterm.ATermAppl}. |
Constructors in com.clarkparsia.pellet.expressivity with parameters of type Expressivity | |
---|---|
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 | |
---|---|
void |
ContinuousRulesStrategy.complete(Expressivity expr)
|
void |
RuleStrategy.complete(Expressivity expr)
|
Uses of Expressivity in org.mindswap.pellet |
---|
Methods in org.mindswap.pellet that return Expressivity | |
---|---|
Expressivity |
KnowledgeBase.getExpressivity()
|
Uses of Expressivity in org.mindswap.pellet.tableau.blocking |
---|
Methods in org.mindswap.pellet.tableau.blocking with parameters of type Expressivity | |
---|---|
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 | |
---|---|
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 org.mindswap.pellet.tableau.completion |
---|
Methods in org.mindswap.pellet.tableau.completion with parameters of type Expressivity | |
---|---|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |