Uses of Class
uk.ac.manchester.cs.owlapi.modularity.ModuleType

Packages that use ModuleType

Package	Description
org.semanticweb.owlapitools.decomposition
uk.ac.manchester.cs.atomicdecomposition
uk.ac.manchester.cs.factplusplusad	This package contains a port of FaCT++ Atomic Decomposition implementation.
uk.ac.manchester.cs.owlapi.modularity	Modularity package.

Uses of ModuleType in org.semanticweb.owlapitools.decomposition

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

Modifier and Type	Method and Description
void	Modularizer.extract(AxiomWrapper axiom, Signature signature, ModuleType type)
void	Modularizer.extract(List<AxiomWrapper> axioms, Signature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from the set of axioms
AtomList	Decomposer.getAOS(ModuleType t)
Collection<AxiomWrapper>	Decomposer.getModule(java.util.stream.Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype)
Set<OWLAxiom>	Decomposer.getNonLocal(java.util.stream.Stream<OWLEntity> signature, ModuleType moduletype)
boolean	Modularizer.isTautology(OWLAxiom ax, ModuleType type)

Uses of ModuleType in uk.ac.manchester.cs.atomicdecomposition

Methods in uk.ac.manchester.cs.atomicdecomposition with parameters of type ModuleType

Modifier and Type	Method and Description
java.util.stream.Stream<OWLAxiom>	AtomicDecompositionImpl.getModule(java.util.stream.Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype)
java.util.stream.Stream<OWLAxiom>	AtomicDecomposition.getModule(java.util.stream.Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype)

Constructors in uk.ac.manchester.cs.atomicdecomposition with parameters of type ModuleType

Constructor and Description
AtomicDecompositionImpl(List<OWLAxiom> axioms, ModuleType type)
AtomicDecompositionImpl(OWLOntology o, ModuleType type)

Uses of ModuleType in uk.ac.manchester.cs.factplusplusad

Methods in uk.ac.manchester.cs.factplusplusad with parameters of type ModuleType

Modifier and Type	Method and Description
Collection<OWLAxiom>	OntologyBasedModularizer.getModule(java.util.stream.Stream<OWLEntity> entities, ModuleType type)
boolean	Modularizer.isTautology(OWLAxiom ax, ModuleType type)

Uses of ModuleType in uk.ac.manchester.cs.owlapi.modularity

Methods in uk.ac.manchester.cs.owlapi.modularity that return ModuleType

Modifier and Type	Method and Description
ModuleType	SyntacticLocalityModuleExtractor.getModuleType() Returns the module type for this extractor.
static ModuleType	ModuleType.valueOf(String name) Returns the enum constant of this type with the specified name.
static ModuleType[]	ModuleType.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in uk.ac.manchester.cs.owlapi.modularity with parameters of type ModuleType

Modifier and Type	Method and Description
void	SyntacticLocalityModuleExtractor.setModuleType(ModuleType moduleType) Changes the module type for this extractor without deleting the stored referenced entities.

Constructors in uk.ac.manchester.cs.owlapi.modularity with parameters of type ModuleType

Constructor and Description
SyntacticLocalityModuleExtractor(OWLOntologyManager man, OWLOntology ont, ModuleType moduleType) Creates a new module extractor for a given ontology, its manager, and a specified type of locality.
SyntacticLocalityModuleExtractor(OWLOntologyManager man, java.util.stream.Stream<OWLAxiom> axs, ModuleType moduleType) Creates a new module extractor for a subset of a given ontology, its manager, and a specified type of locality.