@ParametersAreNonnullByDefault

Package org.semanticweb.owlapitools.decomposition

Interface Summary

Interface	Description
LocalityChecker

Class Summary

Class	Description
AtomList	atomical ontology structure
AxiomSelector	A filter for axioms
AxiomWrapper	Wrapper around an OWLAxiom to hold attributes such as used, included in a module, included in search space and atom which contains it.
BotEquivalenceEvaluator	check whether class expressions are equivalent to bottom wrt given locality class
Decomposer	atomical decomposer of the ontology
IdentityMultiMap<K,V>
Modularizer	class to create modules of an ontology wrt module type
OntologyAtom	An ontology atom including module and dependencies information.
SemanticLocalityChecker	semantic locality checker for DL axioms
SigAccessor	helper class to set signature and locality class
SigIndex	signature index
Signature	class to hold the signature of a module
SyntacticLocalityChecker	syntactic locality checker for DL axioms
TopEquivalenceEvaluator	check whether class expressions are equivalent to top wrt given locality class