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	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

Modifier	Constructor	Description
	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.
	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.

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

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

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