org.semanticweb.owlapitools.decomposition

Class Decomposer

java.lang.Object

org.semanticweb.owlapitools.decomposition.Decomposer

public class Decomposer
extends Object

Atomic decomposer for an ontology.

Constructor Summary

Constructors

Constructor and Description
Decomposer(List<AxiomWrapper> axioms, LocalityChecker c)

Method Summary

Modifier and Type	Method and Description
static Modularizer	buildModulariser(List<AxiomWrapper> axioms, LocalityChecker c)
AtomList	getAOS()
AtomList	getAOS(ModuleType t)
Modularizer	getModularizer()
Collection<AxiomWrapper>	getModule(Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype)
Set<OWLAxiom>	getNonLocal(Stream<OWLEntity> signature, ModuleType moduletype)
List<AxiomWrapper>	getTautologies()

Methods inherited from class java.lang.Object

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

Constructor Detail

Decomposer

public Decomposer(List<AxiomWrapper> axioms,
                  LocalityChecker c)

Parameters:

axioms - axiom wrappers to decompose

c - locality checker to use

Method Detail

buildModulariser

public static Modularizer buildModulariser(List<AxiomWrapper> axioms,
                                           LocalityChecker c)

Parameters:

axioms - axioms

c - locality checker

Returns:

new modularizer

getModularizer

public Modularizer getModularizer()

Returns:

the modularizer for this decomposer

getTautologies

public List<AxiomWrapper> getTautologies()

Returns:

all tautologies wrapped

getAOS

public AtomList getAOS()

Returns:

atom list class

getAOS

public AtomList getAOS(ModuleType t)

Parameters:

t - module type

Returns:

the atomic structure for given module type T

getNonLocal

public Set<OWLAxiom> getNonLocal(Stream<OWLEntity> signature,
                                 ModuleType moduletype)

Parameters:

signature - the signature to use

moduletype - the module type

Returns:

a set of axioms that corresponds to the atom with the id INDEX

getModule

public Collection<AxiomWrapper> getModule(Stream<OWLEntity> signature,
                                          boolean useSemantics,
                                          ModuleType moduletype)

Parameters:

signature - the signature to use

moduletype - module type

useSemantics - true if semantic locality should be used

Returns:

a set of axioms that corresponds to the atom with the id INDEX