Uses of Interface
org.semanticweb.owlapi.modularity.ModuleExtractor

Packages that use ModuleExtractor

Package	Description
org.semanticweb.owlapi.modularity	Modularity interface package.
org.semanticweb.owlapi.modularity.locality

Uses of ModuleExtractor in org.semanticweb.owlapi.modularity

Classes in org.semanticweb.owlapi.modularity that implement ModuleExtractor

Modifier and Type	Class and Description
class	AbstractModuleExtractor Abstract class for convenience implementation of ModuleExtractors able of precomputing global axioms and tautologies.

Constructor parameters in org.semanticweb.owlapi.modularity with type arguments of type ModuleExtractor

Constructor and Description
AtomicDecomposition(OWLOntology ontology, Function<Stream<OWLAxiom>,? extends ModuleExtractor> function) Constructs the AtomicDecomposition for the given axiom base based on the module extraction the ModuleExtractor the given Function supplies.
AtomicDecomposition(Stream<OWLAxiom> axioms, Function<Stream<OWLAxiom>,? extends ModuleExtractor> function) Constructs the AtomicDecomposition for the given axiom base based on the module extraction the ModuleExtractor the given Function supplies.

Uses of ModuleExtractor in org.semanticweb.owlapi.modularity.locality

Classes in org.semanticweb.owlapi.modularity.locality that implement ModuleExtractor

Modifier and Type	Class and Description
class	LocalityModuleExtractor Abstract class for convenience implementation of locality-based ModuleExtractors.
class	SemanticLocalityModuleExtractor Class to extract modules based on semantic locality.
class	SyntacticLocalityModuleExtractor Class to extract modules based on syntactic locality.