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

Packages that use Expressivity
com.clarkparsia.pellet.el   
com.clarkparsia.pellet.expressivity   
com.clarkparsia.pellet.rules   
org.mindswap.pellet   
org.mindswap.pellet.tableau.completion   
 

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.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 EmptySHNStrategy.complete(Expressivity expr)
           
 void SROIQStrategy.complete(Expressivity expr)
           
 



Copyright © 2004 Evren Sirin. All Rights Reserved.