@ParametersAreNonnullByDefault

Package org.semanticweb.owlapi.modularity

Modularity interface package.

See: Description

Interface Summary

Interface	Description
ModuleExtractor	Interface for classes that extract modules based on fixed axiom bases.
OntologySegmenter	An interface for any class implementing ontology segmentation or modularisation.

Class Summary

Class	Description
AbstractModuleExtractor	Abstract class for convenience implementation of ModuleExtractors able of precomputing global axioms and tautologies.
AtomicDecomposition	Class to represent the atomic decomposition of a set of axioms.

Package org.semanticweb.owlapi.modularity Description

Modularity interface package.