Modularizer (OWLAPI :: Distribution 5.1.17 API)

```
public class Modularizer
extends Object
```
class to create modules of an ontology wrt module type

Constructors
Constructor and Description
`Modularizer(LocalityChecker c)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`extract(AxiomWrapper axiom, Signature signature, ModuleType type)`
`void`	`extract(List<AxiomWrapper> axioms, Signature signature, ModuleType type)` extract module wrt SIGNATURE and TYPE from the set of axioms
`LocalityChecker`	`getLocalityChecker()`
`Collection<AxiomWrapper>`	`getModule()`
`Signature`	`getSignature()`
`boolean`	`isTautology(OWLAxiom ax, ModuleType type)`
`void`	`preprocessOntology(Collection<AxiomWrapper> axioms)` allow the checker to preprocess an ontology if necessary

public void extract(List<AxiomWrapper> axioms,
                    Signature signature,
                    ModuleType type)

extract module wrt SIGNATURE and TYPE from the set of axioms

public boolean isTautology(OWLAxiom ax,
                           ModuleType type)

public LocalityChecker getLocalityChecker()

public Collection<AxiomWrapper> getModule()

public void extract(AxiomWrapper axiom,
                    Signature signature,
                    ModuleType type)

Class Modularizer