Package org.semanticweb.owlapitools.decomposition

Class Modularizer

java.lang.Object

org.semanticweb.owlapitools.decomposition.Modularizer

public class Modularizer
extends Object

class to create modules of an ontology wrt module type

Constructor Summary

Constructors

Constructor	Description
Modularizer(LocalityChecker c)

Method Summary

Modifier and Type	Method	Description
void	extract(List<AxiomWrapper> axioms, Signature signature, ModuleType type)	extract module wrt SIGNATURE and TYPE from the set of axioms
void	extract(AxiomWrapper axiom, Signature signature, ModuleType type)
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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Modularizer

public Modularizer(LocalityChecker c)

Parameters:

c - the locality checker

Method Details

getSignature

public Signature getSignature()

Returns:

the signature

preprocessOntology

public void preprocessOntology(Collection<AxiomWrapper> axioms)

allow the checker to preprocess an ontology if necessary

Parameters:

axioms - list of wrapped axioms

extract

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

extract module wrt SIGNATURE and TYPE from the set of axioms

Parameters:

axioms - axiom

signature - signature

type - type

isTautology

public boolean isTautology(OWLAxiom ax,
 ModuleType type)

Parameters:

ax - axiom

type - type

Returns:

true iff the axiom AX is a tautology wrt given type

getLocalityChecker

public LocalityChecker getLocalityChecker()

Returns:

the Locality checker

getModule

public Collection<AxiomWrapper> getModule()

Returns:

the last computed module

extract

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

Parameters:

axiom - axiom

signature - signature

type - type