Uses of Interface
org.semanticweb.owlapitools.decomposition.LocalityChecker

Packages that use LocalityChecker

Package	Description
org.semanticweb.owlapitools.decomposition

Uses of LocalityChecker in org.semanticweb.owlapitools.decomposition

Classes in org.semanticweb.owlapitools.decomposition that implement LocalityChecker

Modifier and Type	Class and Description
class	SemanticLocalityChecker semantic locality checker for DL axioms
class	SyntacticLocalityChecker syntactic locality checker for DL axioms

Methods in org.semanticweb.owlapitools.decomposition that return LocalityChecker

Modifier and Type	Method and Description
LocalityChecker	Modularizer.getLocalityChecker()

Methods in org.semanticweb.owlapitools.decomposition with parameters of type LocalityChecker

Modifier and Type	Method and Description
static Modularizer	Decomposer.buildModulariser(List<AxiomWrapper> axioms, LocalityChecker c)

Constructors in org.semanticweb.owlapitools.decomposition with parameters of type LocalityChecker

Constructor and Description
BotEquivalenceEvaluator(LocalityChecker l)
Decomposer(List<AxiomWrapper> axioms, LocalityChecker c)
Modularizer(LocalityChecker c)
SigAccessor(LocalityChecker c)
SigIndex(LocalityChecker c)
TopEquivalenceEvaluator(LocalityChecker l)