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

Packages that use Expressivity
com.clarkparsia.modularity   
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.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.
 



Copyright © 2004 Evren Sirin. All Rights Reserved.