Package uk.ac.manchester.cs.factplusplusad

Class Modularizer

java.lang.Object

uk.ac.manchester.cs.factplusplusad.Modularizer

public class Modularizer
extends Object

class to create modules of an ontology wrt module type

Method Summary

Modifier and Type	Method	Description
uk.ac.manchester.cs.factplusplusad.LocalityChecker	getLocalityChecker()
Collection<AxiomWrapper>	getModule()
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

Method Details

preprocessOntology

public void preprocessOntology(Collection<AxiomWrapper> axioms)

allow the checker to preprocess an ontology if necessary

Parameters:

axioms - list of wrapped axioms

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 uk.ac.manchester.cs.factplusplusad.LocalityChecker getLocalityChecker()

Returns:

the Locality checker

getModule

public Collection<AxiomWrapper> getModule()

Returns:

the last computed module