Uses of Class
org.semanticweb.owlapitools.decomposition.AxiomWrapper

Packages that use AxiomWrapper

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

Uses of AxiomWrapper in org.semanticweb.owlapitools.decomposition

Methods in org.semanticweb.owlapitools.decomposition that return types with arguments of type AxiomWrapper

Modifier and Type	Method and Description
List<AxiomWrapper>	OntologyAtom.getAtomAxioms()
Collection<AxiomWrapper>	SigIndex.getAxioms(OWLEntity entity) given an entity, return a set of all axioms that contain this entity in a signature
List<AxiomWrapper>	OntologyAtom.getModule()
Collection<AxiomWrapper>	Modularizer.getModule()
Collection<AxiomWrapper>	Decomposer.getModule(Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype)
Collection<AxiomWrapper>	SigIndex.getNonLocal(boolean top) get the non-local axioms with top-locality value TOP
List<AxiomWrapper>	Decomposer.getTautologies()
static List<AxiomWrapper>	AxiomSelector.wrap(List<OWLAxiom> o)

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

Modifier and Type	Method and Description
void	OntologyAtom.addAxiom(AxiomWrapper ax)
void	Modularizer.extract(AxiomWrapper axiom, Signature signature, ModuleType type)
void	SigIndex.processAx(AxiomWrapper ax) process an axiom wrt its Used status

Method parameters in org.semanticweb.owlapitools.decomposition with type arguments of type AxiomWrapper

Modifier and Type	Method and Description
void	OntologyAtom.addAxioms(Collection<AxiomWrapper> axs)
static Modularizer	Decomposer.buildModulariser(List<AxiomWrapper> axioms, LocalityChecker c)
void	Modularizer.extract(List<AxiomWrapper> axioms, Signature signature, ModuleType type) extract module wrt SIGNATURE and TYPE from the set of axioms
void	SyntacticLocalityChecker.preprocessOntology(Collection<AxiomWrapper> s)
void	SigIndex.preprocessOntology(Collection<AxiomWrapper> axioms) preprocess given set of axioms
void	SemanticLocalityChecker.preprocessOntology(Collection<AxiomWrapper> axioms)
void	Modularizer.preprocessOntology(Collection<AxiomWrapper> axioms) allow the checker to preprocess an ontology if necessary
void	LocalityChecker.preprocessOntology(Collection<AxiomWrapper> vec) Allow the checker to preprocess an ontology if necessary
void	OntologyAtom.setModule(Collection<AxiomWrapper> module) set the module axioms

Constructor parameters in org.semanticweb.owlapitools.decomposition with type arguments of type AxiomWrapper

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

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

Methods in uk.ac.manchester.cs.factplusplusad that return types with arguments of type AxiomWrapper

Modifier and Type	Method and Description
Collection<AxiomWrapper>	Modularizer.getModule()

Method parameters in uk.ac.manchester.cs.factplusplusad with type arguments of type AxiomWrapper

Modifier and Type	Method and Description
void	Modularizer.preprocessOntology(Collection<AxiomWrapper> axioms) allow the checker to preprocess an ontology if necessary