Uses of Class
openllet.core.expressivity.Expressivity
-
Packages that use Expressivity Package Description openllet.core openllet.core.el openllet.core.expressivity openllet.core.rules openllet.core.tableau.blocking openllet.core.tableau.cache openllet.core.tableau.completion -
-
Uses of Expressivity in openllet.core
Methods in openllet.core that return Expressivity Modifier and Type Method Description ExpressivityKnowledgeBase. getExpressivity()ExpressivityKnowledgeBaseImpl. getExpressivity()ExpressivityKnowledgeBaseImplFullSync. getExpressivity()Methods in openllet.core with parameters of type Expressivity Modifier and Type Method Description CompletionStrategyKnowledgeBase. chooseStrategy(ABox abox, Expressivity expressivity)Choose a completion strategy based on the expressivity of the KB.CompletionStrategyKnowledgeBaseImpl. chooseStrategy(ABox abox, Expressivity expressivity)Choose a completion strategy based on the expressivity of the KB.CompletionStrategyKnowledgeBaseImplFullSync. chooseStrategy(ABox abox, Expressivity expressivity) -
Uses of Expressivity in openllet.core.el
Methods in openllet.core.el with parameters of type Expressivity Modifier and Type Method Description booleanELExpressivityChecker. compute(Expressivity expressivity)booleanELExpressivityChecker. updateWith(Expressivity expressivity, openllet.aterm.ATermAppl term) -
Uses of Expressivity in openllet.core.expressivity
Methods in openllet.core.expressivity that return Expressivity Modifier and Type Method Description ExpressivityExpressivityChecker. getExpressivity()ExpressivityExpressivityChecker. getExpressivityWith(openllet.aterm.ATermAppl c)Methods in openllet.core.expressivity with parameters of type Expressivity Modifier and Type Method Description booleanDLExpressivityChecker. compute(Expressivity expressivity)abstract booleanProfileBasedExpressivityChecker. compute(Expressivity expressivity)Compute the expressivity from theKnowledgeBaseand update it to the givenExpressivity.booleanDLExpressivityChecker. updateWith(Expressivity expressivity, openllet.aterm.ATermAppl term)abstract booleanProfileBasedExpressivityChecker. updateWith(Expressivity expressivity, openllet.aterm.ATermAppl term)Update the givenExpressivityby adding the new @{link openllet.aterm.ATermAppl}.Constructors in openllet.core.expressivity with parameters of type Expressivity Constructor Description Expressivity(Expressivity other)ExpressivityChecker(KnowledgeBase kb, Expressivity expr) -
Uses of Expressivity in openllet.core.rules
Methods in openllet.core.rules with parameters of type Expressivity Modifier and Type Method Description voidContinuousRulesStrategy. complete(Expressivity expr) -
Uses of Expressivity in openllet.core.tableau.blocking
Methods in openllet.core.tableau.blocking with parameters of type Expressivity Modifier and Type Method Description static BlockingBlockingFactory. createBlocking(Expressivity expr)Returns the most-efficient blocking _strategy for a given expressivity. -
Uses of Expressivity in openllet.core.tableau.cache
Methods in openllet.core.tableau.cache with parameters of type Expressivity Modifier and Type Method Description booleanCacheSafety. canSupport(Expressivity expressivity)Check if this safety checker can be used with the specified expressivity.booleanCacheSafetyAlwaysSafe. canSupport(Expressivity expressivity)Check if this safety checker can be used with the specified expressivity.booleanCacheSafetyDynamic. canSupport(Expressivity expressivity)Check if this safety checker can be used with the specified expressivity.booleanCacheSafetyNeverSafe. canSupport(Expressivity expressivity)Check if this safety checker can be used with the specified expressivity.static CacheSafetyCacheSafetyFactory. createCacheSafety(Expressivity expr) -
Uses of Expressivity in openllet.core.tableau.completion
Methods in openllet.core.tableau.completion with parameters of type Expressivity Modifier and Type Method Description abstract voidCompletionStrategy. complete(Expressivity expr)apply all the tableau rules to the designated ABoxvoidEmptySRIQStrategy. complete(Expressivity expr)voidSROIQStrategy. complete(Expressivity expr)voidCompletionStrategy. initialize(Expressivity expressivity)voidEmptySRIQStrategy. initialize(Expressivity expressivity)voidSROIQIncStrategy. initialize(Expressivity expr)There are additional rule that must be fired in the event of incremental additions and deletions in _order to guarantee completeness.
-