|
||||||||||
| 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 | |||||||||